Faulty EPCs in the SAP Reference Model Jan Mendling Vienna University of Economics Michael Moser Vienna University of Economics Gustaf Neumann Vienna University of Economics Boudewijn van Dongen TU Eindhoven Eric Verbeek TU Eindhoven Wil van der Aalst TU Eindhoven
What is happening here?
Agenda EPCs and Errors The SAP Reference Model Finding Errors Results Conclusion
Agenda EPCs and Errors
EPCs as a Process Modeling Language AND Split Join XOR EPC Function Event Activity Pre - & Post condition OR
Problems with Connector Mismatch
The BPM Life cycle
The SAP Reference Model Agenda The SAP Reference Model
The SAP Reference Model About 10,000 information models 5 Hierarchy Levels 29 Branches Various model types: data, organization, processes, etc. 604 EPC business process models
An EPC Business Process Model
Using the SAP Reference Model Change EPC Models Change SAP System
Why Correct EPC Models? Misunderstandings in Teaching Processes Comparing System with existing processes Customization of System
Agenda Finding Errors
How to find errors? Soundness (v.d.Aalst 1997): For every state that is reachable from the start, the end can be reached. If the end is reached, there is no activity still active. All activities can be reached. Relaxed Soundness (Dehnert, Rittgens 2001): Every activity participates in a run from start to end.
Verification Approach
An EPC from the SAP Reference Model
Mapping to YAWL
The resulting YAWL net
Petri Net analysis within WofYAWL
Potential Correction
Agenda Results
Results
Modeling Error 1: Deadlock
Modeling Error 2: Livelock
Why Errors Hypotheses: Model Size Model Complexity Error Patterns Independent variables: Number of each element type Cycles Complexity metrics based on state space Logistic Regression: Explain error (yes/no) Nagelkerke R2: 0.30 and 0.26 in significant models Correct Classification: about 95%
Agenda Conclusion
Conclusion Correctness is an issue in practice Relaxed Soundness as a lower bound At 5.6% of the models with errors Model Complexity matters Closer coupling of process models and enterprise system needed