Das Buch führt in die Grundlagen des Protocol Engineerings ein. Es stellt die Funktionsweise von Kommunikationsprotokollen, die Methoden und Techniken für ihre Beschreibung sowie die Phasen der Protokollentwicklung vor. Es werden sowohl praktische als auch theoretische Aspekte des Protocol Engineerings untersucht.
Inhaltsverzeichnis
I Prinzip der Kommunikationsprotokolle.- 1 Dienste.- 2 Protokolle.- 3 Schichten.- 4 Kommunikationsarchitekturen.- 5 Protokollfunktionen.- 6 Fallbeispiel: Der Internet-Protokollstack.- II Beschreibung von Kommunikationsprotokollen.- 7 Beschreibungsmethoden.- 8 Formale Beschreibungstechniken.- III Entwicklung von Kommunikationsprotokollen.- 9 Entwicklungsphasen.- 10 Entwurf.- 11 Verifikation.- 12 Implementierung.- 13 Test.- 14 Werkzeuge.- Ausblick.- Literatur.- Abkürzungen.
