Strukturbasierte Verifikation von BPMN-Modellen [Paperback]

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.Szenario: Modellierung und Adaption von Gesch?ftsprozessmodellen; Semantische Gesch?ftsprozessmodellierung auf Basis von BPMN und MOF; Modellierung von Anforderungen an BPMN-Modelle; Suche nach Instanzen struktureller Muster in BPMN-Modellen; Auswertung musterbasierter Bedingungen an BPMN-Modelle; Validierung
Jens M?ller promovierte im Fach Informatik an der Eberhard Karls Universit?t T?bingen bei Prof. Dr. rer. nat. Wolfgang Rosenstiel und Prof. Dr.-Ing. Wilhelm G. Spruth und arbeitet als Softwareentwickler in einem internationalen IT- und Beratungsunternehmen.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 dlƒ+