To main content

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.

Category

Academic chapter/article/Conference paper

Language

English

Author(s)

  • Franck Fleurey

Affiliation

  • SINTEF Digital / Software and Service Innovation

Year

2009

Publisher

Springer

Book

Models in Software Engineering, Workshops and Symposia at MODELS 2008

Issue

5421

ISBN

9783642016479

Page(s)

97 - 108

View this publication at Cristin