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
Résumé : De nos jours, les middlewares adaptatifs et réactifs jouent un role important dans la conception d'applications dans le domaine de l'Informatique ubiquitaire et ambiante. Généralement, ces systèmes réalisent cette adaptation au niveau intermédiaire du middleware. Ainsi, les middlewares adaptatifs sont décomposés en deux parties: une première partie qui permet un développement simplifié des systèmes distribués utilisant des dispositifs, une seconde qui réalise les adaptations dynamiques de la première partie. Dans ce rapport nous considérons des middlewares à base de composants et une adapaptation compositionnelle. Mais souvent lors d'une composition certaines adaptations concurrentes s'avèrent conflictuelles. Pour résoudre ce problème, nous étudions comment préserver la consistence d'une application lors de changements concernant certains composants critiques, avec des conflits qui peuvent apparaitre quand on compose des assemblages de composants. Nous utilisons des méthodes formelles pour modéliser le comportement des composants afin de bénéficier des techniques de vérification par model checking et ainsi prouver que des accès concurrents respectent les comportements acceptables des composants critiques.
Type de document :
Rapport
[Research Report] RR-7541, INRIA. 2011, pp.27
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00565860
Contributeur : Annie Ressouche <>
Soumis le : jeudi 24 février 2011 - 15:32:54
Dernière modification le : lundi 5 novembre 2018 - 15:52:09
Document(s) archivé(s) le : jeudi 30 mars 2017 - 07:17:37

Fichier

RR-7541.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00565860, version 2

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

454

Téléchargements de fichiers

212