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 metadatas

https://hal.inria.fr/inria-00605915
Contributor : Annie Ressouche <>
Submitted on : Monday, July 4, 2011 - 6:11:35 PM
Last modification on : Monday, November 5, 2018 - 3:52:09 PM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

577