Towards a Workflow Engine by Stepwise Refinement
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 , Activiti , Bonita Execution Engine , Route  or Enhydra Shark . 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.
- 5.Alfresco: Activiti 5.10 User Guide. http://activiti.org/userguide/index.html. Accessed 2012-10-01. (2012)
- 77.Mettraux, J., Kalmer, K., Meyers, R., de Mik, H.C., Kohlbecker, A., Barnaba, M., Neskovic, G., Stults, N., Pudeyev, O., Gfeller, M., Brindisi, P., Boettcher, B., Bryant, D., Pospíšil, J.: Ruote - a Ruby Workflow Engine. https://github.com/jmettraux/ruote. Accessed 2014-06-26., http://ruote.rubyforge.org
- 95.Object Management Group: Business process model and notation (BPMN) 2.0. http://www.omg.org/spec/BPMN/2.0. Accessed 2011-08-02. (2011)
- 109.Red Hat, Inc.: JBoss Enterprise SOA Platform 5 – JBPM Reference Guide. Red Hat, Inc., 5.3.0 edn. (2012)Google Scholar