Spécification comportementale de composants CORBA
par Ousmane Sy
Thèse de doctorat en Informatique
Sous la direction de Rémi Bastide.
Soutenue en 2001
à Toulouse 1 .
- Interfaces utilisateur (informatique)
- Systèmes à paramètres répartis
- CORBA (architecture des ordinateurs)
mots clés
-
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.
-
Titre traduit
Behavioural specification of CORBA objects
-
Résumé
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.
