Systèmes de transitions étiquetés causaux : une nouvelle approche pour la description du comportement événementiel de systèmes concurrents
Auteur / Autrice : | Rosvelter.J Coelho da Costa |
Direction : | J.-P. COURTIAT |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1993 |
Etablissement(s) : | Toulouse 3 |
Résumé
Nous proposons un modele de systemes concurrents, denomme systemes de transitions etiquetes causaux, qui presente le meme degre de simplicite que les systemes de transitions etiquetes conventionnels tout en permettant que la concurrence entre evenements soit exprimee par independance causale. Le comportement d'un systeme concurrent est modelise par un systeme de transitions dans lequel la causalite entre evenements est exprimee au moyen d'un mecanisme d'etiquetage des transitions similaire a l'abstraction de variables dans la notation lambda. Cette approche permet une representation elegante et intuitive du comportement d'un systeme concurrent. Plusieurs concepts et resultats developpes pour les systemes de transitions etiquetes conventionnels sont directement etendus aux systemes de transitions etiquetes causaux. En particulier, nous presentons une caracterisation du concept de bissimilarite dans le cadre de la semantique de causalite qui preserve plusieurs proprietes caracteristiques du cas conventionnel. Nous proposons egalement une semantique operationnelle de ccs en termes de systemes de transitions etiquetes causaux ainsi qu'un certain nombre d'autres resultats qui permettent de montrer tout l'interet du modele propose par rapport a d'autres modeles de causalite introduits recemment dans la litterature