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...