SS 2014: Modellierung nebenläufiger Systeme

Inhalt und Lernziele

Nebenläufige Systeme - von denen verteilte Systeme ein Spezialfall sind - können von einem Benutzer oder Programmierer oft nur schwer überschaut werden. Bereits relativ kleine Systeme, die aus mehreren interagierenden Komponenten bestehen, können ein sehr komplexes Verhalten haben. Außerdem stößt man auf Phänomene und Probleme (Deadlocks, wechselseitiger Ausschluß), die bei sequentiellen Systemen in dieser Form nicht auftreten können. Daher werden in dieser Vorlesung entsprechende Modellierungstechniken und Analysemethoden vermittelt, die zum besseren Verständnis solcher Systeme führen. Es werden voraussichtlich folgende Themen behandelt:

  • Transitionssysteme
  • Verhaltensäquivalenzen: Sprachäquivalenz, Bisimulation
  • (Sicherheits- und Lebendigkeitseigenschaften)
  • (Büchi-Automaten)
  • (Temporale Logik, LTL-Model-Checking)
  • Prozesskalküle - CCS
  • Petri-Netze (Partialordnungstechniken)
  • Graphtransformationssysteme

Hinweise

Diese Vorlesung kann von Studierenden verschiedener Studiengänge gehört werden. Insbesondere handelt es sich dabei um:

  • Studierende im Duisburger Master-Studiengang "Angewandte Informatik (Ingenieur- und Medieninformatik)"

  • Studierende im Master-Studiengang "International Studies in Engineering" (Computer Engineering)

  • Studierende mit Nebenfach Informatik

Literatur

  • R. Milner: Communication and Concurrency. Prentice Hall, 1989.
  • W.J. Fokkink: Introduction to Process Algebra. Springer, 2000.
  • Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen, Jiri Srba: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, 2007.
  • Edmund M. Clarke, Orna Grumberg, Doron A. Peled: Model Checking. MIT Press, 2000.
  • W. Reisig: Petrinetze. Springer, 1985. (Eine neuere Version ist hier verfügbar.)
  • Christel Baier, Joost-Pieter Katoen: Principles of Model Checking. MIT Press, 2008.
  • Grzegorz Rozenberg: Handbook of Graph Grammars and Computing by Graph Transformation, Vol.1: Foundations, World Scientific, 1997

Elektronisch verfügbare Literatur:

Tools

Folgende Werkzeuge werden in der Vorlesung eingesetzt:

Termine

Vorlesung

  • Mo, 10:15–11:45, LE 120
  • Do, 12:15-13:45, LE 120

Übung

  • Mo, 10:15–11:45, LE 120
  • Die weiteren Übungstermine sind: 26.05., 16.06., 30.06. und 14.07. Bitte beachten Sie, dass am 09.06. keine Übung stattfinden wird, da es sich um einen Feiertag handelt.

Die erste Vorlesung findet am Donnerstag, den 10.04.2014 statt.

Prüfungstermine

Die mündlichen Prüfungen im Sommersemester finden am 7. und 8.3.2016 statt. Ab sofort liegen im Sekretariat LF 227 Terminlisten zum Eintragen aus.

Links

Die Folien werden ähnlich zu den Folien im Sommersemester 2012 sein. Sie sind von der Webseite der letztjährigen Vorlesung erhältlich. Das gleiche gilt für die zur Verfügung gestellten Notizen. 

Aktuelles

no news in this list.

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin