Verification of SAP reference models

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationBusiness Process Management : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005. Proceedings
EditorsW.M.P. Aalst, van der, B. Benatallah, F. Casati
Place of PublicationBerlin
PublisherSpringer
Pages464-469
ISBN (Print)978-3-540-28238-9
DOIs
Publication statusPublished - 2005
Event3rd International Conference on Business Process Management (BPM 2005), September 5-8, 2005, Nancy, France, - Nancy, France
Duration: 5 Sep 20058 Sep 2005

Publication series

NameLecture Notes in Computer Science
Volume3649
ISSN (Print)0302-9743

Conference

Conference3rd International Conference on Business Process Management (BPM 2005), September 5-8, 2005, Nancy, France,
Abbreviated titleBPM 2005
CountryFrance
CityNancy
Period5/09/058/09/05

Fingerprint Dive into the research topics of 'Verification of SAP reference models'. Together they form a unique fingerprint.

  • Cite this

    Dongen, van, B. F., & Jansen-Vullers, M. H. (2005). Verification of SAP reference models. In W. M. P. Aalst, van der, B. Benatallah, & F. Casati (Eds.), Business Process Management : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005. Proceedings (pp. 464-469). (Lecture Notes in Computer Science; Vol. 3649). Berlin: Springer. https://doi.org/10.1007/11538394_41