Enabling Dynamic Co-evolution of Models and Runtime Applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Enabling Dynamic Co-evolution of Models and Runtime Applications

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
105 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More