Funktionelle Analyse von Kommunikationsprotokollen [Paperback]

1. Einleitung.- 2. Systeme kommunizierender Instanzen.- 2.1 Reale Systeme.- 2.2 Systemstruktur.- 2.2.1 Grundstruktur.- 2.2.2 Ablauforientierte Sicht.- 2.2.3 Systemformen.- 2.3 Instanz.- 2.3.1 Kommunikationsereignisse.- 2.3.2 Kommunikationsverhalten.- 2.3.3 Verhaltensgleichheit.- 2.3.4 Sprache.- 2.3.5 Akzeptor.- 2.4 Kopplung.- 2.4.1 ?bereinkunft-Prinzip.- 2.4.2 ?bertragung-Prinzip.- 2.5 Systemablauf.- 2.5.1 Geschlossenes System.- 2.5.2 Offenes System.- 2.5.3 Systemzustand.- 2.5.4 Erreichbarkeitsgraph.- 2.5.5 Ersatzinstanz.- 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.1.1 Vergleich.- 4.1.2 Allgemeine Kriterien.- 4.1.2.1 Beschr?nktheit und Sicherheit.- 4.1.2.2 Lebendigkeit.- 4.1.2.3 Fairness.- 4.1.2.4 Relevanz von Spezifikationsaussagen.- 4.1.3 Spezifische Kriterien.- 4.1.4 Inspektion.- 4.1.4.1 Inspektionsziele.- 4.1.4.2 Projektionen des Erreichbarkeitsgraphen.- 4.2 Protokoll-Pr?fung.- 4.2.1 Abstraktion.- 4.2.1.1 Protokollinstanzen und Dienstzugangspunkte.- 4.2.1.2 Rollen.- 4.2.1.3 Phasenstruktur.- 4.2.1.4 Kontrollparameter.- 4.2.1.5 Instanzeninterne Ablaufsteuerung.- 4.2.1.6 Nutzdaten.- 4.2.1.7 Direkte Kopplung.- 4.2.1.8 Zeit?berwachungsma?nahmen.- 4.2.2 Ma?nahmen.- 4.2.2.1 Dienst?berpr?fung.- 4.2.2.2 Protokoll?berpr?fung.- 4.2.2.3 Protokollverifikation.- 4.2.2.4 Dienstableitung.- 5 Spezifikationstechniken.- 5.1 ?bersicht und Klassifikation.- 5.1.1 Modellierungskonzept.- 5.1.2 Spezifikationsform.- 5.1.3 Logische Techniken.- 5.1.4 Assertionstechniken.- 5.2 Petri-Netze.- 5.2.1 Modell.- 5.2.2 Spezifikation.- 5.2.3 Analyse.- 5.3 Algebraische Spezifikationen.- 5.3.1 CCS-Grundmodell.- 5.3.2 Spezifikation.- 5.3.3 Analyse.- 5.3.4 Nachrichtenaustausch.- 5.3.5 Varianten.- 5.4 Erweiterte endliche Automaten.- 5.4.1 Modell.- 5.4.2 Spezifikation.- 5.4.3 Analyse.- 5.4.4 Erweiterungen.- 6. Strukturierter Erreichbarkeitsgraph.- 6.1 Grundkonzept.- 6.2 Beispiel.- 6.3 Auló"