Formulating the Data-Flow Perspective for Business Process Management

Workflow technology has become a standard solution for managing increasingly complex business processes. Successful business process management depends on effective workflow modeling and analysis. One of the important aspects of workflow analysis is the data-flow perspective because, given a syntactically correct process sequence, errors can still occur during workflow execution due to incorrect data-flow specifications. However, there have been only scant treatments of the data-flow perspective in the literature and no formal methodologies are available for systematically discovering data-flow errors in a workflow model. As an indication of this research gap, existing commercial workflow management systems do not provide tools for data-flow analysis at design time. In this paper, we provide a data-flow perspective for detecting data-flow anomalies such as missing data, redundant data, and potential data conflicts. Our data-flow framework includes two basic components: data-flow specification and data-flow analysis; these components add more analytical rigor to business process management.

[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 .