Résumé: Cette thèse traite de la sémantique et la validation des programmes d'acteurs a l'aide des réseaux de pétri colores. Dans une première étape, nous exposons un algorithme de dérivation d'un réseau de pétri colore (cpn) a partir d'un programme d'acteurs. L'exécution du programme d'acteurs correspond au jeu des jetons dans le cpn correspondant. Les aspects dynamiques de la création des acteurs et la modification de la topologie d'interaction entre acteurs sont pris en compte par l'évolution des jetons. Nous donnons une sémantique du programme d'acteurs à l'aide du graphe des marquages de cpn. Nous prouvons l'équivalence de cette sémantique avec celle de g. Agha définie par un système de transitions. Nous appliquons l'algorithme de dérivation a la translation d'un système dynamique a un système statique. Dans une deuxième étape, nous analysons le cpn dérive pour établir des propriétés sur le programme d'acteurs correspondant, par exemple la détection des états de terminaison et de divergence. L'analyse de cpn se fera à l'aide de deux méthodes: celle des marquages équivalents et celle du stubborn set. Nous appliquons ces deux méthodes de telle sorte que l'utilisation des réseaux de petri colores devienne superflue. En effet, nous donnons une partition saine et une sous-configuration stubborn qui servent à réduire le système de transitions. Nous donnons également un ensemble de propositions qui permettent de déduire des propriétés sur le programme d'acteurs à partir du système de transitions réduit

Paris:
Langue: Français
Collation: 169 p. ill. ;30 cm
Diplôme: Doctorat
Etablissement de soutenance: Paris, Université de Paris-Sud
Spécialité: Science
Index décimal 511.35 .Théorie de la récurrence (automates cellulaires, lambda-calcul, machines séquentielles, réseaux de Petri, théorie de la récursivité, théorie mathématique des automates, théorie mathématique des machines, travaux sur les machines de Turing)
Thème Mathématiques

Mots clés:
Acteurs
Méthode des marquages équivalents
Sémantique (linguistique)

Note: Bibliogr.pp.164-169