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 .


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 187 f.
  • Notes : Reproduction de la thèse autorisée
  • Annexes : Bibliogr. p.155-161 Index p.185-187

Où se trouve cette thèse ?

  • Bibliothèque : Université Toulouse 1 Capitole. Service commun de la documentation. Bibliothèque de l'Arsenal.
  • Disponible pour le PEB
  • Cote : TG1011-2001-31

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : MF-2001-SYO
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.