Alignment-based Precision Checking A. Adriansyah 1, J. Munoz Gamma 2, J. Carmona 2, B.F. van Dongen 1, W.M.P. van der Aalst 1 Tallinn, 3 September 2012.

Slides:



Advertisements
Similar presentations
22nd European Workshop on Computational Geometry Institute of Software Technology 4th FSP-Seminar Industrial Geometry, March 2007 Maximizing Maximal Angles.
Advertisements

Jorge Muñoz-Gama Josep Carmona
Han-na Yang Trace Clustering in Process Mining M. Song, C.W. Gunther, and W.M.P. van der Aalst.
A Case-based Approach to Business Process Monitoring S. Montani 1, G. Leonardi 1 1 Dipartimento di Informatica, University of Piemonte Orientale, Alessandria,
CONFORMANCE CHECKING IN THE LARGE: PARTITIONING AND TOPOLOGY Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst.
1 Generalized Buchi automaton. 2 Reminder: Buchi automata A=  Alphabet (finite). S: States (finite).  : S x  x S ) S is the transition relation. I.
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.
/ name of department PAGE Welcome to a special session of the European BPM Round Table November 5 th, Eindhoven, The Netherlands.
/faculteit technologie management 1 Process Mining: Organizational and Conformance Mining Algorithms Ana Karla Alves de Medeiros Ana Karla Alves de Medeiros.
Process discovery: Inductive Miner
Aligning Event Logs And Declare Models for Conformance Checking Massimiliano de Leoni, Fabrizio Maggi Wil van der Aalst.
Discovering Declare Maps R.P. Jagadeesh Chandra Bose (JC) Joint Work with Fabrizio M. Maggi and Wil M.P. van der Aalst.
Data Conformance Checking using Optimal Alignments Felix Mannhardt, Massimiliano de Leoni, Hajo A. Reijers.
Aligning Event Logs and Process Models for Multi- perspective Conformance Checking: An Approach Based on ILP Massimiliano de Leoni Wil M. P. van der Aalst.
Models vs. Reality dr.ir. B.F. van Dongen Assistant Professor Eindhoven University of Technology
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 ( )
Mining Social Networks Uncovering interaction patterns in business processes Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology Department.
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.
/faculteit technologie management Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance Wil van der Aalst.
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.
Boudewijn van Dongen June 22, 2004 /t Process Mining, the basics.
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.
Process Mining for Ubiquitous Mobile Systems An Overview and a Concrete Algorithm Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology Department.
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.
Jorge Munoz-Gama Advisor: Josep Carmona December 2014 CONFORMANCE CHECKING AND DIAGNOSIS IN PROCESS MINING.
HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst.
Jorge Muñoz-Gama Universitat Politècnica de Catalunya (Barcelona, Spain) Algorithms for Process Conformance and Process Refinement.
Process Mining: Discovering processes from event logs All truths are easy to understand once they are discovered; the point is to discover them. Galileo.
EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014.
Data Mining Technical Committee (DMTC) Chair: Barbara Hammer Vice-Chairs: Carlotta Domeniconi Zhi-Hua Zhou Short TC Report for the 2013 June AdCom Meeting.
DECOMPOSED CONFORMANCE Jorge Munoz-Gama, Josep Carmona and W.M.P van der Aalst.
Pontificia Universidad Católica de Chile School of Engineering Department of Computer Science A feedback-based framework for process enhancement of causal.
Jianmin Wang 1, Shaoxu Song 1, Xiaochen Zhu 1, Xuemin Lin 2 1 Tsinghua University, China 2 University of New South Wales, Australia 1/23 VLDB 2013.
Efficiency of Alignment-based algorithms B.F. van Dongen Laziness! (Gu)estimation! Implementation effort?
Software Architectural Assumptions in Software Architecting Chen Yang a,b, Peng Liang a, Paris Avgeriou b a State Key Lab of Software Engineering, Wuhan.
Compliance Management Elham Ramezani 1. Enterprises are governed by regulations Compliance Report ✓ ✗ ✗ ✓ ✗ ✗ Laws & Regulations Diagnostic Information.
Decision Mining in Prom A. Rozinat and W.M.P. van der Aalst Joosung, Ko.
/faculteit technologie management Workflow Mining: Current Status and Future Directions Ana Karla A. de Medeiros, W.M.P van der Aalst and A.J.M.M. Weijters.
Decomposing Data-aware Conformance Checking Massimiliano de Leoni, Jorge Munoz-Gama, Josep Carmona, Wil van der Aalst PAGE 0.
"Decomposing Alignment- based Conformance Checking of Data-aware Process Models" Massimiliano de Leoni, Jorge Muñoz-Gama, Josep Carmona, Wil van der Aalst.
Intelligent Database Systems Lab N.Y.U.S.T. I. M. Towards comprehensive support for organizational mining Presenter : Yu-hui Huang Authors : Minseok Song,
Controlling Break-the- glass Through Alignment A. Adriansyah B.F. van Dongen N. Zannone Washington D.C., 11.
Understanding Deviations AIS Nov.2014 Elham Ramezani Dirk Fahland Wil M.P. van der Aalst.
Beyond Tasks and Gateways: Discovering BPMN Models with subprocesses, boundary events and activity markers Raffaele Conforti, Marcello La Rosa Queensland.
Discovering Models for State-based Processes M.L. van Eck, N. Sidorova, W.M.P. van der Aalst.
The Automated Discovery of Hybrid Processes Fabrizio M. Maggi University of Tartu Tijs Slaats* IT University of Copenhagen Exformatics Hajo A. Reijers.
30 januari 2018 Mining Social Networks Uncovering interaction patterns in business processes Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology.
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.
1 Queensland University of Technology, Brisbane, Australia
Exploring processes and deviations
David Redlich, Thomas Molka, Wasif Gilani, Awais Rashid, Gordon Blair
Patterns extraction from process executions
A General Framework for Correlating Business Process Characteristics
Decomposed Process Mining: The ILP Case
بررسی شباهت مدل فرآیندها گزارش سمینار کارشناسی ارشد
Wil van der Aalst Eindhoven University of Technology
Workflow Management Systems: Functions, architecture, and products.
DEMO 1.
Workflow Management Systems: Functions, architecture, and products.
Multi-phase process mining
JORGE MUNOZ-GAMA and JOSEP CARMONA
3 mei 2019 Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance Wil van der Aalst Ana Karla A. de Medeiros.
Business Alignment Using Process Mining as a Tool for Delta Analysis
5 juli 2019 Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance Wil van der Aalst Ana Karla A. de Medeiros.
19 augustus 2019 Mining Social Networks Uncovering interaction patterns in business processes Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology.
Presentation transcript:

