Willkommen im Seminar Modellierungssprachen der Softwaretechnik im Wintersemester 2016/2017. Die Durchführung des Seminars ist in diesem Informationsschreiben beschrieben.

Themen

Block 1 – Grundlagen [Donnerstag 23.02, 13.00 - 18.00]

(LarsKerick) Formale Sprachen. Formale Sprachen bilden die Grundlage, um Probleme, die wir als Informatiker mit Hilfe eines Rechners lösen wollen, zu beschreiben und zu klassifizieren. Was ist eine formale Sprache? Dabei ist für uns besonders die Klasse der regulären Sprachen interessant! Beschreiben Sie grob die Chomsky-Hierarchie und das so genannte Pumping-Lemma für reguläre Sprachen. Wofür ist es gut? Als Literatur eignet sich jedes Lehrbuch der theoretischen Informatik. So auch zum Beispiel das vierte Kapitel des Lehrbuches Theoretische Informatik von Dirk W. Hoffmann.

(BjörnFox) Endliche Automaten. Endliche Automaten sind ein grundlegendes Rechnermodel mit einer einfachen grafischen Darstellung. Was ist ein deterministischer Automat? Was ist ein nichtdeterministischer Automat? Was haben diese Automaten mit regulären Sprachen zu tun? Wie übersetzt man Automaten in reguläre Sprachen und vice versa. Auch hier eignet sich jedes Lehrbuch der Theoretischen Informatik. Zum Beispiel das fünfte Kapitel des Lehrbuches Theoretische Informatik von Dirk W. Hoffmann.

(PeterBormann) Petri Netze. Petri Netze sind (genau wie endliche Automaten) ein Rechnermodel. Die Sprache eines Petri Netze kann so zum Beispiel als endlicher Automat dargestellt werden. Petri Netze eigenen sich aber besonders sobald einzelne Wörter einer Sprache verteilt in einem System ablaufen. Sie liefern damit die Grundlage moderner „Buisiness Process Modelling Languages“. Was ist ein Petri Netz? Was ist die Schaltregel eines Petri Netzes? Was ist der Erreichbarkeitsgraph (das Transitionssystem) eines Petri Netzes? Als Literatur empfehle ich Ihnen das Lehrbuch Modeling Business Processes von Wil van der Aalst und Christian Stahl und dort besonders Kapitel 3.

(ChristianSchwabe) Modellieren mit Petri Netzen. Der große Vorteil von Petri Netzen ist, dass man mit Ihnen intuitiv modellieren kann. Wie modelliere ich mit Petri Netzen? Was versteht man unter Kausalität und Nebenläufigkeit bei Petri Netzen? Wie und warum erweitert man Petri Netze um Kantengewichte? Als Literatur empfehle ich Ihnen das Lehrbuch Modeling Business Processes von Wil van der Aalst und Christian Stahl und dort besonders Kapitel 4.

(ThomasMarx) Workflownetze und Soundness. Workflownetze sind eine besondere Klasse von Petri Netzen. Durch spezielle Anforderungen wird die Klasse aller Petri Netze auf die Klasse der Workflownetze eingeschränkt. Diese Einschränkung ist allerdings nur im Kontext von Arbeitsprozessen (sogenannten Workflows) sinnvoll. Was ist ein Workflownetz und wie unterscheidet es sich zu einem normalen Petri Netz? Wann ist eins dieser Workflownetze sound? Was ist YAWL und was ist das YAWL-Tool? Orientieren Sie sich an dem Lehrbuch Process Mining von Wil van der Aalst. Speziell die Abschnitte 2.2.3 zu Workflow Nets und dem Abschnitt 2.2.4 zu YAWL. Schauen Sie sich auf jeden Fall auch das YAWL-Tool an.

(EugenSchumacher) CPN. Coloured Petri Netze erweitern die Klasse der Petri Netze um Variablen. Anstatt normale „black Tokens“ bindet die Schaltregel von Coloured Petri Netzen Variablen und kann diese verändern. Mit dieser Erweiterung lassen sich sowohl Daten eines Prozesses sowie komplexe Kontrollflussstrukturen abbilden. Was ist ein Coloured Petri Net und wie unterscheidet es sich zu einem normalen Petri Netz? Was ist die Sachaltregel für Coloured Petri Netze? Was ist CPN Tools? Grundlegende Literatur finden Sie in den ersten zwei Kapiteln des Buches Coloured Petri Nets von Kurt Jensen und Lars Kristensen. Beide Kapitel sind frei auf der CPN-Tools Homepage verfügbar. Schauen Sie sich auf jeden Fall CPN-Tools an.

Block 2 & 3  – Moderne Prozess Modellierungssprachen, Werkzeuge und Algorithmen [Freitag 24.02, 09.00 - 16.00]

(MichaelaMatterne) Zustandsdiagramme. Zustandsdiagramme sind Teil der Unified Modeling Language der Object Management Group. UML ist die am weitesten verbreitete Sprache im Anwendungsgebiet der Softwareentwicklung. Zustandsdiagramme eigenen sich besonders für die Modellierung der Abfolge von Zuständen eines Systems. Was ist ein Zustandsdiagramm? Was sind die Anwendungsbereiche und wie modelliere ich mit Zustandsdiagrammen? Was ist der Zusammenhang zwischen Zustandsdiagrammen und endlichen Automaten? Als Literatur eignet sich jedes Lehrbuch der UML. Ich überlasse Ihnen die Suche. Sie können auch die online verfügbare Spezifikation der UML zu Rate ziehen. Als Einstieg eignet sich diese jedoch kaum.

