Using the π-calculus for formalizing workflow patterns

Lecture Notes in Computer Science

Volumn 3649, Issue , 2005, Pages 153-168

  Puhlmann, Frank ^a   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; COMPUTER SIMULATION; MOBILE TELECOMMUNICATION SYSTEMS; PATTERN RECOGNITION; RESEARCH; SEMANTICS;

EXECUTION SEMANTICS; PROCESS ALGEBRA; WORKFLOW DOMAIN; WORKFLOW PATTERNS;

INDUSTRIAL MANAGEMENT;

EID: 27144489778     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11538394_11     Document Type: Conference Paper

References (25)

1. Smith, H., Fingar, P.: Business Process Management - The Third Wave. Meghan-Kiffer Press, Tampa (2002)
2. 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))
3. BPMI.org: Business Process Modeling Language. Technical report (2002)
4. Microsoft: XLang Web Services for Business Process Design. (2001)
5. BEA Systems, IBM, Microsoft, SAP, Siebel Systems: Business Process Execution Language for Web Services Version 1.1. (2003)
6. van der Aalst, W.: Flexible Workflow Management Systems: An Approach based on Generic Process Models. In Bench-Capon, T., Soda, G., Tjoa, A., eds.: Database and Expert Systems Applications: 10th International Conference, DEXA'99, volume 1677 of LNCS, Berlin, Springer (1999) 186-195
7. van der Aalst, W.M.P.: Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change. Information System Frontiers 3 (2001) 297-317
8. Rinderle, S., Reichert, M., Dadam, P.: Evaluation of Correctness Criteria for Dynamic Workflow Changes. In van der Aalst, W.e.a., ed.: Business Process Management 2003, volume 2678 of LNCS, Berlin, Springer (2003) 41-57
9. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14 (2003) 5-51
10. Curtis, B., Kellner, M.I., Over, J.: Process Modeling. Communications of the ACM 35 (1992) 75-90
11. Weske, M.: Workflow Management Systems: Formal Foundation, Conceptual Design, Implementation Aspects. Habilitationsschrift, Fachbereich Mathematik und Informatik, Universität Münster, Münster (2000)
12. 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)
13. Basten, T.: In Terms of Nets: System Design with Petri Nets and Process Algebra. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands (1998)
14. Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)
15. Brogi, A., Canal, C., E.Pimentel, Vallecillo, A.: Formalizing Web Service Choreographies. In: Proceedings of First International Workshop on Web Services and Formal Methods. Electronic Notes in Theoretical Computer Science, Elsevier (2004)
16. Dong, Y., Shen-Sheng, Z.: Approach for workflow modeling using π-calculus. Journal of Zhejiang University Science 4 (2003) 643-650
17. 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, ACM Press (1998) 25-33
18. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Part I/II. Information and Computation 100 (1992) 1-77
19. Milner, R.: The polyadic π-Calculus: A tutorial. In Bauer, F.L., Brauer, W., Schwichtenberg, H., eds.: Logic and Algebra of Specification, Berlin, Springer-Verlag (1993) 203-246
20. Milner, R.: Communicating and Mobile Systems: The π-calculus. Cambridge University Press, Cambridge (1999)
21. Parrow, J.: An Introduction to the π-Calculus. In Bergstra, J.A., Ponse, A., Smolka, S.A., eds.: Handbook of Process Algebra, Elsevier (2001) 479-543
22. Sangiorgi, D., Walker, D.: The π-calculus: A Theory of Mobile Processes. Paperback edn. Cambridge University Press, Cambridge (2003)
23. 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, New York, ACM Press (1990) 204-214
24. Knolmayer, G., Endl, R., Pfahrer, M.: Modeling Processes and Workflows by Business Rules. In Aalst, W.v.d., Desel, J., Oberweis, A., eds.: Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of LNCS, Berlin, Springer-Verlag (2000) 16-29
25. van der Aalst, W., van Hee, K.: Workflow Management. MIT Press (2002)