Extending CORBA interfaces with π-calculus for protocol compatibility

Author

Canal, C. ; Fuentes, L. ; Troya, J.M. ; Vallecillo, A.

Author_Institution

Dept. de Lenguajes y Ciencias de la Comput., Malaga Univ., Spain

fYear

2000

fDate

2000

Firstpage

208

Lastpage

225

Abstract

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 expect their methods to be used. We propose an extension of the CORBA IDL that uses a sugared subset of the polyadic π-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 extension in open systems

Keywords

application program interfaces; distributed object management; object-oriented languages; open systems; pi calculus; protocols; π-calculus; CORBA IDL; CORBA interfaces; CORBA objects; IDL extension; automated checking; interface description language; object service protocols; open component based environments; open systems; partial ordering; polyadic π-calculus; protocol compatibility; protocol interoperability; sugared subset; Protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Technology of Object-Oriented Languages, 2000. TOOLS 33. Proceedings. 33rd International Conference on

Conference_Location

Mont-Saint-Michel

Print_ISBN

0-7695-0731-X

Type

conf

DOI

10.1109/TOOLS.2000.848763

Filename

848763