A Formal Classification of Process Anomalies for Workflow Verification
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
6 Pages Posted: 1 Mar 2010 Last revised: 28 Apr 2019
Date Written: 2003
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: Suggested Citation