Process Orchestrations

  • Mathias WeskeEmail author


The process orchestrations chapter is the centre of gravity of the book. After introducing control flow patterns independently from specific notations, the most important process modeling notations are introduced, starting with Petri nets. Event-driven process chains are presented as a means to informally characterize simple business processes. Workflow nets are introduced as a specific variant of Petri nets that enable formal analysis of business processes. Yet Another Workflow Language is discussed and its execution semantics is described. Finally, the industry standard Business Process Model and Notation is discussed. All important concepts of the BPMN in Version 2 are described and illustrated by examples.


Business Process Outgoing Edge Process Instance State Transition Diagram Input Place 
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.


  1. van der Aalst W (1998) The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1):21–66 CrossRefGoogle Scholar
  2. van der Aalst W, van Hee K (2004) Workflow Management: Models, Methods, and Systems. Cooperative Information Systems Series, MIT Press Google Scholar
  3. van der Aalst W, ter Hofstede A (2005) YAWL: Yet Another Workflow Language. Information Systems 30(4):245–275 CrossRefGoogle Scholar
  4. van der Aalst W, ter Hofstede AHM, Kiepuszewski B, Barros AP (2003c) Workflow Patterns. Distributed and Parallel Databases 14(1):5–51 CrossRefGoogle Scholar
  5. van der Aalst W, Aldred L, Dumas M, ter Hofstede A (2004) Design and Implementation of the YAWL System. In: Proceedings of The 16th International Conference on Advanced Information Systems Engineering (CAiSE 04), Springer-Verlag, Lecture Notes in Computer Science, vol 3084, pp 142–159 CrossRefGoogle Scholar
  6. van der Aalst WMP, Stahl C (eds) (2011) Modeling Business Processes – A Petri Net-Oriented Approach. MIT Press zbMATHGoogle Scholar
  7. Booch G, Jacobson I, Rumbaugh J (2005) The Unified Modeling Language User Guide, 2nd edn. Addison-Wesley Google Scholar
  8. BPM Offensive Berlin (2011) BPMN 2.0 Business Process Model and Notation, Poster.
  9. Cuntz N, Kindler E (2005) On the Semantics of EPCs: Efficient Calculation and Simulation. In: van der Aalst W, Benatallah B, Casati F, Curbera F (eds) Business Process Management, Springer, Heidelberg, Lecture Notes in Computer Science, vol 3649, pp 398–403 CrossRefGoogle Scholar
  10. Decker G, Mendling J (2009) Process Instantiation. Data Knowl Eng 68(9):777–792 CrossRefGoogle Scholar
  11. Dijkman RM, Hofstetter J, Koehler J (eds) (2011) Business Process Model and Notation – Third International Workshop, BPMN 2011, Lecture Notes in Business Information Processing, vol 95, Springer Google Scholar
  12. Forst A, Kühn e, Bukhres O (1995) General Purpose Work Flow Languages. Distributed and Parallel Databases 3(2):187–218 CrossRefGoogle Scholar
  13. Gfeller B, Völzer H, Wilmsmann G (2011) Faster or-join enactment for bpmn 2.0. In: Dijkman et al. (2011), pp 31–43 Google Scholar
  14. Girault C, Valk R (2010) Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer zbMATHGoogle Scholar
  15. ter Hofstede AHM, van der Aalst WMP, Adams M, Russell N (eds) (2010) Modern Business Process Automation – YAWL and its Support Environment. Springer Google Scholar
  16. Jensen K, Kristensen LM (2009) Coloured Petri Nets – Modelling and Validation of Concurrent Systems. Springer CrossRefzbMATHGoogle Scholar
  17. Kindler E (2004) On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In: Desel et al. (2004), pp 82–97 Google Scholar
  18. Leymann F, Altenhuber W (1994) Managing Business Processes as Information Resources. IBM Systems Journal 33(2):326–348 CrossRefGoogle Scholar
  19. Leymann F, Roller D (1997) Workflow-based Applications. IBM Systems Journal 36(1):102–123 CrossRefGoogle Scholar
  20. Leymann F, Roller D (1999) Production Workflow: Concepts and Techniques. Pearson Education zbMATHGoogle Scholar
  21. Mendling J, van der Aalst W (2007) Formalization and Verification of EPCs with OR-Joins Based on State and Context. In: (Krogstie et al. 2007, pp 439–453 Google Scholar
  22. Mendling J, Weidlich M, Weske M (eds) (2011) Business Process Modeling Notation – Second International Workshop, BPMN 2010, Lecture Notes in Business Information Processing, vol 67, Springer Google Scholar
  23. Object Management Group (2011) Business Process Model and Notation (BPMN) Version 2.0. formal/2011-01-03 edn Google Scholar
  24. Petri CA (1962) Communication with Automata (in German). PhD thesis, Universität Bonn, Institut für Instrumentelle Mathematik, Schriften IIM Nr.2 Google Scholar
  25. Reichert M, Dadam P (1998) ADEPTflex-Supporting Dynamic Changes of Workflows Without Losing Control. J Intell Inf Syst 10(2):93–129 CrossRefGoogle Scholar
  26. Russell N, ter Hofstede A, van der Aalst W, Mulyar N (2006) Workflow Control-Flow Patterns: A Revised View. Tech. Rep. BPM Center Report BPM-06-22, Google Scholar
  27. Scheer AW (2000) ARIS – Business Process Frameworks, 3rd edn. Springer CrossRefGoogle Scholar
  28. Scheer AW, Kirchmer M, Abolhassan F, Jost W (eds) (2004) Business Process Automation. Springer Google Scholar
  29. Scheer AW, Thomas O, Adam O (2005) Process Aware Information Systems: Bridging People and Software through Process Technology, chap Process Modeling Using Event-Driven Process Chains, pp 119–145. In: Dumas et al. (2005) Google Scholar
  30. Silver B (2011) BPMN Method and Style, 2nd edn. Cody-Cassidy Press Google Scholar
  31. Weske M (2000) Workflow Management Systems: Formal Foundation, Conceptual Design, Implementation Aspects. Habilitation Thesis, University of Münster Google Scholar
  32. Weske M, Vossen G, Puhlmann F (2005) Workflow and Service Composition Languages. In: Bernus P, Mertins K, Schmidt G (eds) Handbook on Architectures of Information Systems, Springer, Berlin, pp 369–390 Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  1. 1.Hasso Plattner Institute (HPI)Universität PotsdamPotsdamGermany

Personalised recommendations