Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
Keywords
About this book
Jens Müller untersucht Anforderungen, die Aussagen über die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Derzeit eingesetzte Werkzeuge zur Geschäftsprozessmodellierung bieten keine Möglichkeit, betriebswirtschaftliche Anforderungen der untersuchten Kategorie explizit zu repräsentieren und automatisch auszuwerten. Dadurch erhöht sich das Risiko der Verletzung von Anforderungen mit deren zunehmender Anzahl. Zur Lösung der beschriebenen Probleme stellt der Autor 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. Die Anwendung dieser Konzepte wird anhand eines Szenarios aus der Luftfahrtindustrie demonstriert.
About the author
Bibliographic Information
Book Title: Strukturbasierte Verifikation von BPMN-Modellen
Authors: Jens Müller
DOI: https://doi.org/10.1007/978-3-8348-8162-5
Publisher: Vieweg+Teubner Verlag Wiesbaden
eBook Packages: Business and Economics (German Language)
Copyright Information: Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2011
Softcover ISBN: 978-3-8348-1571-2Published: 05 April 2011
eBook ISBN: 978-3-8348-8162-5Published: 05 May 2011
Edition Number: 1
Number of Pages: XIX, 176
Topics: IT in Business, Computer Science, general