CP11
Bastide, R., Palanque, P., Sy, O., Le, D., Navarre, D.
Petri Net Based Behavioural Specification of CORBA Systems
CORBA is a standard proposed by the Object Management Group
(OMG) in order to promote interoperability between distributed
object systems. CORBA provides a programminglanguage 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 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 objectstructured highlevel Petri nets, as
formalism for behavioural specification of CORBA systems. We
detail the syntactic and semantic adaptations that this formalism
requires in order to fully support the CORBA object model. We
present a realistic case study to demonstrate our approach.
Proceedings of 20 th International Conference on Applications and Theory of Petri Nets, ATPN'99, Williamsburg, VA, USA, June
2125, 1999
Published by Lecture Notes in Computer Science Serie n° 1639, Springer Verlag
Download PS version (237 KB, zipped
with Winzip)
Home
Overview
Contact list
Planning of Work
Documents
Workspace
Related Links
Statistics