Skip to Main content Skip to Navigation
Conference papers

Towards an architecture for runtime interoperability

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/inria-00512446
Contributor : Massimo Tivoli Connect in order to contact the contributor
Submitted on : Thursday, November 18, 2010 - 4:50:19 PM
Last modification on : Tuesday, May 25, 2021 - 12:36:01 PM
Long-term archiving on: : Saturday, February 19, 2011 - 2:35:52 AM

File

fulltext-2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00512446, version 1

Collections

Citation

Amel Bennaceur, Gordon Blair, Franck Chauvel, Nikolaos Georgantas, Paul Grace, et al.. Towards an architecture for runtime interoperability. ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2010, Crete, Greece. pp.206-220. ⟨inria-00512446⟩

Share

Metrics

Record views

735

Files downloads

555