Objets coopératifs : un formalisme pour la modélisation des systèmes concurrents

par Rémi Bastide

Thèse de doctorat en Informatique

Sous la direction de Marie-France Barthet.

Soutenue en 1992

à Toulouse 3 .


  • Résumé

    La these presente un formalisme dedie a la modelisation des systemes concurrents. Les aspects statiques de ces systemes sont decrits en utilisant les concepts de l'approche objets; leurs aspects dynamiques ou comportementaux sont decrits dans le cadre formel des reseaux de petri de haut niveau. Le formalisme s'attache a combiner objets et reseaux de petri dans un cadre syntaxique et conceptuel coherent. Un objet cooperatif est muni d'une structure de donnee qui modelise son etat et d'un ensemble d'operateurs (ou services) destines a faire evoluer cet etat. Il est de plus pourvu d'un comportement, modelise par un reseau de petri. Ce comportement definit les regles d'evolution de l'objet, l'accessibilite des services qu'il offre en fonction de son etat, et reciproquement l'influence de l'execution de ses services sur son etat. La communication entre objets s'effectue par invocation de services, suivant un protocole client/serveur. Ce protocole est lui-meme defini par un reseau de petri. Il est donc possible, dans un systeme, de modeliser le comportement des objets et les communications qu'ils entretiennent de telle sorte que l'on puisse exprimer la concurrence aussi bien entre les objets qu'au sein d'un meme objet

  • Titre traduit

    Cooperative objects: a formalism for modelling concurrent systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : VI-277 p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1992TOU30247
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.