Strukturbasierte Verifikation von BPMN-Modellen
Description
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.
Keywords
Business & EconomicsInformation ManagementComputersComputer ScienceBusiness Mathematics
2011Book
Author(s)Jens Mller
PublisherVieweg+Teubner Verlag
ISBN9783834815712
LanguageGerman
