Automated Synthesis of Mediators to Support Component Interoperability

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.
Liste complète des métadonnées

Cited literature [54 references]  Display  Hide  Download

https://hal.inria.fr/hal-01076176
Contributor : Amel Bennaceur <>
Submitted on : Tuesday, October 21, 2014 - 1:49:43 PM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
Document(s) archivé(s) le : Thursday, January 22, 2015 - 10:31:21 AM

File

tse14_Final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01076176, version 1

Collections

Citation

Amel Bennaceur, Valérie Issarny. Automated Synthesis of Mediators to Support Component Interoperability. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2015, pp.22. 〈hal-01076176〉

Share

Metrics

Record views

498

Files downloads

308