Strukturbasierte Verifikation Von Bpmn-Modellen 2011 Edition Contributor(s): Müller, Jens (Author) |
|
ISBN: 3834815713 ISBN-13: 9783834815712 Publisher: Vieweg+teubner Verlag OUR PRICE: $71.24 Product Type: Paperback Language: German Published: April 2011 |
Additional Information |
BISAC Categories: - Computers | Computer Science - Business & Economics | Information Management - Computers | Management Information Systems |
Dewey: 658 |
Physical Information: 0.42" H x 5.83" W x 8.27" (0.54 lbs) 176 pages |
Descriptions, Reviews, Etc. |
Publisher 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. |