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.
Recommended Citation
Bi, Henry and Zhao, Leon, "Process Logic for Verifying the Correctness of Business Process Models" (2004). ICIS 2004 Proceedings. 8.
https://aisel.aisnet.org/icis2004/8