Modeling Workflow Patterns from First Principles

  • Egon Börger
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4801)


We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yield the 43 workflow patterns that have been listed recently by the Business Process Modeling Center. The resulting structural classification of those patterns into eight basic categories, four for sequential and four for parallel workflows, provides a semantical foundation for a rational evaluation of workflow patterns.


Multiple Instance Process Instance Abstract State Machine Completion Event Execution Thread 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Börger, E.: The ASM ground model method as a foundation of requirements engineering. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 145–160. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. 2.
    Börger, E.: The ASM method for system design and analysis. A tutorial introduction. In: Gramlich, B. (ed.) Frontiers of Combining Systems. LNCS (LNAI), vol. 3717, pp. 264–283. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Börger, E.: A critical analysis of workflow patterns. In: Prinz, A. (ed.) ASM 2007, Grimstadt (Norway) (June 2007), Agder University College (2007)Google Scholar
  4. 4.
    Börger, E., Bolognesi, T.: Remarks on turbo ASMs for computing functional equations and recursion schemes. In: Börger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 218–228. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  5. 5.
    Börger, E., Schmid, J.: Composition and submachine concepts for sequential ASMs. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol. 1862, pp. 41–60. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  6. 6.
    Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)CrossRefzbMATHGoogle Scholar
  7. 7.
    INMOS. Transputer Implementation of Occam – Communication Process Architecture. Prentice-Hall, Englewood Cliffs, NJ (1989)Google Scholar
  8. 8.
    Russel, N., ter Hofstede, A., van der Aalst, W.M.P., Mulyar, N.: Workflow control-flow patterns. A revised view. BPM-06-22 (July 2006), at
  9. 9.
    Stärk, R.F., Schmid, J., Börger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)CrossRefzbMATHGoogle Scholar
  10. 10.
    van der Aalst, W.M., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14(3), 5–51 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Egon Börger
    • 1
  1. 1.Università di Pisa, Dipartimento di Informatica, I-56125 PisaItaly

Personalised recommendations