Veranstaltungsarten (SWS)
Vorlesung: 3 │ Übung: 1 │ Praktikum: 0 │ Seminar: 0
Prüfungsnummer: ZKD 50001
Lehrform:
Sprache: Deutsch
Turnus: SS
ECTS: 6
Prüfungsleistung Klausur (120 min.)
Mündliche Prüfung (30 min.)
zugeordnete Studiengänge
zugeordnete Personen
zugeordnete Module
Informationen
Beschreibung: Nebenläufige Systeme – von denen verteilte Systeme ein Spezialfall sind – können von einem Benutzer oft schwer überschaut werden. Bereits kleine Beschreibungen oder Programme können unvorhersehbares Verhalten hervorrufen. Außerdem stößt man dabei auf Probleme (Deadlocks, wechselseitiger Ausschluss), die bei sequentiellen Systemen nicht auftreten können. Daher werden in dieser Vorlesung entsprechende Modellierungstechniken und Analysemethoden vermittelt, die zum besseren Verständnis solcher Systeme führen.
Inhalte im Einzelnen:
- Transitionssysteme
- Verhaltensäquivalenzen (Trace-Äquivalenz, Bisimulation)
- Prozesskalküle (CCS, pi-Kalkül)
- Petri-Netze (mit Partialordnungstechniken)
- Graphtransformationssysteme
Lernziele: Die Studierenden sollen Kenntnisse über verschiedene Modellierungstechniken für nebenläufige Systeme erwerben. Insbesondere sollen sie Prozesskalküle, Petri-Netze und Graphtransformationssysteme und ihre Einsatzgebiete kennenlernen. Neben den Modellen selbst sollen die Studierenden auch Analyse- und Spezifikationstechniken, wie beispielsweise Verhaltensäquivalenzen und Partialordnungstechniken anwenden können und ihre Eignung abschätzen lernen. Insbesondere soll in dieser Veranstaltung der Umgang mit formalen Beschreibungsmethoden geübt werden.
Literatur: - R. Milner: Communication and Concurrency. Prentice Hall, 1989.
- W.J. Fokkink (2000): Introduction to Process Algebra, Springer, 2000.
- Aceto, Ingolfsdottir, Larsen, Srba: Reactive Systems: Modelling, Specification and Verification, Cambridge University Press, 2007
- Reisig: Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien (Vieweg+Teubner, 2010).
Vorleistung:
Infolink:
Bemerkung:
Description: Concurrent system - of which distributed systems are a special case - are often hard to understand from
a user‘s perspective. Already small specifications or programs can lead to unforseeable behaviours.
Furthermore problems (such as deadlocks, mutual exclusion) arise which do not occur in sequential
systems. Therefore this course will teach modelling and analysis techniques which lead to a better
understanding of such systems.
Table of contents:
- transition systems
- behavioural equivalences (trace equivalence, bisimulation)
- process calculi (CCS, pi-calculus)
- Petri nets (with partial order techniques)
- graph transformation systems
Learning Targets: The students will acquire knowledge about different modelling techniques for concurrent systems. Especially they will learn about process calculi, Petri nets and graph transformation systems and the areas where such models are applied. Apart from the models and modelling languages the students will apply analysis and specification techniques, such as behavioural equivalences and partial order techniques and learn to judge their adequacy and appropriateness. One of the main aims is to practice the use of formal modelling languages.
Literature: - R. Milner: Communication and Concurrency. Prentice Hall, 1989.
- W.J. Fokkink (2000): Introduction to Process Algebra, Springer, 2000.
- Aceto, Ingolfsdottir, Larsen, Srba: Reactive Systems: Modelling, Specification and Verification, Cambridge University Press, 2007
- Reisig: Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien (Vieweg+Teubner, 2010).
Pre-Qualifications:
Info Link:
Notice: