Abstract

http://ssrn.com/abstract=1561312
 


 



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

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)
Atkinson Graduate School of Management, Willamette University ( 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: 259
Downloads: 31

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