Queensland Treasury Corporation
Conceptual Business Process Models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is that most of today's commercial business process management tools provide only limited support for quality assurance beyond simple syntax checks. In this paper, the authors focus on verification of behavioral correctness as one of the major quality issues for process models. To be more concise, they introduce advanced reduction rules for EPCs in order to address the requirements of performance and identification of errors in practice. They present the verification tool xoEPC that implements the reduction rules.