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