A Formal Classification of Process Anomalies for Workflow Verification

6 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: 2003

Abstract

Recently, more attention has been paid by researchers to the methodologies of verifying structural anomalies in workflow models, or simply workflow verification. However, there is a lack of systematic treatment of process anomalies that is needed to validate workflow verification methodologies and tools. In this paper, we investigate all possible process anomalies and formally define them using a graphical formalism. The result of our research is a taxonomy of process anomalies that is a step towards a theoretical foundation for process modeling and workflow verification.

Keywords: process anomalies, process modeling, structural errors, taxonomy of process anomalies, workflow verification

JEL Classification: M1

Suggested Citation

Bi, Henry H. and Zhao, J. Leon, A Formal Classification of Process Anomalies for Workflow Verification (2003). Henry H. Bi, J. Leon Zhao. 2003. A Formal Classification of Process Anomalies for Workflow Verification. Proceedings of the Thirteenth Workshop on Information Technologies and Systems (WITS 2003), Seattle, WA, USA, December 13-14, 2003. pp. 207-212. DOI: 10.2139/ssrn.1561314, Available at SSRN: https://ssrn.com/abstract=1561314 or http://dx.doi.org/10.2139/ssrn.1561314

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

Here is the Coronavirus
related research on SSRN

Paper statistics

Downloads
63
Abstract Views
1,037
rank
382,683
PlumX Metrics