Synthèse d'automates asynchrones et communicants

par Nicolas Baudru

Thèse de doctorat en Informatique et mathématiques

Sous la direction de Rémi Morin.


  • Résumé

    Les automates asynchrones constituent un modèle qui décrit explicitement le parallélisme des exécutions dans un système distribué à mémoires partagées. Au contraire, les id-automates décrivent l'ensemble des exécutions séquentielles du comportement d'un tel système. Nous avons élaboré une technique de dépliage inédite qui construit à partir d'un id-automate à un automate asynchrone sémantiquement équivalent à A de taille polynomiale à A. Cette construction améliore les complexités des constructions existantes. Les automates communicants (CFM) modélisent des systèmes distribués à passages de messages. Les protocoles de communication employés dans de tels systèmes peuvent être spécifiés au moyen de diagrammes de communication (MSCS). Nous caractérisons les ensembles de MSCS qui peuvent être implémentés en un CFM sans blocage et avec arrêt définitif. Enfin, nous explorons le formalisme des netcharts. Nous montrons entre autres que les modèles des netcharts et des CFMS sont équivalents.

  • Titre traduit

    Synthesis of asynchronous and communicating automata


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (176 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliographie p.171-174

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Aix-Marseille (Marseille. St Charles). Service commun de la documentation. Bibliothèque universitaire de sciences lettres et sciences humaines.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.