Modelling of Parallel Processes
Modellierung Paralleler Prozesse
6 LPunregelmäßigDEwird nicht mehr angeboten
Inhalte
- Prozesse und Synchronisation: das Prozeßkonzept, Ereignis- und Sperrsynchronisation, Synchronisationskonzepte; - Theorie der Petrinetze: Arten, Ausdruckskraft, Simulation, Reduktion, Einordnung in Ereignissysteme und die Bereichstheorie; - Bisimulation: Transitionssysteme, starke Bisimulation, starke Äquivalenz, schwache Bisimulation, Verhaltens-Äquivalenz; - Der Zugang von Olderog/Hoare: die Sprache, operationale Semantik, Inferenz-Regeln, operationale und denotationale Verlaufssemantik, Spezifikation und Verifikation, Readiness-Semantik, Programmsynthese; - Der Zugang von Milner: die Sprache, operationale Bisimulations-Semantik, Inferenzregeln, Verhaltens-Gleichheit, Verifikation; - Prozeß-Algebren, der Zugang von Bergstra/Klop: Termalgebra, metrische Vervollständigung, Lösbarkeit und Eindeutigkeit von Gleichungssystemen, eine Hierarchie von Algebren, Spezifikation und Verifikation, Bisimulationssemantik; - Axiomatik für Parallelverarbeitung und Nichtdeterminismus: Ordnungen und Operationen in unendlichen Prozessen, Axiome, Berechnungs-Algebren, Potenzbereiche
Lernziele
Die Studierenden sollen Modellierungsprinzipien und formale Modelle der Parallelverarbeitung verstehen und anwenden sowie Grenzen und Möglichkeiten einschätzen können. Es wird insbesondere das Abstraktionsvermögen und die kritische Bewertung von Ansätzen und Zugängen geübt.
Prüfungsleistung
Prüfungsgespräch benotet
Literatur (1)
- Wird zu Beginn ausgegeben
Bemerkungen
- Studiengang Informatik Diplom, Säule „Grundlagen der Informatik“, Niveaustufe 400 - Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 400
Quelle: Modulbeschreibung der BTU · abgerufen 18.10.2026Original