Toward Validated Composition in Component-Based Adaptive Middleware
Abstract
Nowadays, adaptive middleware plays an important role in the design of applications in ubiquitous and ambient computing. In this paper we consider component-based middleware and a corresponding compositional adaptation. Indeed, the composition often involves conflicts between concurrent adaptations. Thus we study how to maintain consistency of the application in spite of changes of critical components and conflicts that may appear when we compose some component assemblies. Relying on formal methods, we provide a well defined representation of component behaviors. In such a setting, model checking techniques are applied to ensure that concurrent access does not violate expected and acceptable behaviors of critical components.
De nos jours, les middleware adaptatifs jouent un role important dans la conception d'applications dans le domaine de l'informatique ambiante et ubiquitaire. Dans ce papier, nous considérons des middleware à base de composants et une adaptation compositionnelle. Mais, cette composition peut être source de conflits entre des adaptations concurrentes. Ainsi, nous étudions comment maintenir la consistence d' une application en dépit de changements dans certains composants "critiques" et des conflits qui peuvent apparaitre. Nous nous appuyons sur une approche formelle pour representer les comportements des composants. Alors nous pouvons appliquer des techniques de model-checking pour montrer que des accès concurrents aux composants critiques ne violent pas ses comportements valides.