Process mining

1
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 Netherlands
• w.m.p.v.d.aalst_at_tm.tue.nl

2
from languages and systems to analysis ...
3
Design-time (a-priori) and run-time
(a-posteriori) questions
Run-time
Design-time
ProM
- verification- validation- performance
analysis
- process mining
4
A-posteriori analysis ProM
5
(No Transcript)
6
Process discovery Reversing the process
process discovery
1
7
Conformance testing
2
8
Log based verification
formula four_eyes_principle (a1activity,a2activi
ty) forallpperson (!(execute(p,a1)) \/
!(execute(p,a2)))
3
9
ProM
Outlook
CPN Tools
ARIS/ARIS PPM
YAWL
Caramba
10
XML format
11
ProM architecture
12
Demo
13
More on ProM
14
Example
15
Snapshot of log (100 cases)
16
Alpha plug-in (1)
17
Alpha plug-in (2)
18
Multi-phase mining plug-in
19
Genetic miner (1)
20
Genetic miner (2)
21
Social network mining plug-in
22
SNA with Netminer
betweenness metric points out that the editor and
the two editorial assistants are most central
23
Netminer (2)
24
LTL checker Input
25
Question 1
formula accept_or_reject_but_not_both()
(ltgt(activity "accept") lt-gt !(ltgt(activity
"reject")))
26
Question 2
formula action_follows_decision() Is every
decision followed by one of the three possible
actions? ( (activity "decide" -gt _O(
((activity "accept" \/ activity "reject")
\/ activity "invite additional reviewer") )))
27
Question 3
subformula execute( p person, a activity )
Is a specfic activity executed by a specific
person? ltgt ( (activity a /\ person p )
) formula not_the_same_reviewer() Is
every reviewer unique? forallpperson
(((!(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"))))
28
Question 4
subformula accept(a activity ) Is the
result a some activity an accept? ltgt (
(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")) -gt ltgt ( activity "accept" ) )
accept
reject
29
Question 5
formula four_eyes_principle(a1activity,a2activit
y) lth2gtThe four-eyes-principlelt/h2gt
ltpgt Check whether two activities are never
executed by the same person for a given
case.lt/pgt ltpgt Argumentsltbrgt ltulgt
ltligtltbgta1lt/bgt of type string denoting an
activitylt/ligt ltligtltbgta2lt/bgt of type string
denoting an activitylt/ligt lt/ulgt lt/pgt
forallpperson (!(execute(p,a1)) \/
!(execute(p,a2)))
30
A related plug-in Conformance checker
31
Conformance checker (1)
32
Conformance checker (2)
33
Conformance checker (3)
34
Additional plug-ins

• State space analysis, invariants, EPC
  reduction/verification, etc.

35
useful links

• www.processmining.org
• www.workflowpatterns.com
• is.tm.tue.nl/research/woflan/

• www.workflowcourse.com
• BPMcenter.org
• www.yawl-system.com