|
Inhalt der Vorlesung:
-
Nebenläufige, verteilte, kooperierende Systeme
-
Grundbegriffe
-
Wesentliche Eigenschaften vernetzter Systeme
-
Ein einführendes Beispiel: Das "Alternating-Bit"-Protokoll
-
Fundamentale Fragen
-
Zustandssicht: Systeme als Zustandsmaschinen
-
Zustandsübergangssysteme
-
Logische Modellierung von Zustandsmaschinen
-
Zustandsmaschinen mit Eingabe und Ausgabe
-
Objekte als Zustandsmaschinen
-
Nebenläufigkeit und Parallelität
-
Parallele Progamme mit gemeinsamen Variablen
-
Schnittstellensicht: Funktionale Beschreibung von Systemkomponenten
-
Syntaktische Schnittstellen: Kanäle und gemeinsame Variablen
-
Ströme
-
Stromverarbeitende Funktionen
-
Objekte als stromverarbeitende Funktionen
-
Spezifikation von Strömen
-
Spezifikation stromverarbeitender Funktionen
-
Systeme mit benannten Kanälen
-
Prädikative Spezifikation von Kommunikationsanweisungen
-
Von Zustandsmodellen zu stromverarbeitenden Funktionen
-
Schnittstellen für Zustandsmaschinen
-
Struktur- und Verteilungssicht
-
Datenflußnetze
-
Kommunikationsnetze
-
Kompositionsformen
-
Parallele Komposition von zuweisungsorientierten interaktiven Programmen
-
Parallele Komposition von Programmen mit gemeinsamen Variablen
-
Ablaufsicht: Prozesse als Abläufe verteilter Systeme
-
Nebenläufige Prozesse
-
Sequentielle Prozesse als Ströme
-
Abläufe als Zustandsfolgen und temporale Logik
-
Koordination, gegenseitiger Ausschluß
-
Zusammenhang zwischen stromverarbeitenden Funktionen und Abläufen
-
Abläufe verteilter kommunizierender Systeme
-
Von der Zustands- zur Ablaufsicht
-
Verfeinerung von Systemen
-
Nachrichtensynchrone Systeme
-
Zeitmodellierung
Katharina
Spies, 18.02.2005
|
