Abstract
We present work concerning the formal specification of business processes. It is of substantial benefit to be able to pin down the meaning of business processes precisely. This is an end in itself, but we are also concerned to do so in order that we might prove properties about the business processes that are being specified. It is a notable characteristic of most languages for representing business processes that they lack a robust semantics, and a notable characteristic of most commercial Business Process Management products that they have no support for verification of business process models. We define a high-level meta-model, called Liesbet , for representing business processes. The ontological commitments for Liesbet are sourced from the YAWL workflow patterns, which have been defined from studies into the behavioural nature of business processes. A formal characterisation of Liesbet is provided using Milner’s Calculus of Communicating Systems (CCS). In this article, we omit some of the technical details of this characterisation and instead present the essential features by means of an abstract machine language, called LCCS. We also explain how we have facilitated the verification of certain properties of business processes specified in Liesbet , and discuss how Liesbet supports the YAWL workflow patterns. We include a simple three-part example of using Liesbet .
Similar content being viewed by others
References
Alonso, G., F. Casati, H. Kuno, and V. Machiraju. (2004). Web Services, ISBN: 3540440089. Springer
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
Bruns, G. (1997). Distributed Systems Analysis with CCS, ISBN: 0-13-398389-7. Prentice-Hall
Cleaveland R., Hennessy M. (1990). Priorities in Process Algebras. Information and Computation 87(1/2):58–77
Cleaveland R., Natarajan V., Sims S., Luttgen G. (1996). Modeling and Verifying Distributed Systems Using Priorities. A Case Study. Software – Concepts and Tools 17(2): 50–62
Curbera F., Duftler M., Khalaf R., Nagy W., Mukhi N., Weerawarana S. (2002). Unravelling the Web Services Web: An introduction to SOAPWSDL, and UDDI. IEEE Internet Computing 6(2):86–93
Dong Y., Shensheng Z. (2003). Approach for Workflow Modeling Using π-Calculus. Journal of Zhejiang University Science 4(6): 643–650
Dong, Y. and Z. Shensheng. (2004). Modeling Workflow Patterns with π-calculus. Technical report, Shanghai Jiao Tong University
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
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
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
Farrell, A. D. H. (2006). Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns. Technical report, HP Labs Technical Report (to appear)
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
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
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)
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
Georgakopoulos D., Hornick M., Sheth A. (1995). An Overview of Workflow Management: From Process Modelling to Workflow Automation Infrastructure. Distributed and Parallel Databases 3(2):119–153
Gruninger M. (2003). The Process Specification Language (PSL): Theory and Applications. AI Magazine 24(3):63–74
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
Jablonski, S. and C. Bussler. (1996). Workflow Management – Modeling Concepts, Architecture and Implementation, ISBN: 1850322228. International Thomson Computer Press
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
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
Kiepuszewski, B. (2003). Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows. PhD thesis, Queensland University of Technology, Brisbane, Australia
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
Leymann F. and D. Roller. (1999). Production Workflow: Concepts and Techniques. Prentice-Hall
Lucchi, R. and M. Mazzara. (2006). “A Foundational Mechanism for WS-BPEL Recovery Framework”, Journal of Logic and Algebraic Programming (JLAP) (to appear)
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
Milner, R. (1989). Communication and Concurrency, ISBN: 0-13-115007-3. Prentice Hall
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
Milner, R. (1999). Communicating and Mobile Systems: The π-Calculus, ISBN:0-521-64320-1. Cambridge University Press
Newcomer, E. and G. Lomow. (2005). Understanding SOA with Web Services, ISBN: 0-321-18086-0. Addison-Wesley
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
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
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
Reisig, W. and G. Rozenberg. (1998). Lectures on Petri Nets I: Basic Models, ISBN:3-540-65307-4. Springer
Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, ISBN: 0-262-18218-1. The MIT Press
Sangiorgi, D. and D. Walker. (2001) The π-calculus. A Theory of Mobile Processes, ISBN:0-521-78177-9. Cambridge University Press
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)
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
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
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
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
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
vanderAalst W.M.P., ter Hofstede A.H.M. (2005). YAWL: Yet Another Workflow Language. Information Systems 30(4):245–275
Verbeek H. M. W., Basten T., van der Aalst W. M. P. (2001). Diagnosing Workflow Processes Using Woflan. The Computer Journal 44(4):246–279
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
Weerawarana, S., F. Curbera, F. Leymann, T. Storey, and D. F. Ferguson. (2005). Web Services Platform Architecture, ISBN: 0-13-148874-0. Prentice Hall
Workflow Management Coalition. (1999). Workflow Management Coalition Terminology & Glossary. Document Number: WFMC-TC-1011. Document Status: Issue 3.0. February 1999
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
WWW Consortium. (2002). Web Services Architecture Requirements; at: http://www.w3c.org/TR/wsa-reqs. October 2002
Acknowledgements
The first author is supported by an EPSRC bursary and a CASE award from HP Laboratories, Bristol, UK.
Author information
Authors and Affiliations
Corresponding author
Appendix – Liesbet (Easy Syntax) Grammar
Appendix – Liesbet (Easy Syntax) Grammar
The following is a presentation of the grammar of the Easy Syntax for Liesbet in BNF (Backus-Naur Form). Refer to Farrell (2006) for full details regarding Liesbet constructs.
Rights and permissions
About this article
Cite this article
Farrell, A.D.H., Sergot, M.J. & Bartolini, C. Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns. Group Decis Negot 16, 213–254 (2007). https://doi.org/10.1007/s10726-006-9064-4
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10726-006-9064-4