Geschftsprozesse mssen blicherweise Anforderungen der betriebswirtschaftlichen Ebene erfllen, die bei der Geschftsprozessmodellierung von den resultierenden Modellen korrekt abgebildet werden mssen.
Jens Mller untersucht Anforderungen, die Aussagen ber die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Derzeit eingesetzte Werkzeuge zur Geschftsprozessmodellierung bieten keine Mglichkeit, betriebswirtschaftliche Anforderungen der untersuchten Kategorie explizit zu reprsentieren und automatisch auszuwerten. Dadurch erhht sich das Risiko der Verletzung von Anforderungen mit deren zunehmender Anzahl. Zur Lsung der beschriebenen Probleme stellt der Autor neuartige Konzepte vor, die es ermglichen, strukturell-inhaltliche Anforderungen mithilfe einer graphischen Modellierungsmethode zu gestalten spezifizieren und Geschftsprozessmodelle in Bezug auf deren Einhaltung automatisch zu verifizieren. Die Anwendung dieser Konzepte wird anhand eines Szenarios aus der Luftfahrtindustrie demonstriert.

Jens M ller untersucht die Anforderungen, die Aussagen ber die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Er stellt neuartige Konzepte vor, die es erm glichen, strukturell-inhaltliche Anforderungen mithilfe einer graphischen Modellierungsmethode zu gestalten spezifizieren und Gesch ftsprozessmodelle in Bezug auf deren Einhaltung automatisch zu verifizieren.