Protocoles de communication et grammaires attribuées - Université de Lorraine Access content directly
Theses Year : 1993

Protocoles de communication et grammaires attribuées

Laurent Andrey
  • Function : Author
  • PersonId : 755690
  • IdRef : 19263139X

Abstract

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
No file

Dates and versions

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

Identifiers

  • HAL Id : tel-01753771 , version 1

Intranet access

Cite

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

Share

Gmail Mastodon Facebook X LinkedIn More