Abstract FR:

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