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.
