Strukturbasierte Verifikation von BPMN-Modellen
Strukturbasierte Verifikation von BPMN-Modellen
Geschftsprozesse mssen blicherweise Anforderungen der betriebswirtschaftlichen Ebene erfllen, die bei der Geschftsprozessmodellierung von den resultierenden Modellen korrekt abgebildet werden mssen. Jens Mller untersucht Anforderungen, die Aussagen ber die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Derzeit eingesetzte Werkzeuge zur Geschftsprozessmodellierung bieten keine Mglichkeit, betriebswirtschaftliche Anforderungen der untersuchten Kategorie explizit zu reprsentieren und automatisch auszuwerten. Dadurch erhht sich das Risiko der Verletzung von Anforderungen mit deren zunehmender Anzahl. Zur Lsung der beschriebenen Probleme stellt der Autor neuartige Konzepte vor, die es ermglichen, strukturell-inhaltliche Anforderungen mithilfe einer graphischen Modellierungsmethode zu gestalten spezifizieren und Geschftsprozessmodelle in Bezug auf deren Einhaltung automatisch zu verifizieren. Die Anwendung dieser Konzepte wird anhand eines Szenarios aus der Luftfahrtindustrie demonstriert.
Price Comparison
Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
---|---|---|---|---|---|---|---|---|---|---|
BEST PRICE 1 Product Purchase
|
$69.99 | $69.99 |
|
$69.99 | See Site | In stock | Visit Store |