Contribution a la description formelle de protocoles

par Jean-Pierre Courtiat

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Diaz.

Soutenue en 1987

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    Presentation de deux approches complementaires fondees respectivement sur les reseaux de petri et sur le langage estelle. Dans la premiere approche, apres la presentation detaillee d'une methodologie de modelisation, l'accent est mis sur l'application des techniques d'analyse des reseaux de petri a la validation des protocoles. L'introduction de plusieurs modeles derives des reseaux de petri permet de faire progressivement le lien avec le langage estelle. Dans cette derniere approche, une premiere contribution est la definition d'une semantique formelle d'estelle. La deuxieme contribution est la mise en evidence de certaines limitations potentielles de la version actuelle d'estelle et la proposition d'extensions, dont un mecanisme de rendez-vous


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 241 P.
  • Annexes : 154 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : C-COU
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1987TOU30250
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.