Process Mining from discovery to checking Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Department of Information Systems, P.O. Box.

Slides:

Advertisements

Similar presentations

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,

Advertisements

Finding the best in the family Schunselaar, Verbeek, Van der Aalst, Reijers.

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.

/faculteit technologie management 1 Process Mining: Organizational and Conformance Mining Algorithms Ana Karla Alves de Medeiros Ana Karla Alves de Medeiros.

MXML A Meta model for process mining data

/faculteit technologie management 1 Process Mining: Control-Flow Mining Algorithms Ana Karla Alves de Medeiros Ana Karla Alves de Medeiros Eindhoven University.

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.

A Survey of Process Mining in ProM By Jantima Polpinij Decision Systems Lab (DSL) Seminar School of Computer Science and Software Engineering Faculty of.

Boudewijn van Dongen /t Multi-phase process mining Building instance graphs.

/faculteit technologie management Genetic Process Mining Ana Karla Medeiros Ton Weijters Wil van der Aalst Eindhoven University of Technology Department.

/faculteit technologie management Genetic Process Mining Ana Karla Alves de Medeiros Eindhoven University of Technology Department.

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.

1 Analysis of workflows a-priori and a-posteriori analysis Wil van der Aalst Eindhoven University of Technology Faculty of Technology Management 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 Dutch-Belgian Database Day 2007 The Challenges of Process Mining A.J.M.M. Weijters (and many others)

Process Mining: The next step in Business Process Management 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.

/faculteit technologie management 1 Process Mining: General Introduction Ana Karla Alves de Medeiros Ana Karla Alves de Medeiros Eindhoven University of.

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.

/faculteit technologie management Genetic Process Mining Wil van der Aalst Ana Karla Medeiros Ton Weijters Eindhoven University of Technology Department.

Process Mining: An iterative algorithm using the Theory of Regions Kristian Bisgaard Lassen Boudewijn van Dongen Wil van.

/faculteit technologie management 1 Process Mining: Extension Mining Algorithms Ana Karla Alves de Medeiros Ana Karla Alves de Medeiros Eindhoven University.

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 17 Process Mining and Simulation Moe Wynn Anne Rozinat Wil van der Aalst Arthur.

A university for the world real R © 2009, Chapter 23 Epilogue Wil van der Aalst Michael Adams Arthur ter Hofstede Nick Russell.

Process mining Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Department of Information Systems, P.O. Box 513, 5600 MB Eindhoven, The.

Insuring Sensitive Processes through Process Mining Jorge Munoz-Gama Isao Echizen Jorge Munoz-Gama and Isao Echizen.

Scientific Workflows Within the Process Mining Domain Martina Caccavale 17 April 2014.

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.

Data Mining Technical Committee (DMTC) Chair: Barbara Hammer Vice-Chairs: Carlotta Domeniconi Zhi-Hua Zhou Short TC Report for the 2013 June AdCom Meeting.

1 Analysis of workflows : Verification, validation, and performance analysis. Wil van der Aalst Eindhoven University of Technology Faculty of Technology.

Content Outline Introduction by Example The Project

Decision Mining in Prom A. Rozinat and W.M.P. van der Aalst Joosung, Ko.

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.

"Decomposing Alignment- based Conformance Checking of Data-aware Process Models" Massimiliano de Leoni, Jorge Muñoz-Gama, Josep Carmona, Wil van der Aalst.

/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,

Intelligent Database Systems Lab N.Y.U.S.T. I. M. Towards comprehensive support for organizational mining Presenter : Yu-hui Huang Authors : Minseok Song,

A university for the world real R © 2009, Chapter 12 The Declare Service Maja Pesic Helen Schonenberg Wil M.P. van der Aalst.

