In: Donatelli, Susanna; Kleijn, Jetty: Lecture Notes in Computer Science, Vol. 1630: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, pages 66-85. Springer-Verlag, June 1999.
Abstract: CORBA is a standard proposed by the Object Management Group (OMG) in order to promote interoperability between distributed object systenis. CORBA provides a programming-language neutral Interface Definition Language (IDL) that describes the syntactic aspects of services supported by remote objects. However, CORBA IDL does not provide any means to specify the behaviour of objects in an abstract and formal way. Behaviour to demonstrate our approach.
Keywords: Distributed systerm, CORBA, behavioural specification, high-level Petri nets..