Automated Synthesis of Mediators to Support Component Interoperability - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles IEEE Transactions on Software Engineering Year : 2015

Automated Synthesis of Mediators to Support Component Interoperability

Amel Bennaceur
Valérie Issarny
  • Function : Author
  • PersonId : 833417

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01076176 , version 1

Cite

Amel Bennaceur, Valérie Issarny. Automated Synthesis of Mediators to Support Component Interoperability. IEEE Transactions on Software Engineering, 2015, pp.22. ⟨hal-01076176⟩
325 View
268 Download

Share

Gmail Facebook X LinkedIn More