Data Flow Modeling and Verification in Business Process Management

10th Americas Conference on Information Systems, AMCIS 2004

Volumn , Issue , 2004, Pages 4064-4073

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

^a UNIVERSITY OF ARIZONA   (United States)

^b UNIVERSITY OF UTAH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; DATA FLOW ANALYSIS; ENTERPRISE RESOURCE MANAGEMENT;

BUSINESS PROCESS; CONTROL-FLOW; DATA FLOW MODELING; DATAFLOW; MODELING AND VERIFICATIONS; MODELLING TOOLS; PROCESS MANAGEMENT; STANDARD SOLUTIONS; WORKFLOW MODELS; WORKFLOW TECHNOLOGY;

DATA TRANSFER;

EID: 85139033158     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Bajaj, A. and Ram, S. (2002) Seam: A state-entity-activity-model for a well-defined workflow development methodology, Knowledge and Data Engineering, IEEE Transactions on, 14, 2, 415-431.
2. Basu, A. and Blanning, R. W. (2000) A formal approach to workflow analysis, Information Systems Research, 11, 1, 17-36.
3. Basu, A. and Kumar, A. (2002) Workflow management issues in e-business, Information Systems Research, 13, 1, 1-14.
4. Bi, H. H. and Zhao, J. L. (2004) Applying propositional logic to workflow verification, Information Technology and Management: Special Issue on Workflow and E-business, Forthcoming.
5. Curtis, B., Kellner, M. I. and Over, J. (1992) Process modeling, Communications of the ACM, 35, 9, 75-90.
6. Georgakopoulos, D., Hornick, M. and Sheth, A. (1995) An overview of workflow management: From process modeling to workflow automation infrastructure, Distributed and Parallel Database, 3, 119-153.
7. Stohr, E. A. and Zhao, J. L. (2001) Workflow automation: Overview and research issues, Information Systems Frontiers, 3, 3, 281-296.
8. van der Aalst, W. (1998) The application of petri nets to workflow management, The Journal of Circuits Systems and Computers, 8, 1, 21-66.
9. van der Aalst, W. and van Hee, K. (2002) Workflow management: Models, methods, and systems, The MIT Press, Cambridge, Massachusetts, London, England.
10. Yourdon, E. and Constantine, L. L. (1979) Structured design, Prentice Hall, Englewood Cliffs, NJ.