PROJECT TITLE :

Automated Synthesis of Mediators to Support Component Interoperability

ABSTRACT:

Interoperability may be a major concern for the software engineering field, given the increasing need to compose elements dynamically and seamlessly. This dynamic composition is often hampered by differences within the interfaces and behaviours of independently-developed components. To handle these differences while not changing the parts, mediators that systematically enforce interoperability between functionally-compatible parts by mapping their interfaces and coordinating their behaviours are needed. Existing approaches to mediator synthesis assume that an interface mapping is provided that specifies the correspondence between the operations and information of the components at hand. In this paper, we tend to 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 knowledge of the interfaces. Then, we tend to analyse the behaviours of elements so as to synthesise, if potential, a mediator that coordinates the computed mappings therefore as to make the elements interact properly. Our approach is formally-grounded to ensure the correctness of the synthesised mediator. We tend to demonstrate the validity of our approach by implementing the MICS (Mediator synthesIs to Connect Parts) tool and experimenting it with varied real-world case studies.