
Strukturbasierte Verifikation von BPMN-Modellen
Please note that the standard 14-day cancellation right terminates upon receiving access to the e-book.
Product 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.
Details
- ISBN13 9783834881625
- Released 2011
- Publisher Vieweg+Teubner Verlag
- Format Elektronisk medie
- Language German