Differences

This shows you the differences between two versions of the page.

Link to this comparison view

blogs:pub2005:epc_verification_in_the_aris_for_mysap_reference_model_database [2009/05/25 12:24] (current)
Line 1: Line 1:
 +====== EPC Verification in the ARIS for MySAP reference model database ======
  
 +B.F. van Dongen and M.H. Vullers-Jansen\\
 +//BETA Working Paper Series, WP 142, Eindhoven University of Technology, Eindhoven, 2005//\\
 +
 +===== 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 selection of the reference models for SAP
 +R/3 that are stored in the ARIS for MySAP database, and we verify
 +whether they are correct. Since these models are stored as Event-driven
 +Process Chains (EPCs), we use a verification approach tailored towards
 +the verification of this language to check for errors in the models. We
 +show that the reference models in ARIS for MySAP indeed contain some
 +errors and we present the implications of those errors, if these models
 +would be used for the execution of business processes.
 +
 +===== Links =====
 +
 +{{publications:​Dongen2005e.pdf|Download PDF}} (671 KB)