In: Conferences in Research and Practice in Information Technology, Vol.12, Workshop on Software Engineering and Formal Methods, pages 57-66.. 24-25 June 2002. Australian Computer Society Inc., Adelaide.
Abstract: 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 combine 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 form a previous attempt to define the service.
Keywords: Service Specification; IIOP; Standards; Interoperability; Coloured Petri Nets.
Back to the Petri Nets Bibliography