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

doi:10.1007/978-3-642-16561-0_23

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 output › Conference publication

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.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings
Publisher	Springer
Pages	206-220
Number of pages	15
Edition	PART 2
ISBN (Print)	3642165605, 9783642165603
DOIs	https://doi.org/10.1007/978-3-642-16561-0_23
Publication status	Published - 23 Dec 2010
Event	4th International Symposium on Leveraging Applications, ISoLA 2010 - Heraklion, Crete, Greece Duration: 18 Oct 2010 → 21 Oct 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number	PART 2
Volume	6416 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Symposium on Leveraging Applications, ISoLA 2010
Country/Territory	Greece
City	Heraklion, Crete
Period	18/10/10 → 21/10/10

Access to Document

10.1007/978-3-642-16561-0_23

Cite this

Bennaceur, A., Blair, G., Chauvel, F., Gang, H., Georgantas, N., Grace, P., Howar, F., Inverardi, P., Issarny, V., Paolucci, M., Pathak, A., Spalazzese, R., Steffen, B., & Souville, B. (2010). Towards an architecture for runtime interoperability. In Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings (PART 2 ed., pp. 206-220). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6416 LNCS, No. PART 2). Springer. https://doi.org/10.1007/978-3-642-16561-0_23

Bennaceur, Amel ; Blair, Gordon ; Chauvel, Franck et al. / Towards an architecture for runtime interoperability. Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings. PART 2. ed. Springer, 2010. pp. 206-220 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 2).

@inproceedings{078c4583127140e3a0d2ef1526d1750e,

title = "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.",

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

year = "2010",

month = dec,

day = "23",

doi = "10.1007/978-3-642-16561-0_23",

language = "English",

isbn = "3642165605",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

number = "PART 2",

pages = "206--220",

booktitle = "Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings",

address = "Germany",

edition = "PART 2",

note = "4th International Symposium on Leveraging Applications, ISoLA 2010 ; Conference date: 18-10-2010 Through 21-10-2010",

}

Bennaceur, A, Blair, G, Chauvel, F, Gang, H, Georgantas, N, Grace, P, Howar, F, Inverardi, P, Issarny, V, Paolucci, M, Pathak, A, Spalazzese, R, Steffen, B & Souville, B 2010, Towards an architecture for runtime interoperability. in Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings. PART 2 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 2, vol. 6416 LNCS, Springer, pp. 206-220, 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 18/10/10. https://doi.org/10.1007/978-3-642-16561-0_23

Towards an architecture for runtime interoperability. / Bennaceur, Amel; Blair, Gordon; Chauvel, Franck et al.
Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings. PART 2. ed. Springer, 2010. p. 206-220 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6416 LNCS, No. PART 2).

Research output: Chapter in Book/Published conference output › Conference publication

TY - GEN

T1 - Towards an architecture for runtime interoperability

AU - Bennaceur, Amel

AU - Blair, Gordon

AU - Chauvel, Franck

AU - Gang, Huang

AU - Georgantas, Nikolaos

AU - Grace, Paul

AU - Howar, Falk

AU - Inverardi, Paola

AU - Issarny, Valrie

AU - Paolucci, Massimo

AU - Pathak, Animesh

AU - Spalazzese, Romina

AU - Steffen, Bernhard

AU - Souville, Bertrand

PY - 2010/12/23

Y1 - 2010/12/23

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=78650266761&partnerID=8YFLogxK

UR - https://link.springer.com/chapter/10.1007%2F978-3-642-16561-0_23

U2 - 10.1007/978-3-642-16561-0_23

DO - 10.1007/978-3-642-16561-0_23

M3 - Conference publication

AN - SCOPUS:78650266761

SN - 3642165605

SN - 9783642165603

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 206

EP - 220

BT - Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings

PB - Springer

T2 - 4th International Symposium on Leveraging Applications, ISoLA 2010

Y2 - 18 October 2010 through 21 October 2010

ER -

Bennaceur A, Blair G, Chauvel F, Gang H, Georgantas N, Grace P et al. Towards an architecture for runtime interoperability. In Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings. PART 2 ed. Springer. 2010. p. 206-220. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 2). doi: 10.1007/978-3-642-16561-0_23

Towards an architecture for runtime interoperability

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this