Webseite zum Kurs 01917 „Seminar Sequence Charts“ – Wintersemester 2012/2013

Willkommen auf der Webseite zum Seminar 1917 Sequence Charts im Wintersemester 2012/2013!

Auf dieser Seite finden Sie alle wichtigen Informationen zum Seminar. Besuchen Sie daher bitte regelmäßig diese Seite.

 

Inhalt


Sequence Charts sind formale Beschreibungen von Abläufen miteinander kommunizierender Instanzen. Sie werden in verschiedenen Bereichen verwendet. Eine besondere Popularität verdanken sie der Aufnahme in die UML (Unified Modelling Language), wo sie zur Beschreibung der Kommunikation zwischen Software-Objekten dienen.

Sequence Charts werden aber auch als Modell für grundlegende Forschung über Kommunikation eingesetzt. In diesem Seminar werden derartige Forschungsarbeiten über Sequence Charts vorgestellt und diskutiert.

 

Zeitplan


Bearbeitungsbeginn: 31.10.2012
Abgabetermin der Präsentation: 25.01.2013
Präsenzphase in Hagen: 15.-17.02.2013
Abgabe der Ausarbeitung: 05.04.2013

Durchführung


Jeder Teilnehmer bzw. jede Teilnehmerin erhält eine englischsprachige Originalarbeit, deren Inhalte er/sie präsentiert. Diese Aufsätze müssen von allen Teilnehmern durchgearbeitet werden; vertieftes Verständnis ihrer Inhalte kann umgekehrt bei der Präsentation bei allen Teilnehmern vorausgesetzt werden. Die Teilnahme und Diskussionsbereitschaft bei allen Vorträgen ist verpflichtend.

Der Schwerpunkt bei der Bewertung ist die Präsentation. Eine Vorversion Ihrer Präsentation müssen Sie spätestens drei Wochen vor der Präsenzphase einreichen. Sie erhalten Verbesserungsvorschläge, die Sie berücksichtigen sollten. In eine endgültige Ausarbeitung sollen Diskussionsergebnisse einfließen, deshalb wird diese erst nach der Präsenzphase abgegeben.

Themen


 

1 Blaise Genest, Anca Muscholl, Doron Peled: Message sequence charts. (pdf)
2 Werner Damm, David Harel: Breathing live into message sequence charts. (pdf)
3 Loïc Hélouët, Claude Jards, Benoît Caillaud: An event structure based semantics for high-level message sequence charts. (pdf)
4 J.G. Henriksen, M. Mukund, K. Narayan Kumar, M. Sohoni, P.S. Thiagarajan: A theory of regular MSC languages. (pdf)
5 Markus Loyrey, Anca Muscholl: Bounded MSC communication. (pdf)
6 Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun: Infinite-state high-level MSCs: model checking and realizability (pdf)
7 Th. Gazagnaire, B. Genest, L. Hélouët, P.S. Thiagarajan, S. Yang: Causal message sequence charts. (pdf) (2nd pdf )
8 Abhik Roychoudhury, Bikram Sengupta: Symbolic message sequence charts. (pdf)

 

Kommunikation


Zur Kommunikation mit den Verantwortlichen an der Fernuni steht für individuelle Fragen das Kurspostfach kurs1917@fernuni-hagen.de zur Verfügung.

 

Aktuelles:
 FernUniverstität in Hagen —  — Kurs 01917