Composition and Formal Validation in Reactive Adaptive Middleware

Annie Ressouche 1 Jean-Yves Tigli 2 Carillo Oscar 1
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. Currently most of these systems manage the adaptation at the middleware intermediary layer. Dynamic adaptive middleware are then decomposed into two levels : a first one to simplify the development of distributed systems using devices, a second one to perform dynamic adaptations within the first level. In this report 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 :
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download
Contributor : Annie Ressouche <>
Submitted on : Thursday, February 24, 2011 - 3:32:54 PM
Last modification on : Monday, November 5, 2018 - 3:52:09 PM
Long-term archiving on : Thursday, March 30, 2017 - 7:17:37 AM


Files produced by the author(s)


  • HAL Id : inria-00565860, version 2



Annie Ressouche, Jean-Yves Tigli, Carillo Oscar. Composition and Formal Validation in Reactive Adaptive Middleware. [Research Report] RR-7541, INRIA. 2011, pp.27. ⟨inria-00565860v2⟩



Record views


Files downloads