Funktionelle Analyse von Kommunikationsprotokollen

1. Einleitung.- 2. Systeme kommunizierender Instanzen.- 2.1 Reale Systeme.- 2.2 Systemstruktur.- 2.3 Instanz.- 2.4 Kopplung.- 2.5 Systemablauf.- 3. Dienste und Protokolle.- 3.1 Protokolle.- 3.2 Dienste.- 3.3 Kommunikationsdienste.- 3.4 Kommunikationsprotokolle.- 4. Analysemaßnahmen.- 4.1 System-Prüfung.- 4.2 Protokoll-Prüfung.- 5 Spezifikationstechniken.- 5.1 Übersicht und Klassifikation.- 5.2 Petri-Netze.- 5.3 Algebraische Spezifikationen.- 5.4 Erweiterte endliche Automaten.- 6. Strukturierter Erreichbarkeitsgraph.- 6.1 Grundkonzept.- 6.2 Beispiel.- 6.3 Auswertung.- 6.4 Nebenläufigkeitsmuster.- 7. Umgebungsmodelle.- 7.1 Beispiel.- 7.2 Umgebungsbezogene reduzierte Ersatzinstanz.- 7.3 Umgebungsverträglichkeit.- 8. Zusammenfassung.- Literatur.- Liste der Begriffe.- Liste der Definitionen.- Liste der Abbildungen.