Why do we actually need the Pi-Calculus for Business Process Management?

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn , Issue , 2006, Pages 77-89

  Puhlmann, Frank ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS MANAGEMENT; FORMAL FOUNDATION; ON CURRENTS; PI CALCULUS; PROCESS ALGEBRAS;

ENTERPRISE RESOURCE MANAGEMENT; INFORMATION SYSTEMS;

CALCULATIONS;

EID: 70350084369     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Part I/II. Information and Computation 100 (1992) 1-77
2. van der Aalst, W.M.P., ter Hofstede, A.H., Weske, M.: Business Process Management: A Survey. In van der Aalst, W.M.P., ter Hofstede, A.H., Weske, M., eds.: Proceedings of the 1st International Conference on Business Process Management, volume 2678 of LNCS, Berlin, Springer-Verlag (2003) 1-12
3. Smith, H., Fingar, P.: Business Process Management - The Third Wave. Meghan-Kiffer Press, Tampa (2002)
4. Smith, H., Fingar, P.: Workflow is just a pi process. BPTrends (2004) http://www.bpmi.org/downloads/LIB-2004-01-4.pdf (September 23, 2005).
5. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.: Work-flow patterns. Distributed and Parallel Databases 14(1) (2003) 5-51
6. Havey, M.: Essential Business Process Modeling. O'Reilly, Cambridge (2005)
7. Puhlmann, F., Weske, M.: Using the pi-calculus for formalizing workflow patterns. In van der Aalst, W., Benatallah, B., Casati, F., eds.: Proceedings of the 3rd International Conference on Business Process Management, volume 3649 of LNCS, Berlin, Springer-Verlag (2005) 153-168
8. Overdick, H., Puhlmann, F., Weske, M.: Towards a formal model for agile service discovery and integration. In: International Workshop on Dynamic Web Processes, associated with the 3rd International Conference on Service Oriented Computing, Amsterdam, The Netherlands (2005)
9. van der Aalst, W., van Hee, K.: Workflow Management. MIT Press (2002)
10. van der Aalst, W.M.P.: Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change. Information System Frontiers 3 (3) (2001) 297-317
11. Aalst, W.v.d., Basten, T.: Inheritance of Workflows: An approach to tackling problems related to change. Computing science reports 99/06, Eindhoven University of Technology, Eindhoven (1999)
12. van der Aalst, W.M.P., Weske, M.: The P2P approach to Interorganizational Work-flow. In Dittrich, K., Geppert, A., Norrie, M., eds.: Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), volume 2068 of LNCS, Berlin, Springer-Verlag (2001) 140-156
13. Martens, A.: Analyzing web service based business processes. In Cerioli, M., ed.: Proceedings of Intl. Conference on Fu ndamental Approaches to Software Engineering (FASE'05), Part of the 2005 European Joint Conferences on Theory and Practice of Software (ETAPS'05). Volume 3442 of Lecture Notes in Computer Science., Springer-Verlag (2005)
14. 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
15. Barendregt, H.P.: The Lambda Calculus. Elsevier, Amsterdam (1985)
16. Turing, A.M.: On computable numbers, with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society 2 (42) (1936) 230-265
17. Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Institut für Instrumentelle Mathematik, Bonn (1962)
18. Emmerich, W., Gruhn, V.: Funsoft nets: a petri-net based software process modeling language. In: IWSSD '91: Proceedings of the 6th international workshop on Software specification and design, Los Alamitos, CA, USA, IEEE Computer Society Press (1991) 175-184
19. van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8 (1) (1998) 21-66
20. Valk, R.: Self-Modifying Nets, a Natural Extension of Petri Nets. In Ausiello, G., Böhm, C., eds.: Automate, Languages, and Programming, volume 62 of LNCS, Berlin, Springer-Verlag (1978) 464-476
21. Haddad, S., Poitrenaud, D.: Theoretical aspects of recursive petri nets. In Do-natelli, S., Kleijn, J., eds.: ICATPN'99, volume 1639 of LNCS, Berlin, SpringerVerlag (1999) 228-247
22. Moldt, D., Valk, R.: Object oriented petri nets in business process modeling. In van der Aalst et al., W., ed.: Business Process Management, volume 1806 of LNCS, Berlin, Springer-Verlag (2000) 254-273
23. 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)
24. van der Aalst, W.M.P.: Pi calculus versus petri nets: Let us eat "hum-ble pie" rather than further inflate the "pi hype". BPTrends (2005) http://www.bptrends.com/publicationfiles/ 05%2D05%20Pi%20Calc%20vs%20Petri%20Nets%20%2D%20Aalst%2Epdf (September 23, 2005).
25. W3C.org: Web Service Choreography Description Language. 1.0 edn. (2004)
26. BPMI.org: Business Process Modeling Language. Technical report (2002)
27. BPMI.org: Business Process odeling Notation. 1.0 edn. (2004)
28. Sangiorgi, D.: A theory of bisimulation for the pi-calculus. In: CONCUR '93: Proceedings of the 4th International Conference on Concurrency Theory, Berlin, Springer-Verlag (1993) 127-142
29. BEA Systems, IBM, Microsoft, SAP, Siebel Systems: Business Process Execution Language for Web Services Version 1.1. (2003)