Modeling and validating dynamic adaptation

Franck Fleurey, Vegard Dehlen, Nelly Bencomo, Brice Morin, Jean-Marc Jézéquel

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationModels in software engineering
Subtitle of host publicationworkshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 : reports and revised selected papers
EditorsMichel R.V. Chaudron
Place of PublicationBerlin (DE)
PublisherSpringer
Pages97-108
Number of pages12
ISBN (Electronic)978-3-642-01648-6
ISBN (Print)978-3-642-01647-9
DOIs
Publication statusPublished - 2009
EventACM/IEEE 11th international conference on model driven engineering languages and systems - Toulouse, France
Duration: 28 Sep 20083 Oct 2008

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Number5421
ISSN (Print)0302-9743

Conference

ConferenceACM/IEEE 11th international conference on model driven engineering languages and systems
Abbreviated titleMoDELS 2008
CountryFrance
CityToulouse
Period28/09/083/10/08

Cite this

Fleurey, F., Dehlen, V., Bencomo, N., Morin, B., & Jézéquel, J-M. (2009). Modeling and validating dynamic adaptation. In M. R. V. Chaudron (Ed.), Models in software engineering: workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 : reports and revised selected papers (pp. 97-108). (Lecture Notes in Computer Science; No. 5421). Springer. https://doi.org/10.1007/978-3-642-01648-6_11