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 .

mots clés

• Systèmes homme-machine
• Systèmes experts (informatique)
• Programmation orientée objets (informatique)
• Ordonnancement (gestion) -- Informatique
• Classification -- Informatique
• Petri, Réseaux de
• Fabrication, Systèmes flexibles de

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.