Heiko Krumm

Funktionelle Analyse von Kommunikationsprotokollen (eBook, PDF)

• Format: PDF

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 122
• Erscheinungstermin: 8. März 2013
• Deutsch
• ISBN-13: 9783642842467
• Artikelnr.: 53386347

Inhaltsangabe

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.