Process Logic for Verifying the Correctness of Business Process Models
Henry H. Bi
Atkinson Graduate School of Management, Willamette University
J. Leon Zhao
affiliation not provided to SSRN
Proceedings of the Twenty-fifth International Conference on Information Systems (ICIS 2004), pp. 91-100, Washington, D.C., USA, December 12-15, 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.
Number of Pages in PDF File: 10
Keywords: Process logic, process verification, process graphs
JEL Classification: M1working papers series
Date posted: March 1, 2010
© 2014 Social Science Electronic Publishing, Inc. All Rights Reserved.
This page was processed by apollo1 in 0.297 seconds