Alignment-based Precision Checking A. Adriansyah 1, J. Munoz Gamma 2, J. Carmona 2, B.F. van Dongen 1, W.M.P. van der Aalst 1 Tallinn, 3 September )Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands 2)Software Department, Universitat Politècnica de Catalunya, Spain

Model needs to be precise 1 Event Log Process Models ad a b b c end c ab d aabd abd acd aabd c a d Unfitting How to measure precision for unfitting event logs? d

Overview 2 aabbd adabd a d … Unfitting Log Process Model Alignment Automaton Experiments aabd acd … Fitting Traces Alignment Precision Metrics

Optimal alignment: least #deviations 3 ad a b b c end Trace adab a Alignment d b aa b a d Process Model Fitting trace, closest to the original Deviation Log Moves Model Moves aabd Reference: W.M.P. van der Aalst, A. Adriansyah, B.F. van Dongen (2012). Replaying history on process models for conformance checking and performance analysis. WIREs Data Mining and Knowledge Discovery, 2(2),

Optimal alignments can be many 4 ad a b b c end Trace ad Alignment 1Alignment 2 Process Model b a ad d c a ad d Both alignments are optimal abd or acd

Overview 5 aabbd adabd a d … Unfitting Log Process Model Alignment Automaton Experiments Precision Metrics aabd acd … Fitting Traces Alignment

a b b a d d 2 aabd abd abd or acd aabd 1-Alignment automaton (Prefix-based) 6 Fitting Traces ad a b b c end Process Model 1-Align Automaton aabd abd aabd

b d b a a d Alignment automaton (Prefix-based) 7 0 c Fitting Traces ad a b b c end Process Model 1-Align Automaton aabd abd aabd Imprecision 22 … …

a d b b 1a d 3 All-Alignment Automaton (Prefix-based) 8 c Fitting Traces ad a b b c end Process Model All-Alignments Automaton aabd abd abd or acd aabd d

Comparison of log automata 9 aabd abd ad adab Event Log ad a b b c end Process Model Without alignment 1-Align All-Align Prefix-based Log Automata aabd abd abd/acd aabd Fitting Traces

Overview 10 aabbd adabd a d … Unfitting Log Process Model Alignment Automaton Experiments aabd acd … Fitting Traces Alignment Precision Metrics Reference: J. Muñoz-Gama, J. Carmona (2010). A Fresh Look at Precision in Process Conformance. 8 th International Conference of Business Process Management (BPM):

Overview 11 aabbd adabd a d … Unfitting Log Process Model Alignment Automaton Experiments aabd acd … Fitting Traces Precision Metrics Alignment

Implementation in ProM 6 Package: “ETConformance” 12

Experiment settings 13 Event Log Flower (F) Precise (P) Flower’ (F’) Precise’ (P’) Duplicate LogCombined Log Precise-Precise (PP’) Precise-Flower (PF’) Flower -Precise (FP’) Flower-Flower (FF’)

Experiment 1: Measuring precision stability 14 Perfectly fitting logs and models Non-fitting logs and models P FP’ PF’ PP’ F P FF’ FP’ PF’ PP’

Experiment 2: Sensitivity to unfitting trace 15 Model P Precision #Removed events Model PF’ Precision #Removed events Precision #Removed events Model FP’ Precision #Removed events Model PP’

Experiment 3: Real life cases 16

Overview 17 aabbd adabd a d … Unfitting Log Process Model Alignment Automaton Experiments aabd acd … Fitting Traces Precision Metrics Alignment

Conclusion and Future Work 18

Questions 19

Thanks! 20