A Rigorous Semantics for BPMN 2.0 Process Diagrams

Abstract

This book provides the most complete formal specification of the semantics of BPMN process diagrams available to date, in a style that is easily understandable for a wide range of people—not only by experts in formal methods. Thereby, as a side benefit, we also demonstrate the benefits of the ASM method combined with efforts to stay close to natural language as a style of rigorous specification which can be used much more widely. Such kind of rigorous specification makes it possible to analyse the BPMN standard profoundly and to develop it further to modelling and simulation tools for BPMN, which is demonstrated in this book. It can also serve as a basis for further development of the BPMN standard and additional add-ons.