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.
Document type :
Conference papers
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


https://hal.inria.fr/hal-01359044
Contributor : Gwen Salaün <>
Submitted on : Thursday, September 1, 2016 - 4:21:27 PM
Last modification on : Saturday, September 3, 2016 - 1:02:38 AM
Document(s) archivé(s) le : Saturday, December 3, 2016 - 8:20:53 AM

File

main.pdf
Files produced by the author(s)

Identifiers

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>

Share

Metrics

Record views

577

Document downloads

44