Seminar zu nebenläufigen Systemen

Inhalt der Lehrveranstaltung:

Aktuelle Forschungsbeiträge aus den Bereich "Modellierung, Simulation, Synthese und Verifikation nebenläufiger Systeme"

Vorkenntnis für die Lehrveranstaltung:

Vorlesung Halbordnungssemantik von Petrinetzen (SS 2008, SS 2009) oder Halbordnungssemantik paralleler Systeme (SS 2010), Vorlesungen Einführung in die theoretische Informatik, Logik für Informatiker

Literatur zur Lehrveranstaltung:

Formal Languages and Concurrent Behaviours

Vortags-Themen

Das Thema dieses Seminars ist "Formale Sprachen und nebenläufiges Verhalten". Oben angegeben Literatur ein Tutorial zu diesem Thema von Jetty Kleijn und Maciej Koutny (zwei ausgewiesenen Experten auf diesem Gebiet) von der University of Newcastle upon Tyne (natürlich in englischer Sprache verfasst). Die einzelnen Vortragsthemen betreffen jeweils Abschnitte aus diesem Text. Einen Überblick über die Thematik gibt die folgende Zusammenfassung des Textes:

This is a tutorial based on a course delivered as part of the International PhD School in Formal Languages and Applications located at the Rovira i Virgili University in Tarragona, Spain. It is focused on an application of formal language theory to represent behaviours of concurrent systems necessitating a generalisation of language theory to traces, which originates with the work of Mazurkiewicz in 1977. The tutorial uses Petri nets as an underlying system model which allows one to clearly distinguish between causality and independence between executions of actions, a major feature of concurrent behaviour.

Die Vortragsthemen sind so gewählt dass in der Regel mehrere in der Gruppe bearbeitet werden müssen. Das bedeutet, dass mehrere Studierende ein Thema zusammen vorbereiten, dann aber jeder einen eigenen Vortrag über ein Teilthema hält. Die Vorträge zu einem Thema werden dann direkt nacheinander in einem Block abgehalten. Zu beachten ist noch, dass die Kapitel des Textes aufeinander aufbauen, man also für die Bearbeitung späterer Themen zumindest Teile des Textes davor auch lesen und verstehen muss. Dafür hat man ja aber dann auch mehr Zeit für die Vorbereitung und die vorherigen Vorträge als Vorlage. Es stehen folgende 10 Vortragsthemen zur Auswahl:

• Traces (Kapitel 3 der Literaturvorlage, Seiten 8-12): 1 Vortrag
• EN-Systems (Kapitel 4 der Literaturvorlage, Seiten 12-26): 3 Vorträge
• Adding Inhibitor Arcs (Kapitel 5 der Literaturvorlage, Seiten 26-39): 3 Vorträge
• P/T-Nets (Kapitel 6 der Literaturvorlage, Seiten 39-52): 3 Vorträge

Modalitäten und Bewertung

Es ist ein Vortrag zu halten und eine schriftliche Ausarbeitung des Vortragsinhalts anzufertigen. Ziel ist es dabei nicht, dem Dozenten zu zeigen, dass man die Literaturvorlage verstanden hat, sondern deren Inhalt auf geeignetem Abstraktionsniveau allen Zuhörern zu vermitteln (dazu muss man natürlich erstmal deren Inhalt selbst verstanden haben). Bei jedem Vortrag werden Inhalt und Präsentation bewertet. Die Gesamtnote ergibt sich aus dem arithmetischen Mittel aus Bewertung des Inhalts des Vortrags, der Präsentation des Vortrags und der schriftlichen Ausarbeitung. Vorträge werden im Anschluss diskutiert; Hinweise aus der Diskussion sind in die schriftliche Ausarbeitung aufzunehmen. Spätestens eine Woche vor dem Vortrag findet ein individueller Besprechnungstermin mit dem Dozenten statt, bei dem eine vorläufige Version des Vortrags vorzustellen ist.

• Individuelle Vorbesprechung: Spätestens eine Woche vor dem Vortrag. Es ist eine vorläufige Version des Vortrags vorzustellen.
• Vortrag: Es ist eine Präsentation mit Folien vorzubereiten (Powerpoint, Latex, o.ä.). In der Regel sollte an die Zuhörer zusätzlich ein Handout ausgeteilt werden. Die Vortragsdauer beträgt 30 Minuten plus 15 Minuten für die anschließende Diskussion. Zum Vortrag sind Studentenausweis und Personalausweis mitzubringen.
• Schriftliche Ausarbeitung: Soll 5 - 8 Seiten umfassen und bis muss bis Semesterende abgegeben werden.
• Prüfungsmodul: Zulassungsvoraussetzungen sind
  • die fristgerechte elektronische Anmeldung in LectureReg zur Veranstaltung
  • die fristgerechte Anmeldung zum Prüfungsmodul bei STUDIS
  Die Teilnahmeberechtigung ist beschränkt auf das Wintersemester 2010/2011

Termine

• Erste Vorbesprechung zum Thema: 18.10. (13 Uhr, Raum 1021 N).
• Schriftliche Ausarbeitung: bis Semesterende.

   

weitere Informationen zu der Lehrveranstaltung:

empfohlenes Studiensemester der Lehrveranstaltung:	ab dem 5. Semester
Fachrichtung Lehrveranstaltung:	Informatik
Nummer der Lehrveranstaltung:	7084
Dauer der Lehrveranstaltung:	2 SWS
Typ der Lehrveranstaltung:	S - Seminar
Leistungspunkte:	4 LP
Bereich:	Informatik
Prüfung:	Referat / Hausarbeit
Lehrveranstaltungspflicht:	Wahlpflicht
Semester:	WS 2010/11