Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen: Programm Angewandte Informatik

1 Einleitung.- 2 Unbeschriftete Netze.- 2.1 Netze ohne Verbots- und Abräumkanten.- 2.2 Netze mit Verbotskanten.- 2.3 Netze mit Abräumkanten.- 2.4 Graphische Darstellung von Netzen.- 2.5 Erreichbarkeitsgraphen.- 2.6 Netzstrukturen.- 3 Ein Modell zur Flußkontrolle.- 4 Auf- und Abbau von Verbindungen.- 4.1 Protokollstrukturen.- 4.2 Kompositon des Protokolls aus Teilstrukturen.- 4.3 Analyse des Protokolls.- 4.4 Anbindung der Kooperationspartner an die Protokollinstanzen.- 4.5 Kommunikation zwischen Dienstbenutzer und Diensterbringer.- 5 Produktnetze.- 5.1 Beispiel.- 5.2 Mengen und Funktionen.- 5.3 Markierungen.- 5.4 Beschriftung.- 5.5 Interpretationen.- 5.6 Schaltbedingung.- 5.7 Schaltregel.- 6 Beispiele.- 7 Ausdrucksstärke der Produktnetze.- 8 Das Alternating Bit Protokoll.- 8.1 Zu erbringender Dienst.- 8.2 Benutzter Dienst.- 8.3 Definition des Protokolls.- 9 Das ISDN-D-Kanalprotokoll.- 9.1 Lage des ISDN-D-Kanalprotokolls.- 9.2 Elemente des ISDN-D-Kanalprotokolls.- 9.3 Ein Produktnetzmodell.- 9.4 Anmerkungen zur Analyse.- 10 Zählermodell und Synchronisation.- 10.1 Formalisierung der Aufgabe.- 10.2 Endekriterien und Anmerkungen zur Analyse.- 10.3 Modifikation des Modells.- 10.4 Das unterlagerte Kommunikationsmedium.- 10.5 Spezifikation der Protokollinstanzen.- 11 Schaltfolgenhomomorphismen.- 12 Reduzierte Erreichbarkeitsgraphen.- 13 Deadlocksprachen.- 14 Die Produktnetzmaschine.- 15 Schlichte Homomorphismen.- Sachwortverzeichnis.