---

Spezialvorlesung (Nr. 042155, 2 SWS)

Verteilte Algorithmen I  (VA1)

Zeit und Ort:

Dienstag, 10:15-12:00 Uhr, HG I, HS 2, Campus Süd

Dozent:

 Heiko Krumm

Inhalt:

Verteilte Algorithmen werden von zueinander entfernten Stationen zur Lösung eines gemeinsamen Problems ausgeführt. Die Stationen arbeiten nebenläufig und können nur mittels Telekommunikation kommunizieren. Deshalb ist Funktionsweise der Algorithmen in der Regel schwer zu verstehen. Beim Entwurf stellen sich gerne Entwurfsfehler ein. Die Vorlesung soll vor diesem Hintergrund die wesentlichen Funktionsprinzipien verteilter Algorithmen sowie praktikable Verfahren zur formalen funktionellen Spezifikation, Modellierung und Verifikation vermitteln.
Es werden folgende Themen behandelt:
- Prinzipien verteilter Algorithmen,
- Beispielalgorithmen,
- formale Modellierung verteilter Systeme als Zustandstransitionssysteme,
- Korrektheit, Safety und Liveness,
- Korrektheitsbeweise,
- Spezifikation mit TLA und modulare Spezifikationen.
Die Vorlesung wird mit der Vorlesung "Verteilte Algorithmen II" fortgesetzt

Hörer:

Kerninformatiker und Ingenieurinformatiker nach dem Vordiplom

Voraussetzungen:

Vordiplom, Vorlesung 'Rechnernetze und verteilte Systeme'

Literatur:

Literaturhinweise werden im Verlauf der Vorlesung gegeben, Folien zur Vorlesung sollen vorlesungsbegleitend per Kopie in der Fachbereichsbibliothek verfügbar werden. Es finden Übungen statt!

Es gibt auch erste Anfänge eines WWW-Skripts:

 http://ls4-www.cs.uni-dortmund.de/RVS/MA/hk/OrdnerVertAlgo/VertAlgo.html

Übungen zu Verteilte Algorithmen I (VA 1)

In den Übungen zur Spezialvorlesung Verteilte Algorithmen I werden Beispiele zu den Vorlesungsinhalten behandelt. Insbesondere soll geübt werden, wie verteilte Abläufe modelliert werden können, und wie man an Hand der Modelle formal funktionelle Eigenschaften nachweist.
Die Übungen werden zur Vertiefung der Vorlesung empfohlen.

---

Projektgruppe (Nr. 046475, 8 SWS)

PG 475:
Management kooperierender Web-Services

Dozenten:

Heiko Krumm, Peter Herrmann

Hörer:

Die Projektgruppe findet in den beiden Semestern SS05 und WS05/06 statt.
Die Teilnehmer liegen bereits fest.