Towards a Connector Algebra

被引：4

作者：

Autili, Marco ^{[1
]}

Chilton, Chris ^{[2
]}

Inverardi, Paola ^{[1
]}

Kwiatkowska, Marta ^{[2
]}

Tivoli, Massimo ^{[1
]}

机构：

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

[2] Univ Oxford, Comp Lab, Oxford OX1 3QD, England

来源：

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

基金：

英国工程与自然科学研究理事会;

关键词：

COMPONENT CONNECTORS; AUTOMATA; MODELS; REO; QOS;

D O I：

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

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing clue to the technology-dependent nature of solutions. The CONNECT Integrated Project attempts to develop a novel network infrastructure to allow heterogeneous networked systems to freely communicate with one another by synthesising the required connectors on-the-fly. A key objective of CONNECT is to build a comprehensive theory of composable connectors, by devising an algebra for rigorously characterising complex interaction protocols in order to support automated reasoning. With this aim in mind, we formalise a high-level algebra for reasoning about protocol mismatches. Basic mismatches can be solved by suitably defined primitives, while complex mismatches can be settled by composition operators that build connectors out of simpler ones. The semantics of the algebra is given in terms of Interface Automata, and an example in the domain of instant messaging is used to illustrate how the algebra can characterise the interaction behaviour of a connector for mediating protocols.

引用

页码：278 / +

页数：3

共 21 条

[1]

Allen R., 1997, ACM Transactions on Software Engineering and Methodology, V6, P213, DOI 10.1145/258077.258078

[2]

Alur R, 1998, LECT NOTES COMPUT SC, V1466, P163, DOI 10.1007/BFb0055622

[3]

[Anonymous], 1989, CWI-Quarterly

[4]

[Anonymous], 2009, Proc. ACM IEEE Int. Conf. Embedded Software, DOI DOI 10.1145/1629335.1629348

[5]

Arbab F, 2007, LECT NOTES COMPUT SC, V4467, P286

[6]

Arbab F, 2009, LECT NOTES COMPUT SC, V5521, P268, DOI 10.1007/978-3-642-02053-7_14

[7]

Baier C, 2005, J UNIVERS COMPUT SCI, V11, P1718

[8] Modeling component connectors in Reo by constraint automata [J].

Baier, Christel ;

Sirjani, Marjan ;

Arbab, Farhad ;

Rutten, Jan .

SCIENCE OF COMPUTER PROGRAMMING, 2006, 61 (02) :75-113

[9] Interface synthesis and protocol conversion [J].

Bhaduri, Purandar ;

Ramesh, S. .

FORMAL ASPECTS OF COMPUTING, 2008, 20 (02) :205-224

[10] The algebra of connectors - Structuring interaction in BIP [J].

Bliudze, Simon ;

Sifakis, Joseph .

IEEE TRANSACTIONS ON COMPUTERS, 2008, 57 (10) :1315-1330

← 1 2 3 →