Beschreibungsmethoden

Zusammenfassung

Für die Beschreibung von Kommunikationsprotokollen werden unterschiedliche Methoden genutzt. Speziell in den 80er Jahren sind eine Vielzahl von Ansätzen untersucht worden, aus denen sich einige grundlegende Methoden herauskristallisiert haben, von denen einige wiederum als semantische Modelle für die Entwicklung formaler Beschreibungstechiken genutzt wurden. Bevor wir auf letztere zu sprechen kommen, sollen die wichtigsten Beschreibungsmethoden in diesem Kapitel vorgestellt werden. Wir beginnen mit einer kurzen Zusammenfassung der Anforderungen an die Dienst- und Protokollspezifikation. Danach wird die Notwendigkeit formaler Beschreibungen begründet. Im dritten Abschnitt werden die prinzipiellen Herangehensweisen an die Protokollbeschreibung diskutiert. Anschließend werden die wichtigsten Beschreibungsmethoden vorgestellt.