A Formal Classification of Process Anomalies for Workflow Verification

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.