|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
A Rigorous Semantics for BPMN 2.0 Process Diagrams
ISBN-13:
9783319099316
Veröffentl:
2015
Einband:
Ebook
Seiten:
235
Autor:
Felix Kossak
Sprache:
Englisch
Serie:
Computer Science Computer Science (R0)
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Beschreibung:
This book provides the most complete formal specification of the semantics of the Business Process Model and Notation (BPMN) 2.0 standard available to date, in a style that is easily understandable for a wide range of readers - not only for experts in formal methods, but e.g. also for developers of modeling tools, software architects, or graduate students specializing in business process management.
1 Introduction.- 2 State of the Art.- 3 Modelling Semantics with Abstract State Machines.- 4 A Rigorous Semantics for BPMN 2.0 Process Diagrams.- 5 How the Semantic Model Can Be Used.- 6 A Discussion of BPMN 2.0.- 7 Towards a Workflow Engine by Stepwise Refinement.- 8 Discussion of the Proposed Specification and Outlook.