Paper Info
Title
Petri Net Based Behavioural Specification of CORBA Systems
Abstract
CORBA is a standard proposed by the Object Management Group (OMG) in order to promote interoperability between distributed object systems. 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 bahaviour of objects in an abstract and formal way. Behaviour specification is provided either in plain English, or directly in the programming language chosen for the implementation. We propose the use of Cooperative Objects, a dialect of object-structured high-level Petri nets, as formalism for behavioural specification of CORBA systems. We detail at the syntactic and semantic level how this formalism supports the features of the CORBA object model. We present a realistic case study to demonstrate out approach.
Year
Venue
Keywords
1999
ICATPN
corba systems,object management group,corba object model,object system,syntactic aspect,remote object,behaviour specification,behavioural specification,corba idl,cooperative objects,corba system,corba,high level,distributed system,distributed systems,petri net
Field
DocType
ISBN
Petri net,Programming language,Interoperability,Computer science,Common Object Request Broker Architecture,Interoperable Object Reference,Object model,Interface description language,Parsing,Semantics,Distributed computing
Conference
3-540-66132-8
Citations 
PageRank 
References 
8
0.94
10
Authors
5
Name
Order
Citations
PageRank
Rémi Bastide157951.35
Philippe A. Palanque289399.90
Ousmane Sy3765.69
duchoa le4272.12
David Navarre551038.10