Model-Based Adaptation of Software Communicating via FIFO Buffers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Model-Based Adaptation of Software Communicating via FIFO Buffers


Software Adaptation is a non-intrusive solution for composing black-box components or services (peers) whose individual func-tionality is as required for the new system, but that present interface mismatch, which leads to deadlock or other undesirable behaviour when combined. Adaptation techniques aim at automatically generating new components called adapters. All the interactions among peers pass through the adapter, which acts as an orchestrator and makes the involved peers work correctly together by compensating for mismatch. Most of the existing solutions in this field assume that peers interact synchronously using rendezvous communication. However, many application areas rely on asynchronous communication models where peers interact exchanging messages via buffers. Generating adapters in this context becomes a difficult problem because peers may exhibit cyclic behaviour, and their composition often results in infinite systems. In this paper, we present a method for automatically generating adapters in asynchronous environments where peers interact using FIFO buffers.
Fichier principal
Vignette du fichier
main.pdf (434.34 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01150353 , version 1 (11-05-2015)



Carlos Canal, Gwen Salaün. Model-Based Adaptation of Software Communicating via FIFO Buffers. 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015), Apr 2015, Londres, United Kingdom. ⟨10.1007/978-3-662-46675-9_17⟩. ⟨hal-01150353⟩
150 View
139 Download



Gmail Mastodon Facebook X LinkedIn More