Towards a Workflow Engine by Stepwise Refinement

  • Felix Kossak
  • Christa Illibauer
  • Verena Geist
  • Jan Kubovy
  • Christine Natschläger
  • Thomas Ziebermayr
  • Theodorich Kopetzky
  • Bernhard Freudenthaler
  • Klaus-Dieter Schewe
Chapter

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.

References

  1. 5.
    Alfresco: Activiti 5.10 User Guide. http://activiti.org/userguide/index.html. Accessed 2012-10-01. (2012)
  2. 16.
    Bonitasoft: Bonita BPM. http://www.bonitasoft.com. Accessed 2014-02-23., http://www.bonitasoft.com
  3. 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
  4. 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)
  5. 109.
    Red Hat, Inc.: JBoss Enterprise SOA Platform 5 – JBPM Reference Guide. Red Hat, Inc., 5.3.0 edn. (2012)Google Scholar
  6. 135.
    Together Teamsolutions Co., Ltd.: Together XPDL and BPMN Workflow Server. http://shark.enhydra.org. Accessed 2014-02-23. (2011), http://shark.enhydra.org

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Felix Kossak
    • 1
  • Christa Illibauer
    • 1
  • Verena Geist
    • 1
  • Jan Kubovy
    • 2
  • Christine Natschläger
    • 1
  • Thomas Ziebermayr
    • 1
  • Theodorich Kopetzky
    • 1
  • Bernhard Freudenthaler
    • 1
  • Klaus-Dieter Schewe
    • 1
  1. 1.Software Competence Center HagenbergHagenberg im MühlkreisAustria
  2. 2.Johannes Kepler University LinzLinzAustria

Personalised recommendations