Formulating the Data-Flow Perspective for Business Process Management

References

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