Modeling and validating dynamic adaptation

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

doi:10.1007/978-3-642-01648-6_11

Modeling and validating dynamic adaptation

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

Computer Science Research Group

Research output: Chapter in Book/Published conference output › Conference publication

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 language	English
Title of host publication	Models in software engineering
Subtitle of host publication	workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 : reports and revised selected papers
Editors	Michel R.V. Chaudron
Place of Publication	Berlin (DE)
Publisher	Springer
Pages	97-108
Number of pages	12
ISBN (Electronic)	978-3-642-01648-6
ISBN (Print)	978-3-642-01647-9
DOIs	https://doi.org/10.1007/978-3-642-01648-6_11
Publication status	Published - 2009
Event	ACM/IEEE 11th international conference on model driven engineering languages and systems - Toulouse, France Duration: 28 Sept 2008 → 3 Oct 2008

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Number	5421
ISSN (Print)	0302-9743

Conference

Conference	ACM/IEEE 11th international conference on model driven engineering languages and systems
Abbreviated title	MoDELS 2008
Country/Territory	France
City	Toulouse
Period	28/09/08 → 3/10/08

Access to Document

10.1007/978-3-642-01648-6_11

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

Fleurey, Franck ; Dehlen, Vegard ; Bencomo, Nelly et al. / Modeling and validating dynamic adaptation. Models in software engineering: workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 : reports and revised selected papers. editor / Michel R.V. Chaudron. Berlin (DE) : Springer, 2009. pp. 97-108 (Lecture Notes in Computer Science; 5421).

@inproceedings{d3c6c748562f4dda904909f1ab1835e5,

title = "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.",

author = "Franck Fleurey and Vegard Dehlen and Nelly Bencomo and Brice Morin and Jean-Marc J{\'e}z{\'e}quel",

year = "2009",

doi = "10.1007/978-3-642-01648-6_11",

language = "English",

isbn = "978-3-642-01647-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "5421",

pages = "97--108",

editor = "Chaudron, {Michel R.V.}",

booktitle = "Models in software engineering",

address = "Germany",

note = "ACM/IEEE 11th international conference on model driven engineering languages and systems, MoDELS 2008 ; Conference date: 28-09-2008 Through 03-10-2008",

}

Fleurey, F, Dehlen, V, Bencomo, N, Morin, B & Jézéquel, J-M 2009, Modeling and validating dynamic adaptation. in MRV Chaudron (ed.), Models in software engineering: workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 : reports and revised selected papers. Lecture Notes in Computer Science, no. 5421, Springer, Berlin (DE), pp. 97-108, ACM/IEEE 11th international conference on model driven engineering languages and systems, Toulouse, France, 28/09/08. https://doi.org/10.1007/978-3-642-01648-6_11

Modeling and validating dynamic adaptation. / Fleurey, Franck; Dehlen, Vegard; Bencomo, Nelly et al.
Models in software engineering: workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 : reports and revised selected papers. ed. / Michel R.V. Chaudron. Berlin (DE): Springer, 2009. p. 97-108 (Lecture Notes in Computer Science; No. 5421).

Research output: Chapter in Book/Published conference output › Conference publication

TY - GEN

T1 - Modeling and validating dynamic adaptation

AU - Fleurey, Franck

AU - Dehlen, Vegard

AU - Bencomo, Nelly

AU - Morin, Brice

AU - Jézéquel, Jean-Marc

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=67650149610&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-01648-6_11

DO - 10.1007/978-3-642-01648-6_11

M3 - Conference publication

AN - SCOPUS:67650149610

SN - 978-3-642-01647-9

T3 - Lecture Notes in Computer Science

SP - 97

EP - 108

BT - Models in software engineering

A2 - Chaudron, Michel R.V.

PB - Springer

CY - Berlin (DE)

T2 - ACM/IEEE 11th international conference on model driven engineering languages and systems

Y2 - 28 September 2008 through 3 October 2008

ER -

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

Modeling and validating dynamic adaptation

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this