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.