Skip to Main content Skip to Navigation
Conference papers

Enabling Dynamic Co-evolution of Models and Runtime Applications

Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Anne-Françoise Le Meur <>
Submitted on : Tuesday, August 19, 2008 - 11:35:35 AM
Last modification on : Thursday, February 21, 2019 - 10:52:48 AM




Sriplakich Prawee, Guillaume Waignier, Anne-Françoise Le Meur. Enabling Dynamic Co-evolution of Models and Runtime Applications. 32nd Annual IEEE International COMPSAC'08, Jul 2008, Turku,, Finland. pp.1116-1121, ⟨10.1109/COMPSAC.2008.39⟩. ⟨inria-00311581⟩



Record views