PROCESS LOGIC FOR VERIFYING THE CORRECTNESS OF BUSINESS PROCESS MODELS

Proceedings of the International Conference on Information Systems, ICIS 2004

Volumn , Issue , 2004, Pages 91-100

  Bi, Henry H ^a   Zhao, J Leon ^b  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

^b UNIVERSITY OF ARIZONA   (United States)

Author keywords

process graphs; Process logic; process verification

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTER CIRCUITS; ENTERPRISE RESOURCE MANAGEMENT;

ADVANCED PROCESS; BUSINESS PROCESS; BUSINESS PROCESS MODELING; LOGICAL FORMALISM; MATHEMATICAL METHOD; PROCESS GRAPHS; PROCESS LOGIC; PROCESS MANAGEMENT; PROCESS VERIFICATIONS; PROCESS-MODELS;

SEMANTICS;

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

References (14)

1. th INFORMS Computing Society Conference, H. K. Bhargava and N. Ye (Eds.), Chandler, AZ, January 8-10, 2003, pp. 191-212.
2. Bi, H. H., and Zhao, J. L. “Applying Propositional Logic to Workflow Verification,” Information Technology and Management (5:3-4), 2004a, pp. 293-318.
3. Bi, H. H., and Zhao, J. L. “Process Graphs: A Formal Language for Business Process Modeling and Analysis,” Working paper, Department of Supply Chain and Information Systems, Pennsylvania State University, 2004b.
4. Bonner, A. J., and Kifer, M. “An Overview of Transaction Logic,” Theoretical Computer Science (133:2), 1994, pp. 205-265.
5. Choi, Y., and Zhao, J. L. “Handling Cycles in Workflow Verification by Feedback Identification and Partition,” in Proceedings of the 2003 International Conference on Information and Knowledge Engineering, Las Vegas, Nevada, June 23-26, 2003.
6. st Workshop on e-Business, Barcelona, Spain, December 14-15, 2002, pp. 154-165.
7. Davenport, T. H. Process Innovation: Reengineering Work through Information Technology, Harvard Business School Press, Boston, MA, 1993.
8. Kifer, M. “Transaction Logic for the Busy Workflow Professional,” unpublished manuscript, 1996 (available online at CiteSeer.IST: http://citeseer.ist.psu/edu/).
9. Lin, F. R., Yang, M. C., and Pai, Y. H. “A Generic Structure for Business Process Modeling,” Business Process Management Journal (8:1), 2002, pp. 19-41.
10. Mayer, R. J., Menzel, C. P., Painter, M. K., deWitte, P. S., Blinn, T., and Perakath, B. Information Integration for Concurrent Engineering: IDEF3 Process Description Capture Method Report, Knowledge Based Systems, Incorporated, College Station, TX, 1995.
11. Sadiq, W., and Orlowska, M.E. “Analyzing Process Models Using Graph Reduction Techniques,” Information Systems (25:2), 2000, pp. 117-134.
12. th International Conference on Advanced Information Systems Engineering (CAiSE'02), Springer-Verlag, Berlin, 2002, pp. 535-552.
13. Van der Aalst, W. M. P., and Kumar, A. “XML-Based Schema Definition for Support of Inter-organizational Workflow, Information Systems Research. (14:1), 2003, pp. 23-46.
14. Verbeek, H. M. W., Basten, T., and Van der Aalst, W. M. P. “Diagnosing Workflow Processes Using Woflan,” The Computer Journal (44:4), 2001, pp. 246-279.