Protocoles de communication et grammaires attribuées - Université de Lorraine Accéder directement au contenu
Thèse Année : 1993

Protocoles de communication et grammaires attribuées

Laurent Andrey
  • Fonction : Auteur
  • PersonId : 755690
  • IdRef : 19263139X

Résumé

Not available
Le but de l'étude est d'examiner l'adéquation des grammaires attribuées pour décrire formellement des protocoles de communication et pour en dériver quasi-automatiquement une implantation d'une entité de protocole. Les protocoles considérés sont ceux des couches basses du modèle OSI, et l'utilité de telles descriptions formelles est placée dans le contexte général de l'ingénierie des protocoles. La contribution personnelle consiste en une proposition du formalisme GAPP (grammaires attribuées pour les protocoles) basée sur les travaux existants en intégrant des idées issues des applications traditionnelles des grammaires attribuées en compilation. Dans GAPP, les règles de production servent à décrire la partie contrôle d'un protocole. Les terminaux représentent les interactions (primitives de service, unîtes de donnée, time-out) qu'échange le protocole avec l'extérieur. Les attributs permettent de relier les interactions entre elles, et d'incorporer le contexte dans la grammaire par l'intermédiaire de gardes sur les productions. L'exemple normalisé abracadabra est traité. Des extensions comme le multiplexage sont abordées
Fichier non déposé

Dates et versions

tel-01753771 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01753771 , version 1

Accès intranet

Citer

Laurent Andrey. Protocoles de communication et grammaires attribuées. Autre. Université Henri Poincaré - Nancy 1, 1993. Français. ⟨NNT : 1993NAN10083⟩. ⟨tel-01753771⟩
15 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More