(KatharinaSchwerdt) Aktivitätsdiagramme. Aktivitätsdiagramme sind Teil der Unified Modeling Language der Object Management Group. UML ist die am weitesten verbreitete Sprache im Anwendungsgebiet der Softwareentwicklung. Aktivitätsdiagramme eigenen sich besonders für die Modellierung der Prozesse eines Systems. Wie bei einem Petri Netz stehen hier die Aktionen eines Systems sowie deren Abhängigkeiten im Fokus. Was ist ein Aktivitätsdiagramm? Was sind die Anwendungsbereiche und wie modelliere ich mit Aktivitätsdiagramm? Was ist der Zusammenhang zwischen Aktivitätsdiagramm und Workflow Petri Netzen? Als Literatur eignet sich jedes Lehrbuch der UML. Ich überlasse Ihnen die Suche. Sie können auch die online verfügbare Spezifikation der UML zu Rate ziehen. Als Einstieg eignet sich diese jedoch kaum.

(MarkusLauss) BPMN. Die Business Process Model and Notation ist eine grafische Modellierungssprache, um Prozesse und Ziele der Abläufe innerhalb einer Unternehmung zu modellieren. Wie die UML wird diese Sprache mittlerweile durch die Object Management Group gepflegt. Was ist ein BPMN-Modell? Was sind die Anwendungsbereiche und wie modelliere ich mit BPMN? Was ist der Zusammenhang zwischen BPMN und Petrinetzen? Auch zur BPMN gibt es zahlreiche Lehrbücher. Als Beispiel empfehle ich Kapitel 4.7 des Buches Business Process Management von Mathias Weske.

(MerleLorenzen) EPK. Ereignisgesteuerte Prozessketten ist eine grafische Modellierungssprache, um Prozesse und Ziele der Abläufe innerhalb einer Unternehmung zu modellieren. EPKs wurden von August-Wilhelm Scheer an der Universität in Saarbrücken im Rahmen eines Forschungsprojektes mit SAP zur Beschreibung von Geschäftsprozessen entwickelt. Was ist ein EPK-Modell? Was sind die Anwendungsbereiche und wie modelliere ich mit EPK? Was ist der Zusammenhang zwischen EPK und Petrinetzen?

(StephanKöttel) Anwendungsfalldiagramme. Anwendungsfalldiagramme sind Teil der Unified Modeling Language der Object Management Group. UML ist die am weitesten verbreitete Sprache im Anwendungsgebiet der Softwareentwicklung. Anwendungsfalldiagramme eigenen sich besonders für die Modellierung der elementaren Zusammenhänge zwischen einzelnen Funktionen eines Systems. Hierbei geht es weniger um die kausalen Zusammenhänge einzelner Aktivitäten, sondern um die Abhängigkeiten der verfügbaren Anwendungsfälle.
Was ist ein Anwendungsfalldiagramm? Was sind die Anwendungsbereiche und wie modelliere ich mit Anwendungsfalldiagrammen? Wie kann man einen einzelnen Anwendungsfall textuell beschreiben? Als Literatur eignet sich jedes Lehrbuch der UML. Ich überlasse Ihnen die Suche. Sie können auch die online verfügbare Spezifikation der UML zu Rate ziehen. Als Einstieg eignet sich diese jedoch kaum.

(UlrikeHinrichs) Process Mining. Im Forschungsbereich des Prozess Mining versucht man Prozessmodelle automatisch aus aufgezeichnetem Verhalten eines Systems zu generieren. Moderne Workflow-Engines generieren sogenannte Log-Files. Ein Log-File ist eine Sequenz von Aktivitäten. Aus diesen werden durch geeignete Algorithmen Prozessmodelle (oftmals Petri Netze) synthetisiert. Was ist Process Mining? Was ist das PROM-Tool? Der Pionier des Process Minings ist Will van der Aalst. Sein Buch Process Mining kann als Literatur genutzt werden. Geben Sie einen Überblick über die Funktionen des PROM-Tools.

(TakumaGottschewski) Petri Netz Synthese. Im Forschungsbereich der Petri Netz Synthese generiert man ein Petri Netz aus einem endlichen Automaten. Ziel ist es, dass der Erreichbarkeitsgraph des Petri Netzes isomorph zum eingegeben endlichen Automaten ist. Dazu benutzt man das mathematische Konzept einer Region. Einen umfassenden, doch sehr technischen Überblick bietet das Buch Petri Net Synthesis von Eric Badouel, Luca Bernardinello und Philippe Darondeau. Im Netz existiert ein Vortrag zur Synthese elementarer Petri Netze von Martin Candrowicz. Dieser Vortrag kann gerne mit seinem Beispiel als Grundlage für Ausarbeitung und Vortrag dienen. Die vorkommenden Notationen müsse jedoch viel verständlicher präsentiert werden.