Toward Validated Composition in Component-Based Adaptive Middleware

Annie Ressouche 1, * Jean-Yves Tigli 2 Oscar Carrillo 1
* Auteur correspondant
2 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe RAINBOW
SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Résumé : 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.
Type de document :
Communication dans un congrès
Sven Apel; Ethan Jackson. SC 2011- 10th International Conference Software Composition, Jun 2011, Zurich, Switzerland. Springer, 6708, pp.165-180, 2011, LNCS - Lecture Notes in Computer Science. <10.1007/978-3-642-22045-6_12>
Liste complète des métadonnées

https://hal.inria.fr/inria-00605915
Contributeur : Annie Ressouche <>
Soumis le : lundi 4 juillet 2011 - 18:11:35
Dernière modification le : mardi 20 septembre 2016 - 01:04:02

Identifiants

Collections

Citation

Annie Ressouche, Jean-Yves Tigli, Oscar Carrillo. Toward Validated Composition in Component-Based Adaptive Middleware. Sven Apel; Ethan Jackson. SC 2011- 10th International Conference Software Composition, Jun 2011, Zurich, Switzerland. Springer, 6708, pp.165-180, 2011, LNCS - Lecture Notes in Computer Science. <10.1007/978-3-642-22045-6_12>. <inria-00605915>

Partager

Métriques

Consultations de la notice

349