Download this Paper Open PDF in Browser

Process Logic for Verifying the Correctness of Business Process Models

Proceedings of the Twenty-fifth International Conference on Information Systems (ICIS 2004), pp. 91-100, Washington, D.C., USA, December 12-15, 2004

10 Pages Posted: 1 Mar 2010  

Henry H. Bi

Willamette University - Atkinson Graduate School of Management

J. Leon Zhao

City University of Hong Kong (CityUHK)

Date Written: 2004

Abstract

Process verification is a key step in business process management. In this paper, we propose process logic as a new logical formalism and mathematical method to enable advanced process verification. We formally define the syntax and semantics of process logic, establish a formal relationship between process logic and graphical representation of process models, and transform the problem of verifying the correctness of process models into a problem of determining the validity of logic argument forms.

Keywords: Process logic, process verification, process graphs

JEL Classification: M1

Suggested Citation

Bi, Henry H. and Zhao, J. Leon, Process Logic for Verifying the Correctness of Business Process Models (2004). Proceedings of the Twenty-fifth International Conference on Information Systems (ICIS 2004), pp. 91-100, Washington, D.C., USA, December 12-15, 2004. Available at SSRN: https://ssrn.com/abstract=1561312 or http://dx.doi.org/10.2139/ssrn.1561312

Henry H. Bi (Contact Author)

Willamette University - Atkinson Graduate School of Management ( email )

900 State Street
Salem, OR 97301
United States

HOME PAGE: http://willamette.edu/mba/faculty-research/faculty/bi/index.html

J. Leon Zhao

City University of Hong Kong (CityUHK)

83 Tat Chee Avenue
Kowloon
Hong Kong

Paper statistics

Downloads
50
Abstract Views
568