Aktuelles

• Klausureinsicht: 24. August, 14-16 Uhr, Raum E0.3, Oettingenstr. 67

Informationen

• Materialien
  
• Termine
• Übungen
• Personen
  

Inhalt

In komplexen Systemen werden typischerweise eine Vielzahl von Prozessen gleichzeitig (bzw. quasi-gleichzeitig) ausgeführt. In dieser Vorlesung werden Methoden und Techniken zur Entwicklung paralleler Programme

besprochen.

 

Für die Spezifikation und den Entwurf paralleler Programme wird die auf endlichen Zustandsmaschinen beruhende Sprache FSP von Magee und Kramer verwendet. Damit können typische Phänomene und Eigenschaften, die bei der Programmierung paraller Programme auftreten, wie z.B. Prozess-Synchronisation, Sicherheits- und Lebendigkeits-Eigenschaften und Deadlocks, erfasst und analysiert werden. Zur Analyse werden Methoden des Model-Checking

eingesetzt.

 

Für die Implementierung paralleler Programme wird das Thread-Konzept von Java verwendet. Es werden methodische Richtlinien für die Überführung von Prozessmodellen in Java-Programme besprochen. Zur Modellierung der Implementierung paralleler Systeme wird die Unified Modeling Language UML verwendet.

Hörerkreis

Studierende mit Haupt- und Nebenfach Informatik

(nicht für den Bachelorstudiengang Informatik).

Benötigte Vorkenntnisse

Java (ohne Thread-Konzept) und UML.

Forum

Siehe www.die-informatiker.net.

Literatur

• Jeff Magee, Jeff Kramer: Concurrency: State Models and Java Programs, Wiley & Sons; Auflage: 2nd ed. (21. April 2006)
• Doug Lea: Concurrent Programming in Java: Design Principles and Patterns, Addison-Wesley Longman, Amsterdam; Auflage: 2 (7. Dezember 1999)

Nützliche Links

• FSP, Tools & mehr