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.
Type de document :
Communication dans un congrès
32nd Annual IEEE International COMPSAC'08, Jul 2008, Turku,, Finland. pp.1116-1121, 2008, 〈10.1109/COMPSAC.2008.39〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00311581
Contributeur : Anne-Françoise Le Meur <>
Soumis le : mardi 19 août 2008 - 11:35:35
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

Collections

Citation

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, 2008, 〈10.1109/COMPSAC.2008.39〉. 〈inria-00311581〉

Partager

Métriques

Consultations de la notice

271