Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants

To link to full-text access for this article, visit this link: http://dx.doi.org/10.1016/j.compind.2007.01.001 Byline: B.F. van Dongen, M.H. Jansen-Vullers, H.M.W. Verbeek, W.M.P. van der Aalst Keywords: Process mining; Petri nets; Event-driven Process Chains; Verification; SAP R/3 reference models Abstract: A reference model is a generic conceptual model that formalizes recommended practices for a certain domain. Today, the SAP reference models are among the most comprehensive reference models, including over 4000 entity types and covering over 1000 business processes and inter-organizational scenarios. The SAP reference models use Event-driven Process Chains (EPCs) to model these processes and scenarios. Like other informal languages, EPCs are intended to support the transition from a business model to an executable model. For this reason, researchers have tried to formalize the semantics of EPCs. However, in their approaches, they fail to acknowledge the fact that in EPCs constructs exist that require human judgment to assess correctness. This paper aims to acknowledge this fact by introducing a two-step approach. First, the EPC is reduced using universally accepted reduction rules. Second, the reduced EPC is analyzed using a mixture of state-space analysis, invariants, and human judgment. This approach has been implemented in a tool, and applying this tool to the SAP reference models showed that these contain errors, which clearly shows the added value of this verification approach. Author Affiliation: Department of Technology Management, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands Article History: Received 1 March 2006; Revised 15 January 2007; Accepted 18 January 2007