Formalising workflow: A CCS-inspired characterisation of the YAWL workflow patterns

Group Decision and Negotiation

Volumn 16, Issue 3, 2007, Pages 213-254

  Farrell, Andrew D H ^a   Sergot, Marek J ^a   Bartolini, Claudio ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

Business process; CCS; Formal semantics; Meta model; Verification; Workflow

Indexed keywords

EID: 33847677743     PISSN: 09262644     EISSN: 15729907     Source Type: Journal    
DOI: 10.1007/s10726-006-9064-4     Document Type: Conference Paper

References (50)

1. Alonso, G., F. Casati, H. Kuno, and V. Machiraju. (2004). Web Services, ISBN: 3540440089. Springer.
2. Belhajjame, K., C. Collet, and G. Vargas-Solar. (2001). "A Flexible Workflow Model for Process-Oriented Applications", in M. Tamer Ozsu, H.-J. Schek, K. Tanaka, Y. Zhang, and Y. Kambayashi, (eds.), Proceedings of the 2nd International Conference on Web Information Systems Engineering (WISE_01), Organized by WISE Society and Kyoto University, Kyoto, Japan, 3-6 December 2001, Volume 1 (Main Program). IEEE Computer Society.
3. Bruns, G. (1997). Distributed Systems Analysis with CCS, ISBN: 0-13-398389-7. Prentice-Hall.
4. Cleaveland, R. and M. Hennessy. (1990). "Priorities in Process Algebras"Information and Computation 87(1/2), 58-77.
5. Cleaveland, R., V. Natarajan, S. Sims, and G. Luttgen. (1996). "Modeling and Verifying Distributed Systems Using Priorities. A Case Study"Software - Concepts and Tools 17(2), 50-62.
6. Curbera, F., M. Duftler, R. Khalaf, W. Nagy, N. Mukhi, and S. Weerawarana. (2002). "Unravelling the Web Services Web: An introduction to SOAPWSDL and UDDI", IEEE Internet Computing 6(2), 86-93.
7. Dong, Y. and Z. Shensheng. (2003). "Approach for Workflow Modeling Using π-Calculus"Journal of Zhejiang University Science 4(6), 643-650.
8. Dong, Y. and Z. Shensheng. (2004). Modeling Workflow Patterns with π-calculus. Technical report, Shanghai Jiao Tong University.
9. Duan, Z., A. Bernstein, P. Lewis, and S. Lu. (2004a). "A Model for Abstract Process Specification, Verification and Composition", in Proceedings of the Second International Conference on Service Oriented Computing (ICSOC_04). New York City, NY, USA, November 2004, pp. 232-241.
10. Duan, Z., A. Bernstein, P. Lewis, and S. Lu. (2004b). "Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes", in Proceedings of the IEEE Conference on Web Services (ICWS_04), pp. 734-737.
11. Farahbod, R., U. Glasser, and M. Vajihollahi. (2005). Abstract Operational Semantics of the Business Process Execution Language for Web Services, SFU-CMPT-TR-2005-04. Technical report, School of Computing Science, Simon Fraser University.
12. Farrell, A. D. H. (2006). Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns. Technical report, HP Labs Technical Report (to appear).
13. Ferrara, A. (2004). "Web Services: A Process Algebra Approach", in M. Aiello, M. Aoyama, F. Curbera, and M. P. Papazoglou, (eds.), ICSOC, ACM, pp. 242-251.
14. Fisteus, J. A., L. S. Fernandez, and C. D. Kloos. (2004). "Formal Verification of BPEL4WS Business Collaborations", in K. Bauknecht, M. Bichler, and B. Proll, (eds.), EC-Web 2004, Volume 3182 of Lecture Notes in Computer Science. Springer, pp. 76-85.
15. Foster, H., S. Uchitel, J. Magee, and J. Kramer. (2003). "Model-Based Verification of Web Service Composition", in Proceedings of the 18th IEEE International Conference on Automated Software Engineering Conference (ASE 2003).
16. Fu, X., T. Bultan, and J. Su. (2004). "Analysis of Interacting BPEL Web Services", in S. I. Feldman, M. Uretsky, M. Najork, and C. E. Wills, (eds.), WWW, ACM, pp. 621-630.
17. Georgakopoulos, D., M. Hornick, and A. Sheth. (1995). "An Overview of Workflow Management: From Process Modelling to Workflow Automation Infrastructure"Distributed and Parallel Databases 3(2), 119-153.
18. Gruninger, M.. (2003). "The Process Specification Language (PSL): Theory and Applications"AI Magazine 24(3), 63-74.
19. Hidders, J., M. Dumas, W. M. P. van der Aalst, A. H. M. ter Hofstede, and J. Verelst. (2005). "When are Two Workflows the Same?", in M. Atkinson, and F. Denhe, (eds.), Proceedings Computing: The Australasian Theory Symposium. Newcastle, NSW, Australia, pp. 3-11.
20. Jablonski, S. and C. Bussler. (1996). Workflow Management - Modeling Concepts, Architecture and Implementation, ISBN: 1850322228. International Thomson Computer Press.
21. Kazhamiakin, R. and M. Pistore. (2005). "A Parametric Communication Model for the Verification of bpel4ws Compositions", in M. Bravetti, L. Kloul, and G. Zavattaro, (eds.), EPEW/WS-FM, Volume 3670 of Lecture Notes in Computer Science. Springer, pp. 318-332.
22. Keller, A., J. L. Hellerstein, J. L. Wolf, and V. Krishnan. (2003). The CHAMPS System: Change Management with Planning and Scheduling. IBM Research Report, RC22882 (W0308-089), August 25, 2003.
23. Kiepuszewski, B. (2003). Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows. PhD thesis, Queensland University of Technology, Brisbane, Australia.
24. Koshkina, M. and F. van Breugel. (2003). Verification of Business Processes for Web Services, CS-2003-11. Technical report, Department of Computer Science, York University, Toronto.
25. Leymann F. and D. Roller. (1999). Production Workflow: Concepts and Techniques. Prentice-Hall.
26. Lucchi, R. and M. Mazzara. (2006). "A Foundational Mechanism for WS-BPEL Recovery Framework", Journal of Logic and Algebraic Programming (JLAP) (to appear).
27. Marin, M. (2002). "Business Process Technology: From EAI and Workflow to BPM", in L. Fischer (ed.), The Workflow Handbook 2002, ISBN:0-9703509-2-9.
28. Milner, R. (1989). Communication and Concurrency, ISBN: 0-13-115007-3. Prentice Hall.
29. Milner, R (1990). "Operational and Algebraic Semantics of Concurrent Processes", in Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), pp. 1201-1242.
30. Milner, R. (1999). Communicating and Mobile Systems: The π-Calculus, ISBN:0-521-64320-1. Cambridge University Press.
31. Newcomer, E. and G. Lomow. (2005). Understanding SOA with Web Services, ISBN: 0-321-18086-0. Addison-Wesley.
32. OASIS. (2005). Web Services Business Process Execution Language Version 2.0 Working Draft 1st September 2005; at: http://www.oasis-open.org/apps/org/ workgroup/wsbpel.
33. Ouyang, C., W. M. P. van der Aalst, S. Breutel, M. Dumas, A. H. M. ter Hofstede, and E. Verbeek. (2005). Formal Semantics and Analysis of Control Flow in WS-BPEL, BPM Report BPM-05-15 (Revised Version). Technical report, BPMcenter.org, June 2005.
34. Puhlmann, F. and M. Weske. (2005). "Using the π-calculus for Formalizing Workflow Patterns", in W. M. P. van der Aalst et al., (eds.), BPM 2005, Volume 3649 of Lecture Notes in Computer Science. Springer.
35. Reisig, W. and G. Rozenberg. (1998). Lectures on Petri Nets I: Basic Models, ISBN:3-540-65307-4. Springer.
36. Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, ISBN: 0-262-18218-1. The MIT Press.
37. Sangiorgi, D. and D. Walker. (2001) The π-calculus. A Theory of Mobile Processes, ISBN:0-521-78177-9. Cambridge University Press.
38. Stefansen, C. (2005a). "A SMAll Workflow Language based on CCS, TR-06-05", in Proceedings of 17th Conference on Advanced Information Systems Engineering, CAiSE05, (to appear).
39. Stefansen, C. (2005b). A SMAll Workflow Language based on CCS, TR-06-05. Technical report, Harvard University, Division of Engineering and Applied Sciences, Cambridge, MA.
40. van der Aalst, W. M. P. (2003). "Don't Go with the Flow: Web Services Composition Exposed", in Trends and Controversies. Web Services: Been there, Done that? IEEE Intelligent Systems, Jan-Feb 2003, pp. 72-76.
41. van der Aalst, W. M. P. (2004). Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management, BPM Center Report BPM-04-03. Technical report, BPMcenter.org.
42. van der Aalst, W. M. P., L. Aldred, M. Dumas, and A. H. M. ter Hofstede. (2004). "Design and Implementation of the YAWL System", in Proceedings of The 16th International Conference on Advanced Information Systems Engineering (CAiSE 04), Riga, Latvia. Springer Verlag, June 2004.
43. van der Aalst, W. M. P. and A. H. M. ter Hofstede. (2002). "Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages", in K. Jensen (ed.), Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), Volume 560 of DAIMI, Aarhus, Denmark, August 2002, pp. 1-20.
44. van der Aalst, W. M. P. and A. H. M. ter Hofstede. (2005). "YAWL: Yet Another Workflow Language"Information Systems 30(4), 245-275.
45. Verbeek, H. M. W., T. Basten, and W. M. P. van der Aalst. (2001). "Diagnosing Workflow Processes Using Woflan"The Computer Journal 44(4), 246-279.
46. Viroli, M. (2004). "Towards a Formal Foundation to Orchestration Languages", in M. Bravetti and G. Zavattaro (eds.), Proceedings of 1st International Workshop on Web Services and Formal Methods (WS-FM 2004), Volume105 of ENTCS. Elsevier.
47. Weerawarana, S., F. Curbera, F. Leymann, T. Storey, and D. F. Ferguson. (2005). Web Services Platform Architecture, ISBN: 0-13-148874-0. Prentice Hall.
48. Workflow Management Coalition. (1999). Workflow Management Coalition Terminology & Glossary. Document Number: WFMC-TC-1011. Document Status: Issue 3.0. February 1999.
49. WS-CDL W3C Working Group. Web Services Choreography Description Language Version 1.0 W3C Working Draft 17 December 2004. Available at: http://www.w3.org/TR/ws-cdl-10.
50. WWW Consortium. (2002). Web Services Architecture Requirements; at: http://www.w3c.org/TR/wsareqs. October 2002.