Faulty EPCs in the SAP Reference Model

Slides:



Advertisements
Similar presentations
Institut für Wirtschaftsinformatik Institute of Information Systems Process Instantiation Gero Decker, Jan Mendling HPI Potsdam Institut für Wirtschaftsinformatik,
Advertisements

Process Modelling and Standardization
DecSerFlow Towards a Truly Declarative Service Flow Language Wil van der Aalst & Maja Pesic Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven,
TU / e /AIS Group Technische Universiteit Eindhoven University of Technology Modeling Grid Workflows with Colored Petri Nets Carmen Bratosin, Wil van der.
Workflow Management Appendix B. Workflow Modelling using UML Wil van der Aalst has copyrights to almost all figures in the following slideshow made by.
Evaluation of Abstraction Techniques. Uses for the complexity metrics in our framework Comparing the complexity of the reference model with the abstracted.
1 Analysis of workflows : Verification, validation, and performance analysis. Wil van der Aalst Eindhoven University of Technology Faculty of Technology.
A university for the world real R © 2009, Chapter 3 Advanced Synchronization Moe Wynn Wil van der Aalst Arthur ter Hofstede.
Process Models In this section, we focus on the control-flow perspective of processes. We assume that there is a set of activity labels.
1 C2 Maturity Model Experimental Validation Statistical Analyses of ELICIT Experimentation Data Dr. David S. Alberts.
Software and Systems Engineering Seminar Winter 2011 Domain-specific languages in model-driven software engineering 1 Speaker: Valentin ROBERT.
Process Mining in the Context of Web Services Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands.
Towards Workflow Pattern Support of Event-Driven Process Chains (EPC) Jan Mendling, Gustaf Neumann Dept. of IS and New Media, WU Wien, Austria Markus Nüttgens.
A Comparison of XML Interchange Formats for Business Process Management Jan Mendling, Gustaf Neumann Dept. of IS and New Media, WU Wien, Austria Markus.
1 Important issues for the future Adaptive and interorganizational workflows Wil van der Aalst Eindhoven University of Technology Faculty of Technology.
Workflow Management Kap. 4. Analyzing Workflows Wil van der Aalst has copyrights to almost all figures in the following slideshow made by Lars Frank.
Appendix A The Future of Workflows Wil van der Aalst has copyrights to almost all figures in the following slideshow made by Lars Frank.
1 Concurrency Specification. 2 Outline 4 Issues in concurrent systems 4 Programming language support for concurrency 4 Concurrency analysis - A specification.
Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers
Block-Structured Process Discovery: Filtering Infrequent Behaviour Sander Leemans Dirk Fahland Wil van der Aalst Eindhoven University of Technology.
Process Mining from discovery to checking Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Department of Information Systems, P.O. Box.
Process Mining in CSCW Systems All truths are easy to understand once they are discovered; the point is to discover them. Galileo Galilei ( )
1 Analysis of workflows a-priori and a-posteriori analysis Wil van der Aalst Eindhoven University of Technology Faculty of Technology Management Department.
Specifying Workflow using CO- OPN Ang Chen SMV group 11 Mars, 2005.
Business Alignment Using Process Mining as a Tool for Delta Analysis Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology Department of Information.
1 From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems R.S. Mans – TU Eindhoven W.M.P van der Aalst – TU Eindhoven.
Discovering Coordination Patterns using Process Mining Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology Department of Information and Technology.
Boudewijn van Dongen April 27, 2005 The ProM-framework A framework for integrating process mining tools.
Process Mining: Discovering processes from event logs All truths are easy to understand once they are discovered; the point is to discover them. Galileo.
Process Mining: An iterative algorithm using the Theory of Regions Kristian Bisgaard Lassen Boudewijn van Dongen Wil van.
Business Process Modeling Workflow Patterns Ang Chen July 8, 2005.
A university for the world real R © 2009, Chapter 14 EPCs Jan Mendling.
A university for the world real R © 2009, Chapter 23 Epilogue Wil van der Aalst Michael Adams Arthur ter Hofstede Nick Russell.
Insuring Sensitive Processes through Process Mining Jorge Munoz-Gama Isao Echizen Jorge Munoz-Gama and Isao Echizen.
Workflow Management Kap. 1. Organizing Workflows
HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst.
Experiences in enhancing existing BPM Tools with BPEL Import and Export Jan MendlingVienna University of Economics Kristian Bisgaard LassenUniversity of.
Generating Correct EPCs from Configured C-EPCs* Jan MendlingVienna University of Economics Jan ReckerQueensland University of Technology Michael RosemannQueensland.
Petri nets refresher Prof.dr.ir. Wil van der Aalst
Business Process Design by View Integration J. MendlingVienna University of Economics C. SimonUniversity of Koblenz.
Linear Discriminant Analysis and Logistic Regression.
/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,
Short introduction to business process modelling
A university for the world real R © 2009, Chapter 12 The Declare Service Maja Pesic Helen Schonenberg Wil M.P. van der Aalst.
Transformation Strategies between Block-Oriented and Graph-Oriented Process Modeling Languages Jan MendlingVienna University of Economics (WU Wien) Kristian.
EINDHOVEN, THE NETHERLANDS ברוכים הבאים Welcome Welkom Mor Peleg Avigdor Gal.
A Discourse on Complexity of Process Models J. CardosoUniversidade da Madeira J. MendlingVienna University of Economics G. NeumannVienna University of.
1 Alternative Process Modeling langugues UML activity diagrams Event-driven process chains System-specific languages like Staffware will follow later...
Business Process Modeling with Event-driven Process Chains
Visualization in Process Mining
7 mei 2018 Process Mining in CSCW Systems All truths are easy to understand once they are discovered; the point is to discover them. Galileo Galilei.
YAWL in the Cloud: Supporting Process Sharing and Variability
INCOSE Usability Working Group
Detection and Prediction of Errors in EPC Business Process Models
Design for Quality Design for Quality and Safety Design Improvement
Concurrent Systems Modeling using Petri Nets – Part II
Wil van der Aalst Eindhoven University of Technology
Decomposed Process Mining: The ILP Case
Wil van der Aalst Eindhoven University of Technology
Wil van der Aalst Eindhoven University of Technology
Petri nets refresher Prof.dr.ir. Wil van der Aalst
Wil van der Aalst Eindhoven University of Technology
Textbook/Cornell Notes Practice
Workflow Management Systems: Functions, architecture, and products.
Petri nets refresher Prof.dr.ir. Wil van der Aalst
Detection and Prediction of Errors in EPC Business Process Models
Do & Review Cycle Annual Cycle Monthly Cycle Exception Process
Give 6 different extension strategies and explain the problems that businesses might face implementing them. What’s happening here and what potential problems.
Business Alignment Using Process Mining as a Tool for Delta Analysis
Observation Information we get from our senses alone.
Presentation transcript:

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