Entwurf

Zusammenfassung

Der Protokollentwicklungsprozess, wie er im vorangegangenen Abschnitt vorgestellt wurde, unterscheidet mehrere Entwurfsphasen: den Dienst-, den Protokoll- und den Implementierungsentwurf. Obwohl diese Phasen im Einzelnen wichtige und schöpferische Schritte der Protokollentwicklung darstellen, wird der Entwurfsproblematik in der Literatur relativ wenig Aufmerksamkeit gewidmet. Zwar führen viele Veröffentlichungen das Wort Entwurf in der Überschrift, sie widmen sich aber meistens mehr der Spezifikation als dem eigentlichen Entwurf. Das erklärt sich vor allem daraus, dass Protokolle heutzutage in der überwiegenden Mehrheit immer noch empirisch entworfen werden und weniger unter Nutzung systematischer Entwurfsmethoden. Für den Protokollentwurf existieren im Gegensatz zu den anderen Entwicklungsphasen keine etablierten Methoden und Techniken. Wir beschränken uns deshalb in diesem Kapitel auf eine Übersicht interessanter Ansätze zum Protokollentwurf aus der Literatur. Wir stellen zuerst Ansätze zum systematischen Protokollentwurf vor. Danach diskutieren wir Aspekte der Entwicklung bzw. Ableitung formaler Protokollspezifikationen. Abschließend gehen wir auf Methoden ein, Leistungsverhalten des Entwurfs auf der Basis der formalen Beschreibungen zu bewerten.