
Strukturbasierte Verifikation von BPMN-Modellen
Bemærk venligst, at den normale 14 dages fortrydelsesret ophører ved modtagelse af adgang til e-bogen.
Produkt beskrivelse
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.
Detaljer
- ISBN13 9783834881625
- Udgivet 2011
- Forlag Vieweg+Teubner Verlag
- Sprog Tysk