Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download
Contributor : Didier Vojtisek Connect in order to contact the contributor
Submitted on : Monday, February 15, 2010 - 12:19:32 PM
Last modification on : Tuesday, June 15, 2021 - 4:12:23 PM
Long-term archiving on: : Friday, June 18, 2010 - 6:36:33 PM


Files produced by the author(s)


  • HAL Id : inria-00456535, version 1


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. ⟨inria-00456535⟩



Record views


Files downloads