Why Do We Actually Need the Pi-Calculus for Business Process Management?

This paper discusses the applicability of a process algebra, the π-calculus, as a formal foundation for Business Process Management (BPM). We therefore investigate the π-calculus from a technical viewpoint based on current work in this area. The paper summarizes shifting requirements and discusses evolving theories behind BPM from the past over state–of–the–art to the future. The concepts and theories are concluded by an illustrating example highlighting why the π-calculus is a promising foundation for future BPM.

[1]  Peter Fingar,et al.  Workflow is just a pi process , 2003 .

[2]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[3]  Mathias Weske,et al.  Using the pi-Calculus for Formalizing Workflow Patterns , 2005, Business Process Management.

[4]  Daniel Moldt,et al.  Object Oriented Petri Nets in Business Process Modeling , 2000, Business Process Management.

[5]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[6]  Harold T. Hodes,et al.  The | lambda-Calculus. , 1988 .

[7]  Davide Sangiorgi,et al.  A Theory of Bisimulation for the pi-Calculus , 1993, CONCUR.

[8]  Michael Havey,et al.  Essential business process modeling , 2005 .

[9]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[10]  Umeshwar Dayal,et al.  Organizing long-running activities with triggers and transactions , 1990, SIGMOD '90.

[11]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[12]  Omg Available Specification.  Business Process Modeling Notation, V1.1 , 2008 .

[13]  Volker Gruhn,et al.  FUNSOFT nets: a Petri-net based software process modeling language , 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.

[14]  Rüdiger Valk.  Self-Modifying Nets, a Natural Extension of Petri Nets , 1978, ICALP.

[15]  W.M.P. van der Aalst,et al.  YAWL: yet another workflow language (revised version) , 2003 .

[16]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[17]  Mathias Weske,et al.  Towards a Formal Model for Agile Service Discovery and Integration , 2005 .

[18]  Adam Arkin.  Business process Modeling Language , 2002 .

[19]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[20]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.

[21]  Howard Smith,et al.  Business Process Management: The Third Wave , 2003 .

[22]  Wil M.P. van der Aalst,et al.  Pi calculus versus petri nets: let us eat humble pie rather than further inflate the Pi hype , 2005 .

[23]  Serge Haddad,et al.  Theoretical Aspects of Recursive Petri Nets , 1999, ICATPN.

[24]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[25]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[26]  Shalini Batra,et al.  Web Service Choreography Description Language ( WS-CDL ) : Goals and Benefits , 2007 .

[27]  C. Petri.  Kommunikation mit Automaten , 1962 .

[28]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[29]  Wil M. P. van der Aalst,et al.  Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change , 2001, Inf. Syst. Frontiers.

[30]  Mathias Weske,et al.  The P2P Approach to Interorganizational Workflows , 2001, International Conference on Advanced Information Systems Engineering.