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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

68 Citaten (Scopus)
1 Downloads (Pure)


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
Originele taal-2Engels
Pagina's (van-tot)578-601
TijdschriftComputers in Industry
Nummer van het tijdschrift6
StatusGepubliceerd - 2007


Duik in de onderzoeksthema's van 'Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants'. Samen vormen ze een unieke vingerafdruk.

Citeer dit