Chapter

A Rigorous Semantics for BPMN 2.0 Process Diagrams

pp 175-189

Date:

Towards a Workflow Engine by Stepwise Refinement

  • Felix KossakAffiliated withSoftware Competence Center Hagenberg
  • , Christa IllibauerAffiliated withSoftware Competence Center Hagenberg
  • , Verena GeistAffiliated withSoftware Competence Center Hagenberg
  • , Jan KubovyAffiliated withJohannes Kepler University Linz
  • , Christine NatschlägerAffiliated withSoftware Competence Center Hagenberg
  • , Thomas ZiebermayrAffiliated withSoftware Competence Center Hagenberg
  • , Theodorich KopetzkyAffiliated withSoftware Competence Center Hagenberg
  • , Bernhard FreudenthalerAffiliated withSoftware Competence Center Hagenberg
  • , Klaus-Dieter ScheweAffiliated withSoftware Competence Center Hagenberg

* Final gross prices may vary according to local VAT.

Get Access

Abstract

In this chapter we propose an approach for stepwise refinement of the rigorous semantics for Business Process Model and Notation (BPMN) Process Diagrams presented in Chap. 4. The suggested approach hence fills the gap between an Abstract State Machine (ASM) ground model and a common workflow engine, such as Red Hat JBoss [109], Activiti [5], Bonita Execution Engine [16], Route [77] or Enhydra Shark [135]. We base the refinement approach on the definition of a specific notification concept. This concept implements the event flow by allowing notifications to be passed through a context tree in a similar way as tokens are passed through sequence flows. This also enables communication with a process from the outside world by putting notifications on the top of the context tree.