PhDOOS Logo

Supported by AITO.

These pages are currently maintained by Alex Potanin

 

Behavioural specification of CORBA systems

Ousmane Sy
( Senegalese )

Universite Toulouse I
1, place Anatole France 31000 Toulouse France
tel: (00 33) 5 61 63 37 41
fax: (00 33) 5 61 63 37 98
sy@univ-tlse1.fr

Keywords:

distribution formal methods CORBA

Abstract:

CORBA is a standard proposed by the Object Management Group (OMG) that promotes interoperability between distributed object systems. CORBA objects are specified using CORBA Interface Definition Language (IDL) that describes the syntactic aspects of services supported by remote objects: i.e. the list of operations and signatures of these operations.

However, CORBA-IDL does not support specification of the behaviour of CORBA objects in an abstract and formal way, and behavioural specification is usually provided in plain English (e.g. in the Common Object Services Specifications provided by the OMG). Therefore clients and implementers of CORBA objects do not have precise knowledge of the behaviour to expect from them. Behavioural specification of a CORBA object provides the means for users and implementers to know precisely what it does, in which conditions it reacts and how it performs its work.

This thesis defines a formal description technique (Cooperative Objects for CORBA) based on high-level Petri nets and suited to the needs of the CORBA object model. A tool (PetShop) supporting the interactive edition, prototyping and verification of models has been developed.

The PhD work started: April 1998

The participant will apply for the
upcoming ECOOP PhD Workshop.

HTML3
JAVA

 

Last modified on Mon Aug 15 14:59:24 2005