Protokolle

In dem vorangegangenen Kapitel wurde deutlich, daß der Schlüssel zu übersichtlich strukturierten Netzwerkarchitekturen in der Definition einer Hierarchie von Protokollen liegt. Methoden zur präzisen Protokollspezifikation sowie systematische Techniken zur Umsetzung solcher Spezifikationen in geeignete Implementierungen durch Protokollmaschinen kommt deshalb eine besondere Bedeutung zu. In jüngster Zeit wird deshalb intensiv an formalen Methoden zur Modellierung von Protokollen geforscht. Gute Übersichten werden in [6.1, 6.2, 6.3] gegeben. Die älteste, vorwiegend informelle Form der Protokollspezifikation ist das Time-Line-Diagramm, das sich vor allem für die Definition von zeichenorientierten Halb-Duplex-Leitungsprotokollen bewährt hat [6.4]. In neueren Vorschlägen werden verschiedene Varianten von State-Machine-Modellen, Petrinet-zen, Formalen Sprachen, Methoden der Spezifikation abstrakter Datentypen und Mischungen dieser Methoden zur Protokollspezifikation erprobt (siehe z. B. [6.5]).