Skip to Main content Skip to Navigation
Journal articles

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.
Complete list of metadata

Cited literature [54 references]  Display  Hide  Download
Contributor : Amel Bennaceur Connect in order to contact the contributor
Submitted on : Tuesday, October 21, 2014 - 1:49:43 PM
Last modification on : Friday, January 21, 2022 - 3:16:06 AM
Long-term archiving on: : Thursday, January 22, 2015 - 10:31:21 AM


Files produced by the author(s)


  • HAL Id : hal-01076176, version 1



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⟩



Record views


Files downloads