Abstract

http://ssrn.com/abstract=1561312
 


 



Process Logic for Verifying the Correctness of Business Process Models


Henry H. Bi


Willamette University - Atkinson Graduate School of Management

J. Leon Zhao


affiliation not provided to SSRN

2004

Proceedings of the Twenty-fifth International Conference on Information Systems (ICIS 2004), pp. 91-100, Washington, D.C., USA, December 12-15, 2004

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.

Number of Pages in PDF File: 10

Keywords: Process logic, process verification, process graphs

JEL Classification: M1

working papers series





Download This Paper

Date posted: March 1, 2010  

Suggested Citation

Bi, Henry H. and Zhao, J. Leon, Process Logic for Verifying the Correctness of Business Process Models (2004). Proceedings of the Twenty-fifth International Conference on Information Systems (ICIS 2004), pp. 91-100, Washington, D.C., USA, December 12-15, 2004. Available at SSRN: http://ssrn.com/abstract=1561312 or http://dx.doi.org/10.2139/ssrn.1561312

Contact Information

Henry H. Bi (Contact Author)
Willamette University - Atkinson Graduate School of Management ( email )
900 State Street
Salem, OR 97301
United States
503-370-6225 (Phone)
HOME PAGE: http://www.willamette.edu/agsm/faculty_directory/bi.htm
J. Leon Zhao
affiliation not provided to SSRN ( email )
No Address Available
Feedback to SSRN


Paper statistics
Abstract Views: 279
Downloads: 32

© 2014 Social Science Electronic Publishing, Inc. All Rights Reserved.  FAQ   Terms of Use   Privacy Policy   Copyright   Contact Us
This page was processed by apollo2 in 0.297 seconds