P-UMLaut Petrinetze, UML und automatisierte Simulation Christian Stehno, Eike Best, Hans Fleischhack, Harro Wimmel
UML-Diagramme Große Anzahl Diagrammtypen Von Interesse: System-Verhalten Sequenzdiagramme (MSC, LSC) Statecharts Aktivitätendiagramme SDL Use Case Maps
Semantik Verhalten Ausführbare Semantik Hier: Semantik als Petrinetze Meist spezielle Endliche Automaten Hier: Semantik als Petrinetze Kompatible Semantik, Diagrammkombination möglich Universelle Simulation Analysemethoden UML-Diagramm Compiler Simulator Petrinetz-Semantik Analyse
Simulation (Visualisierung) Traces Highlighten der Diagramme Animationen 3D-Welten (Spiele-Engine) Proc 1 Proc 2 p.func();
Was soll entstehen? UML-Editoren (Open-Source, Eclipse?) Simulation Kooperative Bearbeitung Übersetzer in Petrinetze Simulator Visualisierungen
Was wir bieten Bestehendes Petrinetz-Framework PG-Raum mit ausreichend Rechnern Eigener Linux-Cluster Exkursionen Langfristige Perspektiven (IPs, DAs) CeBIT-Auftritt angestrebt