inf453 - Kombination von Spezifikationstechniken (Vollständige Modulbeschreibung)
Modulbezeichnung | Kombination von Spezifikationstechniken |
Modulkürzel | inf453 |
Kreditpunkte | 6.0 KP |
Workload | 180 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | |
Kompetenzziele | Einführung in die Spezifikationssprachen Z für Daten, CSP für Prozesse und deren Kombination CSP-OZ für reaktive Systeme mit Daten- und Prozessanteilen.
Methodenkompetenzen
Sozialkompetenzen
Selbstkompetenzen
|
Modulinhalte | Der Kurs behandelt einen Forschungstrend in den formalen Methoden, die Kombination und Integration verschiedener Spezifikationsmethoden. Der Schwerpunkt liegt auf einer konkreten Kombination CSP-OZ der Spezifikationstechniken CSP (Communicating Sequential Processes) für Prozesse und Z bzw. Object-Z für Daten. Reaktive Systeme werden durch CSP-OZ beschrieben. Zur Vorbereitung werden die Spezifikationssprachen Z und CSP beschrieben, gefolgt von der Kombination CSP-OZ mit ihrer prozessorientierten Semantik. Die Konzepte der Verfeinerung und Vererbung sowie die Möglichkeit der automatischen Verifikation einer Teilsprache von CSP-OZ mit dem FDR Model Checker für CSP werden diskutiert. Schließlich werden Möglichkeiten der Erweiterung von CSP-OZ für die Spezifikation zeitkritischer Systeme erläutert. Themen:
|
Literaturempfehlungen | Essential:
Recommended:
|
Links | |
Unterrichtssprache | Deutsch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | unregelmäßig |
Aufnahmekapazität Modul | unbegrenzt |
Lehr-/Lernform | V + Ü |
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 mündliche Prüfung. |