Workflow Patterns in Orc

  • William R. Cook
  • Sourabh Patwardhan
  • Jayadev Misra
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4038)


Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for evaluating the capabilities of workflow systems and models. In this paper we provide implementations of the workflow patterns in Orc, a new process calculus for orchestrating wide-area computations. A key feature of the Orc implementations is that they are expressed as definitions that can be reused as needed.


Composition Operator Home Location Registry Site Call Process Calculus Exclusive Choice 
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.
    Aalst, W.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  2. 2.
    Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar
  3. 3.
    Bird, R.: Introduction to Functional Programming using Haskell. In: Hoare, C.A.R., Bird, R. (eds.) International Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1998)Google Scholar
  4. 4.
    Dumas, M., ter Hofstede, A.H.: UML Activity Diagrams as a Workflow Specifcation Language. Technical report, Cooperative Information Systems Research Centre, Queensland University of Technology GPO Box 2434, Brisbane QLD 4001, Australia (November 2003)Google Scholar
  5. 5.
    Eshuis, R., Dehnert, J.: Reactive petri nets for workflow modeling. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 296–315. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  6. 6.
    Eshuis, R., Wieringa, R.: Comparing petri net and activity diagram variants for workflow modelling - a quest for reactive petri nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 321–351. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  7. 7.
    Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.: On structured workflow modelling. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 431–445. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  8. 8.
    Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. The Journal of Software & Systems Modeling (to appear, 2006)Google Scholar
  9. 9.
    Puhlmann, F., Weske, M.: Using the p-calculus for formalizing workflow patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 153–168. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. 10.
    van der Aalst, W., ter Hofstede, A.: YAWL: Yet Another Workflow Language. Technical report, Department of Technology Management, Eindhoven University of Technology P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands (November 2003)Google Scholar
  11. 11.
    van der Aalst, W.M., Dumas, M., ter Hofstede, A.H., Wohed, P.: Pattern Based Analysis of BPML (and WSCI). Technical report, Department of Technology Management Eindhoven, University of Technology, The Netherlands (November 2003)Google Scholar
  12. 12.
    van der Aalst, W.M.P., Aldred, L., Dumas, M., ter Hofstede, A.H.M.: Design and implementation of the yawl system. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 142–159. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  13. 13.
    Wohed, P., van der Aalst, W.M., Dumas, M., ter Hofstede, A.H.: Pattern based analysis of BPEL4WS. Technical Report FIT-TR-2002-04, Queensland University of Technology (2002)Google Scholar
  14. 14.
    The Workflow Reference Model. The Workflow Management Coalition (January 1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • William R. Cook
    • 1
  • Sourabh Patwardhan
    • 1
  • Jayadev Misra
    • 1
  1. 1.Department of Computer SciencesUniversity of Texas at Austin 

Personalised recommendations