A formal service specification for IIOP based on ISO/IEC 14752

  • Authors:
  • Abhishek Singh;Jonathan Billington

  • Affiliations:
  • IBM Global Services Australia;Computer Systems Engineering Centre, University of South Australia

  • Venue:
  • FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

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.