Entwicklung korrekter Systeme
Modul "Kommunizierende und mobile Systeme"
1 Organisatorisches
- Form: 3 VL + 1 Ü (6 ECTS-Punkte)
- Vorlesung: E.-R. Olderog
-
Dienstag 10-12, A14 Hörsaal 3, Beginn: 15.10.2002
Mittwoch 9-10, A5 1-160 - Übungen: A. Schäfer
- Dienstag 14-15 und 15-16, A4 2-221
2 Ziel
Einführung in Robin Milners Kalkül der kommunizierenden Systeme und den pi-Kalkül.
3 Inhalt
Kommunikation ist ein grundlegendes Konzept in der Informatik, das sowohl zwischen einzelnen Computern in einem Netzwerk als auch zwischen Komponenten innerhalb eines Computers auftreten kann. Im Mittelpunkt der Vorlesung steht Robin Milners pi-Kalkül, der eine neuartige Modellierung von Kommunikation ermöglicht, die den Ort der Kommunikation berücksichtigt.
Mit dem pi-Kalkül lässt sich die Veränderung von Daten in einem Computer ebenso beschreiben wie das Versenden von Nachrichten oder gar Programmen über ein Netzwerk wie das Internet. Es können auch Netwerke beschrieben werden, die sich rekonfigurieren. Dieses wird am Beispiel von Mobiltelefonen, Schedulern, Verkaufsautomaten, Datenstrukturen, Kommunikationsprotokollen und Objekten der objekt-orientierten Programmierung gezeigt.
Hinter diesen Anwendungen steht die Theorie des pi-Kalküls, die auf einer operationellen Semantik und einem Äquivalenzbegriff von Verhalten beruht. In der Vorlesung wird diese Theorie schrittweise erklärt.
4 Literatur
- Robin Milner. Communicating and mobile systems: the pi-calculus. Cambridge University Press, 1999.
- D. Sangiorgi and D. Walker. The pi-calculus: A Theory of Mobile Systems, Cambridge University Press, 2001
5 Übungsaufgaben
Hier wird die Möglichkeit geboten, die aktuellen Übungsblätter zu dieser Lehrveranstaltung im Postscript- oder DVI-Format abzurufen. Wir bitten jedoch im Interesse aller, die Übungsblätter nicht gedankenlos auszudrucken, insbesondere nicht auf den Laserdruckern der ARBI. Photokopien sind unter Berücksichtigung aller Kosten in der Regel günstiger als Laserdrucke!
Dieses Angebot richtet sich hauptsächlich an diejenigen, die auf anderem Wege kein Exemplar der Übungsblätter erhalten konnten, bzw. die die Aufgaben während der Bearbeitung am Bildschirm betrachten möchten.
6 eLearning
Aktuelle Hinweise, Übungsaufgaben und diverse andere Informationen erhalten Sie auch über das Blackboard-Lernmanagementsystem, dass Sie unter
erreichen.
