Process Logic for Verifying the Correctness of Business Process Models

Bi, Henry H.; Zhao, J. Leon

doi:10.2139/ssrn.1561312

Download This Paper

Open PDF in Browser

Add Paper to My Library

Process Logic for Verifying the Correctness of Business Process Models

Henry H. Bi, J. Leon Zhao. 2004. Process Logic for Verifying the Correctness of Business Process Models. Proceedings of the Twenty-fifth International Conference on Information Systems (ICIS 2004), Washington, D.C., USA, December 12-15, 2004. pp. 91-100. DOI: 10.2139/ssrn.1561312

10 Pages Posted: 1 Mar 2010 Last revised: 28 Apr 2019

See all articles by Henry H. Bi

Henry H. Bi

Willamette University - Atkinson Graduate School of Management

J. Leon Zhao

Chinese University of Hong Kong, Shenzhen

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: Suggested Citation

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