Extending CORBA interfaces with p-calculus for protocol compatibility
C. Canal, L. Fuentes, J.M. Troya, A. Vallecillo
TOOLS Europe 33
Mont Saint Michel (France), June 2000
Technology of Object-Oriented Languages and Systems, pp. 208–225,
IEEE Computer Society, 2000, ISBN: 0-7695-0731-X
Abstract
p-calculus for describing object service protocols, aimed towards the automated checking of protocol interoperability between CORBA objects in open component-based environments. Furthermore, 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. (Draft)Traditional IDLs were de ned 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. In this paper we propose an extension of the CORBA IDL that uses a sugared subset of the polyadic