Process Logic for Verifying the Correctness of Business Process Models

Henry H. Bi, J. Leon Zhao. 2004. Process Logic for Verifying the Correctness of Business Process Models. Proceedings of the Twenty-fifth International Conference on Information Systems (ICIS 2004), Washington, D.C., USA, December 12-15, 2004. pp. 91-100. DOI: 10.2139/ssrn.1561312

10 Pages Posted: 1 Mar 2010 Last revised: 28 Apr 2019

See all articles by Henry H. Bi

Henry H. Bi

Willamette University - Atkinson Graduate School of Management

J. Leon Zhao

City University of Hong Kong (CityUHK)

Date Written: 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.

Keywords: Process logic, process verification, process graphs

JEL Classification: M1

Suggested Citation

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

Henry H. Bi (Contact Author)

Willamette University - Atkinson Graduate School of Management ( email )

900 State Street
Salem, OR 97301
United States

HOME PAGE: http://willamette.edu/mba/faculty-research/faculty/bi/index.html

J. Leon Zhao

City University of Hong Kong (CityUHK)

83 Tat Chee Avenue
Kowloon
Hong Kong

Register to save articles to
your library

Register

Paper statistics

Downloads
58
Abstract Views
934
rank
368,954
PlumX Metrics