Teilprotokolle
Teilprotokolle sind eigenständige Teilaspekte eines größeren Kommunikationsprotokolls, die bestimmten Aufgaben und Rollen zugeordnet sind. Sie spezifizieren Nachrichten, Zustände und Übergänge, um Teilfunktionen isoliert zu modellieren oder zu implementieren. Sie sind abstrahierte oder konkrete Ausschnitte, die im Kontext des Hauptprotokolls operieren.
Der Zweck von Teilprotokollen liegt in der Vereinfachung von Design, Implementierung, Verifikation und Tests. Sie fördern
Struktur und Umfang von Teilprotokollen umfassen üblicherweise Rollen, ein Zustandsdiagramm, zulässige Nachrichten sowie Vorbedingungen und Nachbedingungen.
Beispiele finden sich in vielen Protokollfamilien. Im TLS-Umfeld lässt sich der Handshake als eigenständiges Teilprotokoll betrachten;
Verifikation und Komposition von Teilprotokollen erfordern sorgfältige Schnittstellenspezifikationen. Teilprotokolle lassen sich oft separat verifizieren; bei der
Designüberlegungen betreffen insbesondere Konsistenz von Nachrichtenformaten, Reihenfolge- und Zeitannahmen, Fehlerbehandlung, Versionierung, Sicherheitsaspekte sowie klare Verantwortlichkeiten und