Musterbasierte Kontrollflusssemantik für Geschäftsprozessmodellierungssprachen

Die Bedeutung einzelner Symbole ist bei Geschäftsprozessmodellierungssprachen häufig nicht eindeutig festgelegt, wodurch Missverständnisse zwischen Domänenexperten und Modellierern gefördert werden. In dieser Arbeit wird eine auf Kontrollflussmustern basierende Methode zur Beschreibung der Kontrollflusssemantik von graphischen Geschäftsprozessmodellierungssprachen vorgestellt. Darüber hinaus werden die effiziente Anwendbarkeit und grundsätzliche Nützlichkeit der Methode aufgezeigt. The semantic of symbols is most often not clearly defined in business process modeling languages, which facilitates misunderstandings between domain experts and modelers. This piece of work presents a method based on control flow patterns to define the control flow semantics of graphical business process modeling languages. In addition, the efficient applicability and general usefulness of the method are demonstrated.