Automated Synthesis of Mediators to Support Component Interoperability - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Software Engineering Année : 2015

Automated Synthesis of Mediators to Support Component Interoperability

Amel Bennaceur
Valérie Issarny
  • Fonction : Auteur
  • PersonId : 833417

Résumé

Interoperability is a major concern for the software engineering field, given the increasing need to compose components dynamically and seamlessly. This dynamic composition is often hampered by differences in the interfaces and behaviours of independently-developed components. To address these differences without changing the components, mediators that systematically enforce interoperability between functionally-compatible components by mapping their interfaces and coordinating their behaviours are required. Existing approaches to mediator synthesis assume that an interface mapping is provided which specifies the correspondence between the operations and data of the components at hand. In this paper, we present an approach based on ontology reasoning and constraint programming in order to infer mappings between components' interfaces automatically. These mappings guarantee semantic compatibility between the operations and data of the interfaces. Then, we analyse the behaviours of components in order to synthesise, if possible, a mediator that coordinates the computed mappings so as to make the components interact properly. Our approach is formally-grounded to ensure the correctness of the synthesised mediator. We demonstrate the validity of our approach by implementing the MICS (Mediator synthesIs to Connect Components) tool and experimenting it with various real-world case studies.
Fichier principal
Vignette du fichier
tse14_Final.pdf (3.31 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01076176 , version 1 (21-10-2014)

Identifiants

  • HAL Id : hal-01076176 , version 1

Citer

Amel Bennaceur, Valérie Issarny. Automated Synthesis of Mediators to Support Component Interoperability. IEEE Transactions on Software Engineering, 2015, pp.22. ⟨hal-01076176⟩
324 Consultations
266 Téléchargements

Partager

Gmail Facebook X LinkedIn More