Enabling Dynamic Co-evolution of Models and Runtime Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

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.
No file

Dates and versions

inria-00311581 , version 1 (19-08-2008)

Identifiers

Cite

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⟩
103 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More