Spécification comportementale de composants CORBA

Behavioural specification of CORBA objects

• Auteur / Autrice : Ousmane Sy
• Direction : Rémi Bastide
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2001
• Etablissement(s) : Toulouse 1

Mots clés

Mots clés contrôlés

CORBA (architecture des ordinateurs)

Systèmes à paramètres répartis

Interfaces utilisateur (informatique)

Résumé

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.

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.