Funktionelle Analyse von Kommunikationsprotokollen

Universitiit Karlsruhe bei der Entwicklung komplexer verteilter Systeme und ent­ wicklungsunterstiitzender Werkzeuge gewinnen konnte. Der Text wurde von der Fakultiit fUr Informatik der Universitiit Karlsruhe im Jull 1989 als Habilitationsschrift anerkannt.

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.