Projektgruppe "P-Umlaut"

 

1 Organisatorisches

P-Umlaut: Petrinetze, UML und automatisierte Simulation

Form: Projektgruppe   (24 ECTS-Punkte)

 

2 Zusammenfassung

In dieser Projektgruppe soll eine Simulationsumgebung für einige ausgewählte UML-Diagramme (oder Erweiterungen davon) entwickelt werden. Dazu wird zu den UML-Diagrammen eine Petrinetz-Semantik entworfen. Durch die Simulation der Petrinetze kann dann eine Simulation der Diagramme bzw. des durch die Diagramme beschriebene Systems geschehen.

 

3 Inhalt

Wie oben beschrieben sollen einige UML-Diagramme ausgewählt werden. Um eine Simulation machen zu können sind dabei solche zu wählen, die das Verhalten des Systems beschreiben. Dazu zählen etwa Sequenzdiagramme, Aktivitätendiagramme und Statecharts.

Anstatt die Semantik der Diagramme in Form von erweiterten Automaten anzugeben, werden wir die vielfach bereits theoretisch entwickelte Petrinetz-Semantik der verschiedenen Diagramme benutzen oder eine solche selbst definieren. So können die Diagramme in Petrinetze übersetzt werden, ohne dass ihr Verhalten verändert wird.

Die Petrinetze dienen dann zur einheitlichen Simulation der Systeme/Diagramme. Indem man das Petrinetz simuliert kann das Verhalten in den Diagrammen aufgezeigt werden. Alternativ zu einer Visualisierung in den Diagrammen kann man auch eine separate Animation/3D-Umgebung zu dem modellierten System synchron zu der Netzsimulation laufen lassen. Insbesondere in diesem Teil der Projektgruppe sind viele Freiheiten vorhanden, das Verhalten anschaulich zu präsentieren.

 

4 Weitere Infos und Links

• Bei Interesse an der Teilnahme schickt umgehend eine Mail an Dietrich Boles.
• Die Folien vom Projektgruppentag
• Die PG-Homepage