Distributed Process Discovery From Large Event Logs Sergio Hernández de Mesa {

The Automated Discovery of Hybrid Processes Fabrizio M. Maggi University of Tartu Tijs Slaats* IT University of Copenhagen Exformatics Hajo A. Reijers.

EINDHOVEN, THE NETHERLANDS ברוכים הבאים Welcome Welkom Mor Peleg Avigdor Gal.

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.

YAWL in the Cloud: Supporting Process Sharing and Variability

MTAT Business Process Management (BPM) Lecture 11: Process Monitoring and Mining Fabrizio Maggi (based on lecture material by Marlon Dumas, Wil.

Profiling based unstructured process logs

David Redlich, Thomas Molka, Wasif Gilani, Awais Rashid, Gordon Blair

A General Framework for Correlating Business Process Characteristics

Wil van der Aalst Eindhoven University of Technology

Wil van der Aalst Eindhoven University of Technology

Decomposed Process Mining: The ILP Case

بررسی شباهت مدل فرآیندها گزارش سمینار کارشناسی ارشد

Wil van der Aalst Eindhoven University of Technology

Workflow Management Systems: Functions, architecture, and products.

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

Workflow Management Systems: Functions, architecture, and products.

Multi-phase process mining

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.

Faulty EPCs in the SAP Reference Model

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:

Process Mining from discovery to checking Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Department of Information Systems, P.O. Box 513, 5600 MB Eindhoven, The Netherlands

Outline BPM lifecycle Process mining overview ProM framework Example –discovery algorithms –LTL Conclusion Thanks to Ton Weijters, Boudewijn van Dongen, Ana Karla Alves de Medeiros, Minseok Song, Laura Maruster, Eric Verbeek, Monique Jansen-Vullers, Hajo Reijers, Michael Rosemann, Anne Rozinat, Christian Guenther Peter van den Brand, Huub de Beer, Andrey Nikolov, et al. for their on-going work on process mining.

The BPM life-cycle

1993

1998

2003

2008 ???

Design-time (a-priori) and run-time (a-posteriori) questions Run-timeDesign-time - process mining - verification - validation - performance analysis

focus of this paper

Process discovery: Reversing the process process discovery

Conformance testing

Log based verification formula four_eyes_principle (a1:activity,a2:activity) := forall[p:person | (!(execute(p,a1)) \/ !(execute(p,a2)))];

ProM framework

Overview 1) basic performance metrics 2) process model3) organizational model4) social network 5) performance characteristics If …then … 6) auditing/security

ProM ARIS/ARIS PPM YAWL Caramba CPN Tools

Converter plug-in: Analyzer

XML format

ProM architecture

Example

Snapshot of log (100 cases)

Alpha plug-in (1)

Alpha plug-in (2)

Multi-phase mining plug-in

Genetic miner (1)

Genetic miner (2)

Social network mining plug-in

SNA with Netminer betweenness metric points out that the editor and the two editorial assistants are most central

Netminer (2)

LTL checker: Input

Question 1 formula accept_or_reject_but_not_both() := {} (<>(activity == "accept") !(<>(activity == "reject")));

Question 2 formula action_follows_decision() := {Is every decision followed by one of the three possible actions? } []( (activity == "decide" -> _O( ((activity == "accept" \/ activity == "reject") \/ activity == "invite additional reviewer") )));

Question 3 subformula execute( p : person, a : activity ) := {Is a specfic activity executed by a specific person?} <> ( (activity == a /\ person == p ) ) ; formula not_the_same_reviewer() := {Is every reviewer unique?} forall[p:person | (((!(execute(p,"get review 1")) \/ !(execute(p,"get review 2"))) /\ (!(execute(p,"get review 1")) \/ !(execute(p,"get review 3")))) /\ (!(execute(p,"get review 2")) \/ !(execute(p,"get review 3")))) ];

Question 4 subformula accept(a : activity ) := {Is the result a some activity an accept?} <> ( (activity == a /\ ate.result == "accept" ) ) ; formula dont_reject_paper_unjustified() := {Are all papers with strong support indeed accepted.} (((accept("get review 1") /\ accept("get review 2")) /\ accept("get review 3")) -> <> ( activity == "accept" ) ); accept reject

Question 5 formula four_eyes_principle(a1:activity,a2:activity) := { The four-eyes-principle Check whether two activities are never executed by the same person for a given case. Arguments: a1 of type string denoting an activity a2 of type string denoting an activity } forall[p:person |(!(execute(p,a1)) \/ !(execute(p,a2)))];

A related plug-in: Conformance checker

Conformance checker (1)

Conformance checker (2)

Conformance checker (3)

Additional plug-ins State space analysis, invariants, EPC reduction/verification, etc.

Conclusion Process mining is an exciting topic both from a practical and scientific point of view. Join us by: –Applying this in different setting. –Contributing logs, adapters, and plug-ins. BPMcenter.org useful links: