Funktionelle Analyse von Kommunikationsprotokollen

Inhaltsverzeichnis

• 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.