Kreische, DavidDesel, JörgWeske, Mathias2019-11-142019-11-1420023-88579-350-4https://dl.gi.de/handle/20.500.12116/30170In diesem Paper wird gezeigt, wie ein Geschäftsprozess mit Hilfe der Unified Modeling Language (UML) so modelliert werden kann, dass daraus die Berechnung von dynamischen Kenngrößen wie Durchführungszeit oder Ressourcen-Auslastung möglich ist. Zuerst werden die dazu verwendeten UML-Konstrukte vorgestellt. Dann werden die wichtigsten Elemente eines Algorithmus zur Transformation in ein Generalized Stochastic Petri Net (GSPN) präsentiert. Zuletzt werden die Ergebnisse eines Beispiel-Prozesses erläutert.deText/Conference Paper1617-5468