Advanced Branching and Synchronization Patterns Description Using Pi-Calculus

Workflow patterns contain basic features of business process. Advanced branching and synchronization patterns present a series of patterns, which characterize more complex branching and merging concepts which arise in business processes. Pi-calculus can be applied in business process modeling. In this chapter, this kind of workflow patterns is investigated using Pi-calculus. DOI: 10.4018/978-1-4666-1975-3.ch028

[1]  van der Wmp Wil Aalst,et al.  PATTERNS IN COLORED PETRI NETS , 2005 .

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

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

[4]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .

[5]  Mathias Weske,et al.  Formalizing Service Interactions , 2006, Business Process Management.

[6]  Antonio Vallecillo,et al.  Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..

[7]  W.M.P. van der Aalst,et al.  YAWL: yet another workflow language (revised version) , 2003 .

[8]  Joan Lu,et al.  Investigating Workflow Resource Patterns in term of Pi-calculus , 2008, 2008 12th International Conference on Computer Supported Cooperative Work in Design.

[9]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[10]  Aa Twan Basten,et al.  In terms of nets : system design with Petri nets and process algebra , 1998 .

[11]  Yang Dong,et al.  Approach for workflow modeling using π-calculus , 2003 .