For the most recent entries see the Petri Nets Newsletter.

Petri Net Based Behavioural Specification of CORBA Systems.

Bastide, Rémi; Palanque, Philippe; Sy, Ousmane; Le, Duc-Hoa; Navarre, David

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..


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography