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
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