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.
Type de document :
Article dans une revue
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2015, pp.22
Liste complète des métadonnées

Littérature citée [54 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01076176
Contributeur : Amel Bennaceur <>
Soumis le : mardi 21 octobre 2014 - 13:49:43
Dernière modification le : vendredi 25 mai 2018 - 12:02:07
Document(s) archivé(s) le : jeudi 22 janvier 2015 - 10:31:21

Fichier

tse14_Final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

432

Téléchargements de fichiers

273