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
Date Written: 2004
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). 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