Skip to Main content Skip to Navigation
Conference papers

Toward Validated Composition in Component-Based Adaptive Middleware

Annie Ressouche 1, * Jean-Yves Tigli 2 Oscar Carrillo 1
* Corresponding author
2 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe RAINBOW
Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
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.
Document type :
Conference papers
Complete list of metadata
Contributor : Annie Ressouche Connect in order to contact the contributor
Submitted on : Monday, July 4, 2011 - 6:11:35 PM
Last modification on : Tuesday, December 7, 2021 - 4:10:09 PM

Links full text




Annie Ressouche, Jean-Yves Tigli, Oscar Carrillo. Toward Validated Composition in Component-Based Adaptive Middleware. SC 2011- 10th International Conference Software Composition, Mario Sudhot, Jun 2011, Zurich, Switzerland. pp.165-180, ⟨10.1007/978-3-642-22045-6_12⟩. ⟨inria-00605915⟩



Record views