Why Do We Actually Need the Pi-Calculus for Business Process Management?
暂无分享,去创建一个
[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.