Extending CORBA interfaces with π-calculus for protocol compatibility

被引：9

作者：

Canal, C ^{[1
]}

Fuentes, L ^{[1
]}

Troya, JM ^{[1
]}

Vallecillo, A ^{[1
]}

机构：

[1] Univ Malaga, ETSI Informat, Dpto Lenguajes & Ciencias Computac, E-29071 Malaga, Spain

来源：

TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS | 2000年

关键词：

D O I：

10.1109/TOOLS.2000.848763

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Traditional IDLs were defined for describing the services that objects offer, but not those services they require from. other objects, nor the partial ordering in which they effect their methods to be used. In this paper we propose an extension of the CORBA IDL that uses a sugared subset of the polyadic pi-calculus for describing object service protocols, aimed towards the automated checking of protocol interoperability between CORBA objects in, open component-based environments. In addition, some advantages and disadvantages of our proposal are discussed, as well as some of the practical limitations encountered when trying to implement and use this sort of IDL extensions in open systems.

引用

页码：208 / 225

页数：2

共 28 条

[1]

AKSIT M, 1993, LECT NOTES COMPUTER, V791, P152

[2]

ALLEN R, 1997, ACM T SOFTWARE E JUL

[3]

AMERICA P, 1991, LECT NOTES COMPUT SC, V489, P60

[4]

BAKER S, 1997, CORBA DISTRIBUTED OB

[5]

Buchi Martin, 1999, Technical Report 297

[6]

Canal C, 1999, INT FED INFO PROC, V12, P107

[7]

CANAL C, 1999, P COMPONENT BASED DE

[8] A protocol based approach to specifying interoperability between objects [J].

Cho, IH ;

McGregor, JD ;

Krause, L .

TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, :84-96

[9]

Feijs LMG, 1999, LECT NOTES COMPUT SC, V1709, P1343

[10]

Gaspari M, 1999, LECT NOTES COMPUT SC, V1628, P495

← 1 2 3 →