Stability-Based Adaptation of Asynchronously Communicating Software

Abstract : Software Adaptation aims at composing incompatible black-box components or services (peers) whose individual functionality is as required for the new system. Adaptation techniques aim at automatically generating new components called adapters. An adapter works as an orchestrator and makes the involved peers work correctly together by receiving all messages exchanged in the system and by correcting mis-match between them. A challenging issue in this area is to consider that peers are described with (possibly cyclic) behavioural models and interact asynchronously, that is, exchanging messages via message buffers. The synthesis of adapters in this context is difficult because the composition of peers may result in infinite systems. In this paper, we propose new adaptation techniques, which rely on a property of communicating systems called stability. Stability aims at verifying whether a communicating system exhibits the same observational behaviour from a certain buffer bound on. We also provide adapter generation techniques using process algebra encodings and enumerative analysis techniques.
Type de document :
Communication dans un congrès
14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria. 2016, 〈10.1007/978-3-319-41591-8_22〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01359044
Contributeur : Gwen Salaün <>
Soumis le : jeudi 1 septembre 2016 - 16:21:27
Dernière modification le : mercredi 11 avril 2018 - 01:51:54
Document(s) archivé(s) le : samedi 3 décembre 2016 - 08:20:53

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Carlos Canal, Gwen Salaün. Stability-Based Adaptation of Asynchronously Communicating Software. 14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria. 2016, 〈10.1007/978-3-319-41591-8_22〉. 〈hal-01359044〉

Partager

Métriques

Consultations de la notice

686

Téléchargements de fichiers

63