Verification of SAP reference models

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

7 Citaten (Scopus)
1 Downloads (Pure)


To configure a process-aware information system (e.g., a workflow system, an ERP system), a business model needs to be transformed into an executable process model. Due to similarities in these transformations for different companies, databases with reference models, such as ARIS for MySAP, have been developed. The models stored in such a database can be customized to generate an executable model. Since these customized models are typically used on an execution level, it is of the utmost importance that both the reference models and their customizations are free of erroneous constructs. In this paper, we analyze a reference model for SAP R/3 that is stored in the ARIS for MySAP database, and we verify whether it is correct. Since the model is stored as an Event-driven Process Chains (EPC), we use a verification approach tailored towards the verification of this language to check for errors in the model. We show that using this approach adds value to a set of reference models, such as ARIS for MySAP, since modelling errors are discovered at an early stage and can be avoided on an execution level.
Originele taal-2Engels
TitelBusiness Process Management : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005. Proceedings
RedacteurenW.M.P. Aalst, van der, B. Benatallah, F. Casati
Plaats van productieBerlin
ISBN van geprinte versie978-3-540-28238-9
StatusGepubliceerd - 2005
Evenement3rd International Conference on Business Process Management (BPM 2005), September 5-8, 2005, Nancy, France, - Nancy, Frankrijk
Duur: 5 sep. 20058 sep. 2005

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743


Congres3rd International Conference on Business Process Management (BPM 2005), September 5-8, 2005, Nancy, France,
Verkorte titelBPM 2005
AnderThe Third International Conference on business Process Management (BMP 2005)


Duik in de onderzoeksthema's van 'Verification of SAP reference models'. Samen vormen ze een unieke vingerafdruk.

Citeer dit