inf454 - Kommunizierende und mobile Systeme (Vollständige Modulbeschreibung)
Modulbezeichnung | Kommunizierende und mobile Systeme |
Modulkürzel | inf454 |
Kreditpunkte | 6.0 KP |
Workload | 180 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | Keine Teilnehmervoraussetzungen |
Kompetenzziele | Einführung in Milners Kalkül der kommunizierenden Systeme (CCS) und den pi-Kalkül.
Methodenkompetenzen
Sozialkompetenzen
Selbstkompetenzen
|
Modulinhalte | 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 π-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 Netzwerke 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.
|
Literaturempfehlungen |
|
Links | |
Unterrichtsprachen | Deutsch, Englisch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | unregelmäßig |
Aufnahmekapazität Modul | unbegrenzt |
Lehr-/Lernform | V + Ü |
Vorkenntnisse | Theoretische Informatik II |
Lehrveranstaltungsform | Kommentar | SWS | Angebotsrhythmus | Workload Präsenz |
---|---|---|---|---|
Vorlesung | 3 | WiSe | 42 | |
Übung | 1 | WiSe | 14 | |
Präsenzzeit Modul insgesamt | 56 h |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | am Ende der Vorlesungszeit |
Fachpraktische Übungen und Klausur oder Fachpraktische Übungen und mündliche Prüfung. |