Strukturbasierte Verifikation von BPMN-Modellen e-bog
366,80 DKK
(inkl. moms 458,50 DKK)
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 a...
E-bog
366,80 DKK
Forlag
Vieweg+Teubner Verlag
Udgivet
5 maj 2011
Genrer
KJQ
Sprog
German
Format
pdf
Beskyttelse
LCP
ISBN
9783834881625
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.