Towards an architecture for runtime interoperability

Amel Bennaceur*, Gordon Blair, Franck Chauvel, Huang Gang, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valrie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville

*Corresponding author for this work

Research output: Chapter in Book/Published conference outputConference publication


Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computing environments. This challenge is exasperated by the highly heterogeneous technologies employed by each of the interacting parties, i.e., in terms of hardware, operating system, middleware protocols, and application protocols. This paper introduces Connect, a software framework which aims to resolve this interoperability challenge in a fundamentally different way. Connect dynamically discovers information about the running systems, uses learning to build a richer view of a system's behaviour and then uses synthesis techniques to generate a connector to achieve interoperability between heterogeneous systems. Here, we introduce the key elements of Connect and describe its application to a distributed marketplace application involving heterogeneous technologies.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings
Number of pages15
EditionPART 2
ISBN (Print)3642165605, 9783642165603
Publication statusPublished - 23 Dec 2010
Event4th International Symposium on Leveraging Applications, ISoLA 2010 - Heraklion, Crete, Greece
Duration: 18 Oct 201021 Oct 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 2
Volume6416 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference4th International Symposium on Leveraging Applications, ISoLA 2010
CityHeraklion, Crete


Dive into the research topics of 'Towards an architecture for runtime interoperability'. Together they form a unique fingerprint.

Cite this