Hagenberg Business Process Modeling Method

Based on BPMN

This model, together with insights gained by it and a demonstration of how it can be refined towards an implementation of supporting tools, has been published as a Springer book, A Rigorous Semantics for BPMN 2.0 Process Diagrams. The book can be obtained here:


  • Unfortunately, a few errors in the book have already been detected. Errata for this book have been compiled in the document you will find here: http://www.scch.at/en/HagenbergBPM
  • An uncommented summary of the ASM ground model for the semantics of BPMN 2.0 process diagrams, including the signature, can be downloaded here: http://www.scch.at/en/HagenbergBPM

Now a second book on this subject has been published by Springer in May 2016, Hagenberg Business Process Modelling Method, where the same team is presenting proposals for several important issues in BPM that have not been adequately considered in the BPMN 2.0 standard. The book focusses on modality as well as actor and user interaction modelling and offers an enhanced communication concept. The book also shows how the different parts of the model fit together using a simple example process, and introduce the enhanced Process Platform (eP2) architecture, which binds all the different components together. The book can already be ordered here: