论文信息 - Workflow Patterns in Orc

Workflow Patterns in Orc

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.

Jayadev Misra | William R. Cook | Sourabh Patwardhan

[1] Christoph Bussler,et al. On Structured Workflow Modelling , 2000, CAiSE.

[2] Rik Eshuis,et al. Reactive Petri Nets for Workflow Modeling , 2003, ICATPN.

[3] Marlon Dumas,et al. Pattern Based Analysis of BPEL4WS , 2002 .

[4] Rik Eshuis,et al. Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets , 2003, Petri Net Technology for Communication-Based Systems.

[5] Wil M. P. van der Aalst,et al. Workflow Patterns , 2004, Distributed and Parallel Databases.

[6] Mathias Weske,et al. Using the pi-Calculus for Formalizing Workflow Patterns , 2005, Business Process Management.

[7] Marlon Dumas,et al. Pattern Based Analysis of BPML (and WSCI) , 2002 .

[8] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[9] J. Misra. Computation Orchestration : A Basis for Wide-Area Computing , 2005 .

[10] Marlon Dumas,et al. UML Activity Diagrams as a Workflow Specification Language , 2001, UML.

[11] Richard S. Bird,et al. Introduction to functional programming , 1988, Prentice Hall International series in computer science.

[12] R. Bird. Introduction to functional programming using Haskell, Second Edition , 1998 .

[13] Wil M. P. van der Aalst,et al. Design and Implementation of the YAWL System , 2004, CAiSE.