Modeling and Validating Dynamic Adaptation

Abstract : This paper discusses preliminary work on modeling and validation dynamic adaptation. The proposed approach is on the use of aspect-oriented modeling (AOM) and models at runtime. Our approach covers design and runtime phases. At design-time, a base model and different variant architecture models are designed and the adaptation model is built. Crucially, the adaptation model includes invariant properties and constraints that allow the validation of the adaptation rules before execution. During runtime, the adaptation model is processed to produce a correct system configuration that can be executed.
Type de document :
Communication dans un congrès
Proceedings of the 3rd International Workshop on Models@Runtime, at MoDELS'08, 2008, Toulouse, France, France. 2008
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00456535
Contributeur : Didier Vojtisek <>
Soumis le : lundi 15 février 2010 - 12:19:32
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : vendredi 18 juin 2010 - 18:36:33

Fichier

Fleurey08a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00456535, version 1

Citation

Franck Fleurey, Vegard Delhen, Nelly Bencomo, Brice Morin, Jean-Marc Jézéquel. Modeling and Validating Dynamic Adaptation. Proceedings of the 3rd International Workshop on Models@Runtime, at MoDELS'08, 2008, Toulouse, France, France. 2008. 〈inria-00456535〉

Partager

Métriques

Consultations de la notice

451

Téléchargements de fichiers

175