Formulating the Data-Flow Perspective for Business Process Management
暂无分享,去创建一个
Olivia R. Liu Sheng | Jay F. Nunamaker | J. Leon Zhao | Sherry X. Sun | J. Nunamaker | J. Zhao | O. Sheng | O. Sheng
[1] Jong Woo Kim,et al. KWM: Knowledge-based Workflow Model for Agile Organization , 1999, Journal of Intelligent Information Systems.
[2] Wolfgang Polak,et al. Formal Verification of Ada Programs , 1990, IEEE Trans. Software Eng..
[3] Amit P. Sheth,et al. An overview of workflow management: From process modeling to workflow automation infrastructure , 1995, Distributed and Parallel Databases.
[4] Robert W. Blanning,et al. Model Integration Using Metagraphs , 1994, Inf. Syst. Res..
[5] Bill Curtis,et al. Process modeling , 1992, CACM.
[6] Akhil Kumar,et al. Dynamic Routing and Operational Controls in Workflow Management Systems , 1999 .
[7] Howard Smith,et al. IT Doesn't Matter-Business Processes Do: A Critical Analysis of Nicholas Carr's I.T. Article in the Harvard Business Review , 2003 .
[8] P. R. Balasubramanian,et al. Dynamic workflow management: a framework for modeling workflows , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.
[9] Wil M. P. van der Aalst,et al. Workflow Patterns , 2004, Distributed and Parallel Databases.
[10] Robert W. Blanning,et al. A Formal Approach to Workflow Analysis , 2000, Inf. Syst. Res..
[11] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..
[12] F. Rash,et al. Independent verification and validation (computer programs) , 1990, IEEE Potentials.
[13] Glenford J. Myers,et al. Structured Design , 1999, IBM Syst. J..
[14] Sudha Ram,et al. SEAM: A State-Entity-Activity-Model for a Well-Defined Workflow Development Methodology , 2002, IEEE Trans. Knowl. Data Eng..
[15] Ali Mili. Introduction to Program Verification , 1985 .
[16] Akhil Kumar,et al. Organizational Knowledge Distribution: An Experimental Evaluation , 2004, AMCIS.
[17] Michael J. Earl,et al. Strategies for Business Process Reengineering: Evidence from Field Studies , 1995, J. Manag. Inf. Syst..
[18] Akhil Kumar,et al. Workflow support for electronic commerce applications , 2002, Decis. Support Syst..
[19] D.R. Wallace,et al. Software verification and validation: an overview , 1989, IEEE Software.
[20] Maria E. Orlowska,et al. Data Flow and Validation in Workflow Modelling , 2004, ADC.
[21] Mathias Weske,et al. The OCoN Approach to Workflow Modeling in Object-Oriented Systems , 2001, Inf. Syst. Frontiers.
[22] Zhaohao Sun,et al. Experience based reasoning for recognising fraud and deception , 2004, Fourth International Conference on Hybrid Intelligent Systems (HIS'04).
[23] Wil M. P. van der Aalst,et al. Verification Of Workflow Task Structures: A Petri-net-baset Approach , 2000, Inf. Syst..
[24] Henry H. Bi,et al. On the Completeness of Logic-Based Workflow Verification , 2003 .
[25] Akhil Kumar,et al. Research Commentary: Workflow Management Issues in e-Business , 2002, Inf. Syst. Res..
[26] Ali Mili. An Introduction to Formal Program Verification , 1985 .
[27] Henry H. Bi,et al. Applying Propositional Logic to Workflow Verification , 2004, Inf. Technol. Manag..
[28] H. K. Berg. Formal methods of program verification and specification , 1982 .
[29] Olivia R. Liu Sheng,et al. Data Flow Modeling and Verification in Business Process Management , 2004, AMCIS.
[30] Rajeev Rastogi,et al. ConTracts - A Low-Level Mechanism for Building General-Purpose Workflow Management-Systems. , 1995 .
[31] J. Leon Zhao,et al. Workflow Automation: Overview and Research Issues , 2001, Inf. Syst. Frontiers.
[32] Henry H. Bi,et al. A Formal Classification of Process Anomalies for Workflow Verification , 2003 .
[33] Frank Rash. Independent verification and validation , 1990 .
[34] Robert W. Blanning,et al. Metagraphs: a tool for modeling decision support systems , 1994 .