Formulating the data-flow perspective for business process management

Information Systems Research

Volumn 17, Issue 4, 2006, Pages 374-391

  Sun, Sherry X ^a   Zhao, J Leon ^a   Nunamaker, Jay F ^a   Sheng, Olivia R Liu ^b  

^a UNIVERSITY OF ARIZONA   (United States)

^b UNIVERSITY OF UTAH   (United States)

Author keywords

Data flow anomalies; Data flow specification; Data flow verification; Dependency analysis; Process data diagram; Workflow modeling

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; DATA FLOW ANALYSIS; DATA TRANSFER; ENTERPRISE RESOURCE MANAGEMENT; FORMAL SPECIFICATION; SPECIFICATIONS; WORK SIMPLIFICATION;

BUSINESS PROCESS MANAGEMENT; DATA FLOW; DEPENDENCY ANALYSIS; PROCESS DATA; WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW MODELING; WORKFLOW MODELING AND ANALYSIS; WORKFLOW TECHNOLOGY;

INFORMATION MANAGEMENT;

EID: 33847060397     PISSN: 10477047     EISSN: 15265536     Source Type: Journal    
DOI: 10.1287/isre.1060.0105     Document Type: Article

References (34)

1. Bajaj, A., S. Ram. 2002. Seam: A state-entity-activity-model for a well-defined workflow development methodology. IEEE Trans. Knowledge Data Engrg. 14(2) 415-431.
2. Basu, A., R. W. Blanning. 1994a. Metagraphs: A tool for modeling decision support systems. Management Sci. 40(12) 1579-1600.
3. Basu, A., R. W. Blanning. 1994b. Model integration using metagraphs. Inform. Systems Res. 5(3) 195-218.
4. Basu, A., R. W. Blanning. 2000. A formal approach to workflow analysis. Inform. Systems Res. 11(1) 17-36.
5. Basu, A., A. Kumar. 2002. Workflow management issues in e-business. Inform. Systems Res. 13(1) 1-14.
6. Berg, H. K., W. E. Boebert, W. R. Franta, T. G. Moher. 1982. Formal Methods of Program Verification and Specifcation. Prentice Hall, Englewood Cliffs, NJ.
7. Bi, H. H., J. L. Zhao. 2003. A formal classification of process anomalies for workflow verification. 13th Workshop Inform. Tech. Systems (Dec. 13-14).
8. Bi, H. H., J. L. Zhao. 2004. Applying prepositional logic to workflow verification. Inform. Tech. Management 5(3-4) 293-318.
9. Curtis, B., M. I. Kellner, J. Over. 1992. Process modeling. CACM 35(9) 75-90.
10. Davenport, T. H. 1993. Process Innovation. Harvard Business School Press, Cambridge, MA.
11. Earl, M. J., J. L. Sampler, J. E. Short. 1995. Strategies for business process reengineering: Evidence from field studies. J. Management Inform. Systems 12(1) 31-56.
12. Georgakopoulos, D., M. Hornick, A. Sheth. 1995. An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed and Parallel Database 3 119-153.
13. Guaspari, D., C. Marceau, W. Polak. 1990. Formal verification of Ada programs. IEEE Trans. Software Engrg. 16(9) 1058-1075.
14. Kappel, G., P. Lang, S. Rausch-Schott, W. Retschitzegger. 1995. Workflow management based on objects, rules, and roles. IEEE Data Engrg. Bull. 18(1) 11-18.
15. Krauskopf, R., F. Rash. 1990. Independent verification and validation. IEEE Potentials 9(2) 12-14.
16. Kumar, A., J. L. Zhao. 1999. Dynamic routing and operational control in workflow management systems. Management Sci. 35(2) 253-272.
17. Kumar, A., J. L. Zhao. 2002. Workflow support for electronic commerce applications. Decision Support System 32 265-278.
18. Kwan, M. M., P. R. Balasubramanian. 1997. Dynamic workflow management: A framework for modeling workflows. Proc. HICSS 1997, Vol. 4. IEEE Computer Society Press, 367-376.
19. Lee, H. B., J. W. Kim, S. J. Park. 1999. KWM: Knowledge-based workflow model for agile organization. J. Intelligent Inform. Systems 13 261-278.
20. Mili, A. 1985. An Introduction to Formal Program Verification. Van Nostrand Reinhold Company, New York.
21. Reuter, A., F. Schwenkreis. 1995. Contracts: A low level mechanism for building general purpose workflow management systems. IEEE Data Engrg. Bull. 18(1) 41-47.
22. Sadiq, S., M. Orlowska, W. Sadiq, C. Foulger. 2004. Data flow and validation in workflow modeling. Proc. 15th Australasian Database Conf. (Jan. 18-22) 207-214.
23. Sarnikar, S., J. L. Zhao, A. Kumar. 2004. Organizational knowledge distribution: An experimental evaluation. Proc. AMCIS 2004 (Aug. 5-8) 2305-2314.
24. Smith, H., P. Fingar. 2003. IT doesn't matter? Business processes do. Meghan-Kiffer Press, Tampa, FL.
25. Stohr, E. A., J. L. Zhao. 2001. Workflow automation: Overview and research issues. Inform. Systems Frontiers 3(3) 281-296.
26. Sun, S. X., J. L. Zhao. 2004. A data flow approach to workflow design. Proc. WITS 2004 (Dec. 11-12) 80-85.
27. Sun, S. X., J. L. Zhao, O. R. Sheng. 2004. Data flow modeling and verification in business process management. Proc. AMCIS 2004 (Aug. 6-8) 4064-4073.
28. van der Aalst, W. M. P. 1998. The application of Petri nets to workflow management. J. Circuits Systems Comput. 8(1) 21-66.
29. van der Aalst, W. M. P., A. ter Hofstede. 2000. Verification of workflow task structures: A Petri-net-based approach. Inform. Systems 25(1) 43-69.
30. van der Aalst, W. M. P., A. H. M. ter Hofsted, B. Kiepuszewski, A. P. Barros. 2003. Workflow patterns: Distributed and parallel databases. 14(1) 5-51.
31. Wallace, D. R., R. U. Fujii. 1989. Software verification and validation: An overview. IEEE Software 6(3) 10-17.
32. Wirtz, G., M. Weske, H. Giese. 2001. The OCoN approach to workflow modeling in object-oriented systems. Inform. Systems Frontiers 3(3) 357-376.
33. Yourdon, E., L. L. Constantine. 1979. Structured Design. Prentice Hall, Englewood Cliffs, NJ.
34. Zhao, J. L., H. H. Bi. 2003. On the completeness of logic-based workflow verification. 13th Workshop Inform. Tech. Systems (Dec. 13-14).