Strukturbasierte Verifikation von BPMN-Modellen
| Autor: | Müller, Jens |
|---|---|
| EAN: | 9783834815712 |
| Sachgruppe: | Informatik, EDV Wirtschaft |
| Sprache: | Deutsch |
| Seitenzahl: | 196 |
| Produktart: | Kartoniert / Broschiert |
| Veröffentlichungsdatum: | 05.04.2011 |
| Schlagworte: | Geschäftsprozess Informatik / Wirtschaftsinformatik Simulation - Simulator Wirtschaft / Wirtschaftsinformatik Wirtschaftsinformatik |
69,99 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.
Verwandte Artikel
Weitere Produkte vom selben Autor