Modellierung nebenläufiger Systeme (SS 2020)

Vorlesungsablauf

Die Vorlesung wird dieses Sommersemester aufgrund der Covid-19-Situation zunächst nicht als Präsenzveranstaltung stattfinden, sondern zunächst online. Aktuelle Informationen bzgl. des Vorlesungs-und Übungsbetriebs entnehmen Sie dieser Vorlesungsseite oder über einen zusätzlichen Moodlekurs (für den Sie sich dann bitte ohne Schlüssel anmelden). Die ersten Materialien werden voraussichtlich bereits in der Woche ab dem 6.4. bereitgestellt, es wird aber niemandem, der erst am 20.4. einsteigt, ein Nachteil entstehen.

Wir werden wöchentlich Videos von der Vorlesung bereitstellen. Ihre Fragen zum Stoff können im Moodle-Forum oder per Mail gestellt werden und werden von uns beantwortet.

Dozent:
Prof. Dr. Barbara König

Übungsleitung:

Christina Mika-Michalski

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
  • Prozesskalküle - CCS
  • Petri-Netze (Partialordnungstechniken)
  • Graphtransformationssysteme

Sehen Sie auch unter der Webseite SS 2014.

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:

Termine:

Vorlesung

Vorerst wöchentliche Video-Uploads

Übungen

Alle zwei Wochen wird ein Übungsblatt bereitgestellt (siehe Moodle)

Prüfungen

Die mündlichen Prüfungen finden am 23. und 24. Juli 2020 statt. Bitte melden Sie sich beim Prüfungsamt im Anmeldezeitraum (15.6.-26.6.) an.

Folien

Hinweis: s/w = schwarz-weiß

Folien, aufgeteilt nach Kapiteln

Notizen

Skript

Moodle