Abstract
This paper discusses the application of a general process theory – the π-calculus – for describing the behavioral perspective of workflow. The π-calculus is a process algebra that describes mobile systems. Mobile systems are made up of components that communicate and change their structure as a result of communication. The ideas behind mobility, communication and change can also enrich the workflow domain, where flexibility and reaction to change are main drivers. However, it has not yet been evaluated whether the π-calculus is actually appropriate to represent the behavioral patterns of workflow.
This paper investigates the issue and introduces a collection of workflow patterns formalizations, each with a sound formal definition and execution semantics. The formalizations can be used as a foundation for pattern-based workflow execution, reasoning, and simulation as well as a basis for future research on theoretical aspects of workflow.
The work reported in this paper has been supported by the German Ministry of Research and Education (BMBF) by the PESOA project.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Smith, H., Fingar, P.: Business Process Management – The Third Wave. Meghan-Kiffer Press, Tampa (2002)
van der Aalst, W.M.P.: Pi calculus versus petri nets: Let us eat ”humble pie” rather than further inflate the ”pi hype”. http://is.tm.tue.nl/research/patterns/download/pi-hype.pdf (May 31, 2005))
BPMI.org: Business Process Modeling Language. Technical report (2002)
Microsoft: XLang Web Services for Business Process Design (2001)
BEA Systems, IBM, Microsoft, SAP, Siebel Systems: Business Process Execution Language for Web Services Version 1.1 (2003)
van der Aalst, W.: Flexible Workflow Management Systems: An Approach based on Generic Process Models. In: Bench-Capon, T.J.M., Soda, G., Tjoa, A.M. (eds.) DEXA 1999. LNCS, vol. 1677, pp. 186–195. Springer, Heidelberg (1999)
van der Aalst, W.M.P.: Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change. Information System Frontiers 3, 297–317 (2001)
Rinderle, S., Reichert, M., Dadam, P.: Evaluation of Correctness Criteria for Dynamic Workflow Changes. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 41–57. Springer, Heidelberg (2003)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14, 5–51 (2003)
Curtis, B., Kellner, M.I., Over, J.: Process Modeling. Communications of the ACM 35, 75–90 (1992)
Weske, M.: Workflow Management Systems: Formal Foundation, Conceptual Design, Implementation Aspects. Habilitationsschrift, Fachbereich Mathematik und Informatik, Universität Münster, Münster (2000)
van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language (Revised version. Technical Report FIT-TR-2003-04, Queensland University of Technology, Brisbane (2003)
Basten, T.: In Terms of Nets: System Design with Petri Nets and Process Algebra. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands (1998)
Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)
Brogi, A., Canal, C.: Formalizing Web Service Choreographies. In: Proceedings of First International Workshop on Web Services and Formal Methods. Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004)
Dong, Y., Shen-Sheng, Z.: Approach for workflow modeling using π-calculus. Journal of Zhejiang University Science 4, 643–650 (2003)
Davulcu, H., Kifer, M., Ramakrishnan, C.R., Ramakrishnan, I.V.: Logic Based Modeling and Analysis of Workflows. In: Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, pp. 25–33. ACM Press, New York (1998)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Part I/II. Information and Computation 100, 1–77 (1992)
Milner, R.: The polyadic π–Calculus: A tutorial. In: Bauer, F.L., Brauer, W., Schwichtenberg, H. (eds.) Logic and Algebra of Specification, pp. 203–246. Springer, Berlin (1993)
Milner, R.: Communicating and Mobile Systems: The π-calculus. Cambridge University Press, Cambridge (1999)
Parrow, J.: An Introduction to the π–Calculus. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 479–543. Elsevier, Amsterdam (2001)
Sangiorgi, D., Walker, D.: The π-calculus: A Theory of Mobile Processes, Paperback edn. Cambridge University Press, Cambridge (2003)
Dayal, U., Hsu, M., Ladin, R.: Organizing long-running activities with triggers and transactions. In: Proceedings of the 1990 ACM SIGMOD international conference on Management of data, pp. 204–214. ACM Press, New York (1990)
Knolmayer, G., Endl, R., Pfahrer, M.: Modeling Processes and Workflows by Business Rules. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 16–29. Springer, Heidelberg (2000)
van der Aalst, W., van Hee, K.: Workflow Management. MIT Press, Cambridge (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Puhlmann, F., Weske, M. (2005). Using the π-Calculus for Formalizing Workflow Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds) Business Process Management. BPM 2005. Lecture Notes in Computer Science, vol 3649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11538394_11
Download citation
DOI: https://doi.org/10.1007/11538394_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28238-9
Online ISBN: 978-3-540-31929-0
eBook Packages: Computer ScienceComputer Science (R0)