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_database2 [2009/05/25 12:34] (current)
Line 1: Line 1:
 +====== EPC Verification in the ARIS for MySAP reference model database ======
 +B.F. van Dongen and M.H. Jansen-Vullers\\
 +//EPK 2005, 2005//\\
 +===== Abstract =====
 +Process aware information systems, such as Workflow Management Systems
 +or ERP systems require process specifications for their implementation. Since
 +many of those process specifications are similar for different companies, databases
 +with so-called reference models, such as Aris for My-SAP, have been developed.
 +These databases can be customized towards company-specific process specifications,​
 +thus keeping implementation costs down. To avoid costly problems with information
 +systems on an operational level, it is of the utmost importance that the reference models
 +used to design the information system are correct.
 +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:​Dongen2005f.pdf|Download PDF}} (686 KB)