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
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have