A Formal Classification of Process Anomalies for Workflow Verification
Henry H. Bi
Atkinson Graduate School of Management, Willamette University
J. Leon Zhao
affiliation not provided to SSRN
Proceedings of the Thirteenth Workshop on Information Technologies and Systems (WITS 2003), pp. 207-212, Seattle, WA, USA, December 13-14, 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.
Number of Pages in PDF File: 6
Keywords: process anomalies, process modeling, structural errors, taxonomy of process anomalies, workflow verification
JEL Classification: M1working papers series
Date posted: March 1, 2010
© 2013 Social Science Electronic Publishing, Inc. All Rights Reserved.
This page was processed by apollo3 in 1.046 seconds