Abstract

The Internet Inter-ORB Protocol (IIOP) supports the interworking of Object Request Brokers (ORBs) over TCP/IP. This paper creates a service specification for IIOP by combining three interworking facilities identified in ISO/IEC 14752. This is formalised using Coloured Petri nets, which are used to generate the set of global primitive sequences of the IIOP service.KeywordsIIOPCORBAODPColoured Petri NetsService Specification

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call