Mending the Lag Between Commerce and Research: A Logic-Based Workflow Verification Approach

Henry H. Bi, J. Leon Zhao. 2003. Mending the Lag Between Commerce and Research: A Logic-Based Workflow Verification Approach. Proceedings of the Eighth INFORMS-Computing-Society Conference (ICS 2003), Chandler, AZ, USA, January 8-10, 2003. pp. 191-212. DOI: 10.1007/978-1-4615-1043-7_10

12 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

Chinese University of Hong Kong, Shenzhen

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

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

JEL Classification: M1

Suggested Citation

Bi, Henry H. and Zhao, J. Leon, Mending the Lag Between Commerce and Research: A Logic-Based Workflow Verification Approach (2003). Henry H. Bi, J. Leon Zhao. 2003. Mending the Lag Between Commerce and Research: A Logic-Based Workflow Verification Approach. Proceedings of the Eighth INFORMS-Computing-Society Conference (ICS 2003), Chandler, AZ, USA, January 8-10, 2003. pp. 191-212. DOI: 10.1007/978-1-4615-1043-7_10, Available at SSRN: https://ssrn.com/abstract=1561294 or http://dx.doi.org/10.2139/ssrn.1561294

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
33
Abstract Views
931
PlumX Metrics