A Theory of Mediators for Eternal Connectors

被引：11

作者：

Inverardi, Paola ^{[1
]}

Issarny, Valerie ^{[2
]}

Spalazzese, Romina ^{[1
]}

机构：

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

[2] CRI, INRIA, Paris, France

来源：

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

关键词：

D O I：

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

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today's and future digital systems that increasingly need be connected. The resulting emergent mediators (or CONNECTORS) adapt the interaction protocols run by the connected systerns to let them communicate. However, although the mediator concept has been studied and used quite extensively to cope with many heterogeneity dimensions, a remaining key challenge is to support on-the-fly synthesis of mediators. Towards this end, this paper introduces a theory of mediators for the ubiquitous networking environment. The proposed formal model: (i) precisely characterizes the problem of interoperability between networked systems, and (ii) paves the way for automated reasoning about protocol matching (interoperability) and related mediator synthesis.

引用

页码：236 / +

页数：3

共 25 条

[1]

[Anonymous], ACM T PROGRAM LANG S

[2]

[Anonymous], POPCORN SCENARIO DRY

[3]

Benatallah B, 2005, LECT NOTES COMPUT SC, V3520, P415

[4] Towards an Architecture for Runtime Interoperability [J].

Bennaceur, Amel ;

Blair, Gordon ;

Chauvel, Franck ;

Gang, Huang ;

Georgantas, Nikolaos ;

Grace, Paul ;

Howar, Falk ;

Inverardi, Paola ;

Issarny, Valerie ;

Paolucci, Massimo ;

Pathak, Animesh ;

Spalazzese, Romina ;

Steffen, Bernhard ;

Souville, Bertrand .

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

[5]

Denaro G., 2009, P ESEC FSE 2009

[6]

Gamma E., 1995, DESIGN PATTERNS ELEM

[7]

Hoare C. A. R., 1983, Communications of the ACM, V26, P100, DOI 10.1145/357980.358021

[8] On Handling Data in Automata Learning Considerations from the CONNECT Perspective [J].

Howar, Falk ;

Jonsson, Bengt ;

Merten, Maik ;

Steffen, Bernhard ;

Cassel, Sofia .

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

[9]

Issarny V., 2009, 14 IEEE INT C ENG CO

[10] Ontology mapping: the state of the art [J].

Kalfoglou, Y ;

Schorlemmer, M .

KNOWLEDGE ENGINEERING REVIEW, 2003, 18 (01) :1-31

← 1 2 3 →