Musterbasierte Kontrollflusssemantik für Geschäftsprozessmodellierungssprachen