A Workflow Verification Method Based on Calculus.
暂无分享,去创建一个
[1] Wil M. P. van der Aalst,et al. An Alternative Way to Analyze Workflow Graphs , 2002, CAiSE.
[2] Vijayalakshmi Atluri,et al. Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.
[3] Hao Lin,et al. A novel graph reduction algorithm to identify structural conflicts , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.
[4] Howard Smith,et al. Business Process Management: The Third Wave , 2003 .
[5] Joachim Parrow,et al. An introduction to the pi-calculus , 2001 .
[6] Mathias Weske,et al. Using the pi-Calculus for Formalizing Workflow Patterns , 2005, Business Process Management.
[7] Maria E. Orlowska,et al. Verification Problems in Conceptual Workflow Specifications , 1996, Data Knowl. Eng..
[8] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .
[9] Manuel Mazzara,et al. A Formal Framework for Web Services Coordination , 2007, Electron. Notes Theor. Comput. Sci..
[10] Maria E. Orlowska,et al. Analyzing Process Models Using Graph Reduction Techniques , 2000, Inf. Syst..
[11] Yu Guo,et al. First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China , 2007, TASE.
[12] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..
[13] Kees M. van Hee,et al. Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.
[14] Peter Fingar,et al. Workflow is just a pi process , 2003 .
[15] Henry H. Bi,et al. Applying Propositional Logic to Workflow Verification , 2004, Inf. Technol. Manag..
[16] Maria E. Orlowska,et al. On Correctness Issues in Conceptual Modelling of Workflows , 1997, ECIS.