thesis

Spécification comportementale de composants CORBA

Defense date:

Jan. 1, 2001

Edit

Institution:

Toulouse 1

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

The thesis proposes three contributions. A formalism for the behavioural specification of CORBA components : the Cooperative Objects CORBA Extension (COCE); a case study : the behavioural specification of the OMG's COS Event Service; an environment for the behavioural specification of CORBA components, named Petshop.

Abstract FR:

Cette thèse propose trois contributions. Proposition d'un formalisme de spécification comportementale de composants CORBA : le formalisme Cooperative Objects CORBA Extension (COCE); application à une étude de cas : la spécification formelle du COS Event Service de l'OMG; développement d'un environnement de spécification formelle de composants CORBA, appelé Petshop.