A Rigorous Semantics for BPMN 2.0 Process Diagrams

Name: Klaus-Dieter Schewe ZJU Faculty Homepage
Department: ZJUI
Research: Exact Computation; Logic and Semantics; Data and Knowledge Base Theory; Distributed and Hybrid Systems
Document Type: Book

Author/Author of Source: Felix Kossak , Christa Illibauer , Verena Geist , Jan Kubovy , Christine Natschläger , Thomas Ziebermayr , Theodorich Kopetzky , Bernhard Freudenthaler , Klaus-Dieter Schewe
Publisher: Springer
P-ISBN: 9783319385235
E-ISBN: 9783319099316
Abstract: This book provides the most complete formal specification of the semantics of the Business Process Model and Notation 2.0 standard (BPMN) 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.
DOI: https://doi.org/10.1007/978-3-319-09931-6