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 条

[11]

HAN J, 1999, P ECOOP 99 WORKSH OB, P25

[12]

HENDERSON P, 1997, P FSE 97 FOCBS WORKS, P131

[13]

Joshi RK, 1997, SOFTWARE PRACT EXPER, V27, P677, DOI 10.1002/(SICI)1097-024X(199706)27:6<677::AID-SPE103>3.0.CO

[14]

2-I

[15]

LEA D, 1995, LNCS, V1241

[16]

Milner R., 1993, Logic and Algebra of Specification. Proceedings of the NATO Advanced Study Institute, P203

[17]

MILNER R, 1992, INFORM COMPUT, V100, P1, DOI [10.1016/0890-5401(92)90008-4, 10.1016/0890-5401(92)90009-5]

[18]

MINSKY NH, 1995, LNCS, V924, P125

[19]

Nierstrasz Oscar., 1995, Object-Oriented Software Composition, P99

[20]

*OBJ MAN GROUP, 1999, COMM OBJ REQ BROK AR

← 1 2 3 →