2008 32nd Annual IEEE International Computer Software and Applications Conference Enabling Dynamic Co-evolution of Models and Runtime Applications July 28-August 01 ISBN: 978-0-7695-3262-2
Dynamic software adaptation can cause the running system to be out-of-synchronous with its model, and, thus, make the system model obsolete for the use in consistency checking. In this paper, we propose a framework for ensuring the synchronization between the model and the runtime system during dynamic adaptation. I.e., this framework maintains the high-level model of the runtime system, which is essential for system validation. We are also plugging several model validation tools to the framework, for performing system validation during dynamic adaptation.
Citation:
Prawee Sriplakich, Guillaume Waignier, Anne-Fran?oise Le Meur, "Enabling Dynamic Co-evolution of Models and Runtime Applications," compsac, pp.1116-1121, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb