Abstract

http://ssrn.com/abstract=1561294
 
 

Citations (2)



 


 



Mending the Lag between Commercial Needs and Research Prototypes: A Logic-Based Workflow Verification Approach


Henry H. Bi


Atkinson Graduate School of Management, Willamette University

J. Leon Zhao


affiliation not provided to SSRN

2003

Proceedings of the Eighth INFORMS-Computing-Society Conference (ICS 2003), pp.191-212, Chandler, AZ, USA, January 8-10, 2003

Abstract:     
The increasing complexity of business processes in recent years has heightened the need for workflow verification tools. However, there is a significant lag between current commercial needs and research prototypes. Our investigation indicates that existing workflow verification tools depend largely on the Petri net formalism, which is more complex than the modeling formalisms in commercial workflow systems. This makes it difficult to apply those workflow verification tools to commercial workflow systems. This lag between commerce and research motivated our study in developing an alternative approach to workflow verification. In this paper, we propose a logic-based verification method that is easier to implement in commercial workflow systems than Petri-net-based verification methods. We further demonstrate that our logic-based workflow verification approach is simple, yet powerful enough to handle complex, including cyclic, workflow models.

Number of Pages in PDF File: 12

Keywords: logic-based workflow verification, Petri nets, business process management, workflow verification

JEL Classification: M1

working papers series





Download This Paper

Date posted: March 1, 2010  

Suggested Citation

Bi, Henry H. and Zhao, J. Leon, Mending the Lag between Commercial Needs and Research Prototypes: A Logic-Based Workflow Verification Approach (2003). Proceedings of the Eighth INFORMS-Computing-Society Conference (ICS 2003), pp.191-212, Chandler, AZ, USA, January 8-10, 2003. Available at SSRN: http://ssrn.com/abstract=1561294 or http://dx.doi.org/10.2139/ssrn.1561294

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: 151
Downloads: 10
Citations:  2

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