Modellierung verteilter Systeme

Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

Autori

• Peter Ochsenschläger

Parametri

• 292 pagine
• 11 ore di lettura

• Computer, IT, programmazione

Maggiori informazioni sul libro

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

Lingua: Tedesco

Pubblicato: 1995

(In brossura)