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