Model-Based Adaptation of Software Communicating via FIFO Buffers

Abstract : 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.
Document type :
Conference papers
18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015), Apr 2015, Londres, United Kingdom. 2015, <10.1007/978-3-662-46675-9_17>
Liste complète des métadonnées

https://hal.inria.fr/hal-01150353
Contributor : Gwen Salaün <>
Submitted on : Monday, May 11, 2015 - 9:23:02 AM
Last modification on : Wednesday, December 14, 2016 - 1:08:44 AM
Document(s) archivé(s) le : Wednesday, April 19, 2017 - 8:20:19 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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. 2015, <10.1007/978-3-662-46675-9_17>. <hal-01150353>

Share

Metrics

Record views

158

Document downloads

55