Abstract

http://ssrn.com/abstract=1561288
 
 

References (17)



 
 

Citations (1)



 


 



Applying Propositional Logic to Workflow Verification


Henry H. Bi


Atkinson Graduate School of Management, Willamette University

J. Leon Zhao


affiliation not provided to SSRN

2004

Information Technology & Management, Vol. 5, Nos. 3-4, pp. 293-318, 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.

Number of Pages in PDF File: 26

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

JEL Classification: M1

Accepted Paper Series


Download This Paper

Date posted: March 1, 2010  

Suggested Citation

Bi, Henry H. and Zhao, J. Leon, Applying Propositional Logic to Workflow Verification (2004). Information Technology & Management, Vol. 5, Nos. 3-4, pp. 293-318, 2004. Available at SSRN: http://ssrn.com/abstract=1561288

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: 203
Downloads: 32
References:  17
Citations:  1

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