Extending IDLs with pi-calculus for Protocol Compatibility
Carlos Canal, Lidia Fuentes, Antonio Vallecillo · 1999
Abstract. Traditional IDLs present some limitations, since they were defined for describing the services that objects offer, but not those ser-vices they require from other objects, nor the partial ordering in which their services are expected to be used. In this paper we propose an IDL extension that uses a subset of pi-calculus for describing objects service protocols. Our approach can be also used in a component-oriented en-vironment for automated checking of protocol interoperability between objects. This is supported by a platform that controls the dynamic com-position of components. 1