Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Gwen Salaün Connect in order to contact the contributor
Submitted on : Thursday, September 1, 2016 - 4:21:27 PM
Last modification on : Wednesday, July 6, 2022 - 4:18:48 AM
Long-term archiving on: : Saturday, December 3, 2016 - 8:20:53 AM


Files produced by the author(s)



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. ⟨10.1007/978-3-319-41591-8_22⟩. ⟨hal-01359044⟩



Record views


Files downloads