Model-Based Adaptation of Software Communicating via FIFO Buffers - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

Model-Based Adaptation of Software Communicating via FIFO Buffers

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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⟩
165 Consultations
148 Téléchargements

Altmetric

Partager

More