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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alfresco: Activiti 5.10 User Guide. http://activiti.org/userguide/index.html. Accessed 2012-10-01. (2012)
Bonitasoft: Bonita BPM. http://www.bonitasoft.com. Accessed 2014-02-23., http://www.bonitasoft.com
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
Object Management Group: Business process model and notation (BPMN) 2.0. http://www.omg.org/spec/BPMN/2.0. Accessed 2011-08-02. (2011)
Red Hat, Inc.: JBoss Enterprise SOA Platform 5 – JBPM Reference Guide. Red Hat, Inc., 5.3.0 edn. (2012)
Together Teamsolutions Co., Ltd.: Together XPDL and BPMN Workflow Server. http://shark.enhydra.org. Accessed 2014-02-23. (2011), http://shark.enhydra.org
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Kossak, F. et al. (2014). Towards a Workflow Engine by Stepwise Refinement. In: A Rigorous Semantics for BPMN 2.0 Process Diagrams. Springer, Cham. https://doi.org/10.1007/978-3-319-09931-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-09931-6_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09930-9
Online ISBN: 978-3-319-09931-6
eBook Packages: Computer ScienceComputer Science (R0)