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.
|Title of host publication||Business Process Management : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005. Proceedings|
|Editors||W.M.P. Aalst, van der, B. Benatallah, F. Casati|
|Place of Publication||Berlin|
|Publication status||Published - 2005|
|Event||3rd International Conference on Business Process Management (BPM 2005), September 5-8, 2005, Nancy, France, - Nancy, France|
Duration: 5 Sept 2005 → 8 Sept 2005
|Name||Lecture Notes in Computer Science|
|Conference||3rd International Conference on Business Process Management (BPM 2005), September 5-8, 2005, Nancy, France, |
|Abbreviated title||BPM 2005|
|Period||5/09/05 → 8/09/05|