Process Logic for Verifying the Correctness of Business Process Models
Henry H. Bi
Willamette University - Atkinson Graduate School of Management
J. Leon Zhao
City University of Hong Kong (CityUHK)
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: M1
Date posted: March 1, 2010
© 2016 Social Science Electronic Publishing, Inc. All Rights Reserved.
This page was processed by apollobot1 in 2.172 seconds