Applying Propositional Logic to Workflow Verification

Henry H. Bi, J. Leon Zhao. 2004. Applying Propositional Logic to Workflow Verification. Information Technology and Management (1385-951X). 5(3-4): 293-318. DOI: 10.1023/b:item.0000031583.16306.0f

26 Pages Posted: 1 Mar 2010 Last revised: 26 Apr 2019

See all articles by Henry H. Bi

Henry H. Bi

Willamette University - Atkinson Graduate School of Management

J. Leon Zhao

Chinese University of Hong Kong, Shenzhen

Date Written: 2004

Abstract

The increasing complexity of business processes in the era of e-business has heightened the need for workflow verification tools. However, workflow verification remains an open and challenging research area. As an indication, most of commercial workflow management systems do not yet provide workflow designers with formal workflow verification tools. We propose a logic-based verification method that is based on a well-known formalism, i.e., propositional logic. Our logic-based workflow verification approach has distinct advantages such as its rigorous yet simplistic logical formalism and its ability to handle generic activity-based process models. In this paper, we present the theoretical framework for applying propositional logic to workflow verification and demonstrate that logic-based workflow verification is capable of detecting process anomalies in workflow models.

Keywords: business process management, constrained truth table, logic-based workflow verification, propositional logic, workflow verification

JEL Classification: M1

Suggested Citation

Bi, Henry H. and Zhao, J. Leon, Applying Propositional Logic to Workflow Verification (2004). Henry H. Bi, J. Leon Zhao. 2004. Applying Propositional Logic to Workflow Verification. Information Technology and Management (1385-951X). 5(3-4): 293-318. DOI: 10.1023/b:item.0000031583.16306.0f, Available at SSRN: https://ssrn.com/abstract=1561288

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

Chinese University of Hong Kong, Shenzhen ( email )

Do you have negative results from your research you’d like to share?

Paper statistics

Downloads
69
Abstract Views
754
Rank
598,765
PlumX Metrics