Creating an Internet Inter-ORB Protocol Service Specification

Singh, A. and Billington, J.

The Internet Inter-ORB Protocol (IIOP) supports the interworking of Object Request Brokers (ORBs) over the Transmission Control Protocol (TCP). To verify that IIOP operates correctly, it is important to define the services it should provide to the interworking ORBs. An international standard, ISO/IEC 14752, defines a set of interworking facilities, three of which are used to define the service of IIOP. Each of these facilities is defined in isolation by a set of service primitives, and their sequences at each local interface. This paper shows how these facilities may be combined to provide a partial service specification, that does not define the global sequences of primitives. Further, it develops a Coloured Petri Net model which allows the global sequences of service primitives, known as the service language, to be generated, thus completing the service specification. The paper describes the methodology that is used to create IIOP's service language, and indicates how this work differs from a previous attempt to define the service.

Cite as: Singh, A. and Billington, J. (2002). Creating an Internet Inter-ORB Protocol Service Specification. In Proc. Workshop on Software Engineering and Formal Methods 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L. M. and Billington, J., Eds. ACS. 57-66.

(from crpit.com) (local if available)