Sciweavers

SIGSAND
2008

Advanced Reduction Rules for the Verification of EPC Business Process Models

13 years 11 months ago
Advanced Reduction Rules for the Verification of EPC Business Process Models
: 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 we focus on verification of behavioral correctness as one of the major quality issues for process models. To be more concise, we introduce advanced reduction rules for EPCs in order to address the requirements of performance and identification of errors in practice. We present the verification tool xoEPC that implements the reduction rules. It provides detailed feedback to the modeler where errors are located in the model, and generates a report on quality issues in a process model collection. We present the application of xoEPC to the analysis of the SAP reference model to illustrate the tool.
Jan Mendling, Wil M. P. van der Aalst
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2008
Where SIGSAND
Authors Jan Mendling, Wil M. P. van der Aalst
Comments (0)