Stability-Based Adaptation of Asynchronously Communicating Software - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Stability-Based Adaptation of Asynchronously Communicating Software


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.
Fichier principal
Vignette du fichier
main.pdf (394.67 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01359044 , version 1 (01-09-2016)



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⟩
448 View
134 Download



Gmail Mastodon Facebook X LinkedIn More