12451 - Modellierung Paralleler Prozesse Modulübersicht
| Modulnummer: | 12451 - Modul nicht mehr im Angebot ab SS 2010 |
| Modultitel: | Modellierung Paralleler Prozesse |
| Modelling of Parallel Processes | |
| Einrichtung: | Fakultät 1 - Mathematik, Naturwissenschaften und Informatik |
| Verantwortlich: |
|
| Lehr- und Prüfungssprache: | Deutsch |
| Dauer: | 1 Semester |
| Angebotsturnus: | sporadisch nach Ankündigung |
| Leistungspunkte: | 6 |
| 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. |
| 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 |
| Empfohlene Voraussetzungen: | keine |
| Zwingende Voraussetzungen: | keine |
| Lehrformen und Arbeitsumfang: |
|
| Unterrichtsmaterialien und Literaturhinweise: | Wird zu Beginn ausgegeben |
| Modulprüfung: | Keine Angabe - Angabe ab Wintersemester 2016/17 erforderlich! |
| Prüfungsleistung/en für Modulprüfung: | Prüfungsgespräch benotet |
| Bewertung der Modulprüfung: | Prüfungsleistung - benotet |
| Teilnehmerbeschränkung: | keine |
| Zuordnung zu Studiengängen: |
|
| Bemerkungen: | - Studiengang Informatik Diplom, Säule „Grundlagen der Informatik“, Niveaustufe 400 - Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 400 |
| Veranstaltungen zum Modul: | keine |
| Veranstaltungen im aktuellen Semester: |
|