Towards an Architecture for Runtime Interoperability

被引：9

作者：

Bennaceur, Amel ^{[1
]}

Blair, Gordon ^{[2
]}

Chauvel, Franck ^{[3
]}

Gang, Huang ^{[3
]}

Georgantas, Nikolaos ^{[1
]}

Grace, Paul ^{[2
]}

Howar, Falk ^{[4
]}

Inverardi, Paola ^{[5
]}

Issarny, Valerie ^{[1
]}

Paolucci, Massimo ^{[6
]}

Pathak, Animesh ^{[1
]}

Spalazzese, Romina ^{[5
]}

Steffen, Bernhard ^{[4
]}

Souville, Bertrand ^{[6
]}

机构：

[1] CRI Paris Rocquencourt, INRIA, Paris, France

[2] Univ Lancaster, Lancaster LA1 4YW, England

[3] Peking Univ, Sch Elect Engn & Comp Sci, Tokyo, Japan

[4] Tech Univ Dortmund, Dortmund, Germany

[5] Univ Aquila, I-67100 Laquila, Italy

[6] Euro Labs, DOCOMO, Munich, Germany

来源：

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II | 2010年 / 6416卷

关键词：

SERVICES;

D O I：

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

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：206 / +

页数：3

共 24 条

[1] Towards a Connector Algebra [J].

Autili, Marco ;

Chilton, Chris ;

Inverardi, Paola ;

Kwiatkowska, Marta ;

Tivoli, Massimo .

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 :278-+

[2] On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring [J].

Bertolino, Antonia ;

Inverardi, Paola ;

Issarny, Valerie ;

Sabetta, Antonino ;

Spalazzese, Romina .

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 :251-+

[3]

Booth D., 2004, W3C

[4]

Bromberg YD, 2005, LECT NOTES COMPUT SC, V3790, P164

[5]

Christensen E., 2001, WEB SERVICES DESCRIP

[6]

Di Giandomenico F, 2010, LECT NOTES COMPUT SC, V6416, P263

[7]

DUFTLER M, 2001, OOPSLA 2001 WORKSH O

[8]

Farrell Joel., 2007, Semantic Annotations for WSDL and XML Schema: W3C Recommendation

[9]

Flores C., 2007, IEEE DISTRIBUTED SYS

[10]

GANG H, 2003, CHINESE J ELECTRON, V12, P499

← 1 2 3 →