Bücher online kaufen
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
A Rigorous Semantics for BPMN 2.0 Process Diagrams
Langbeschreibung
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.
Inhaltsverzeichnis
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.
The authors are experienced industrial researchers in the field of computer science and software engineering, with experience in business process modelling and formal methods in particular. They have been working in a joint team from the Software Competence Center Hagenberg (SCCH) and the Institute for Application Oriented Knowledge Processing (FAW) of the Johannes Kepler University Linz (JKU), both in Austria.
ISBN-13:
9783319099316
Veröffentl:
2015
Seiten:
235
Autor:
Felix Kossak
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
53,49 €*
Lieferzeit: Sofort lieferbar
Alle Preise inkl. MwSt.