process mining prof.dr.ir. wil van der aalst eindhoven university of technology, department of...
TRANSCRIPT
![Page 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/1.jpg)
Process mining
Prof.dr.ir. Wil van der AalstEindhoven University of Technology, Department of Information Systems, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
![Page 2: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/2.jpg)
from languages
and systems to
analysis ...
![Page 3: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/3.jpg)
Design-time (a-priori) and run-time (a-posteriori) questions
processdesign
implementation/configuration
processenactment
diagnosis
Run-time Design-time
- process mining- verification- validation- performance analysis
ProM
![Page 4: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/4.jpg)
A-posteriori analysis: ProM
![Page 5: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/5.jpg)
informationsystem
operationalprocess
processmodels
eventlogs
models
processdiscovery
conformancetesting
records
configures
supports/controls
(un)desiredproperties
log-based verification
refers to
![Page 6: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/6.jpg)
Process discovery: Reversing the process
process discovery
Registerorder
Prepareshipment
Shipgoods
Receivepayment
(Re)sendbill
Contactcustomer
Archiveorder
![Page 7: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/7.jpg)
Conformance testing
Registerorder
Prepareshipment
Shipgoods
Receivepayment
(Re)sendbill
Contactcustomer
Archiveorder
Materialis released
TO itemconfirmed
withoutdifferences
Warehouse/Stores
Transferorderitem
is confirmed
Paymentmust
be effected
PurchaseRequisition
Requirementfor materialhas arisen
Requisitionreleased
for schedulingagreement
schedule/SA release
InvoiceVerification
Purchaserequisitionreleased
for purchaseorder
Inbounddeliveryentered
Goodsreceived
Goodsreceiptposted
GoodsReceipt
Purchaseorder
created
Purchasing
Invoicereceived
Decide To Buy Computer
Choose Model
Save Money
Read Test Reviews
Check Bank Account
[reviews ok]
[bad reviews]
[enough]
Order Machine
Order Screen
Receive Machine
[desktop]
Receive Screen
Set Up And Connect
Plug In And Power On
[laptop]
Open Lid
Choose Operating System
Order Windows
Receive Windows
[windows]
Download Linux
[linux]
Install Operating System
Work Hard
[not enough]
[laptop]
[desktop]
![Page 8: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/8.jpg)
Log based verification
formula four_eyes_principle(a1:activity,a2:activity) :=forall[p:person | (!(execute(p,a1)) \/ !(execute(p,a2)))];
![Page 9: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/9.jpg)
ProMStaffware
InConcert
MQ Series
workflow management systems
FLOWer
Vectus
Siebel
case handling / CRM systems
SAP R/3
BaaN
Peoplesoft
ERP systems
common XML format for storing/exchanging workflow logs
input/outputCore
Plugins
ProMframework
visualization analysis
alpha algorithmgenetic
algorithmTsinghua alpha
algorithmMulti phasealgorithms
social networkminer
case dataextraction
property verifier
ExternalTools
NetMiner Viscovery ......
...
ARIS/ARIS PPM
YAWL
Caramba
CPN Tools
Outlook
![Page 10: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/10.jpg)
XML format
![Page 11: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/11.jpg)
ProM architecture
UserInterface
+User
Interaction
StaffwareFlowerSAPInConcert...
Heuristic NetAris Graph Format(Aris AML Format)PNMLTPN...
MiningPlugin
ImportPlugin
ExportPlugin
AnalysisPlugin
ConversionPlugin
Heuristic Net PNMLAris Graph format TPNNetMiner file Agna fileAris PPM Instances DOTComma Seperated Values …...
Log Filter
VisualisationEngine
XML Log
ResultFrame
![Page 12: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/12.jpg)
Demo
A
E
G
invitereviewers
D
get review 2
time-out 2
collectreviews
H
decide
I
accept
J
reject
inviteadditionalreviewer
K
M
L
get review X
time-out X
C
B
get review 1
time-out 1
G
F
get review 3
time-out 3
![Page 13: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/13.jpg)
More on ProM
![Page 14: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/14.jpg)
Example
A
E
G
invitereviewers
D
get review 2
time-out 2
collectreviews
H
decide
I
accept
J
reject
inviteadditionalreviewer
K
M
L
get review X
time-out X
C
B
get review 1
time-out 1
G
F
get review 3
time-out 3
![Page 15: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/15.jpg)
Snapshot of log (100 cases)
![Page 16: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/16.jpg)
Alpha plug-in (1)
![Page 17: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/17.jpg)
Alpha plug-in (2)
![Page 18: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/18.jpg)
Multi-phase mining plug-in
![Page 19: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/19.jpg)
Genetic miner (1)
![Page 20: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/20.jpg)
Genetic miner (2)
![Page 21: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/21.jpg)
Social network mining plug-in
![Page 22: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/22.jpg)
SNA with Netminer
betweenness metric points out that the editor and the two editorial assistants are
most central
![Page 23: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/23.jpg)
Netminer (2)
![Page 24: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/24.jpg)
LTL checker: Input
![Page 25: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/25.jpg)
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
![Page 26: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/26.jpg)
Question 5
formula four_eyes_principle(a1:activity,a2:activity) :={
<h2>The four-eyes-principle</h2> <p> Check whether two activities are never executed by the same
person for a given case.</p> <p> Arguments:<br>
<ul> <li><b>a1</b> of type string denoting an activity</li> <li><b>a2</b> of type string denoting an activity</li>
</ul> </p>
} forall[p:person |(!(execute(p,a1)) \/ !(execute(p,a2)))];
![Page 27: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/27.jpg)
A related plug-in: Conformance checker
informationsystem
operationalprocess
processmodels
eventlogs
models
processdiscovery
conformancetesting
records
configures
supports/controls
(un)desiredproperties
log-based verification
refers to
![Page 28: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/28.jpg)
Conformance checker (1)
![Page 29: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/29.jpg)
Conformance checker (2)
![Page 30: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/30.jpg)
Conformance checker (3)
![Page 31: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/31.jpg)
Additional plug-ins
• State space analysis, invariants, EPC reduction/verification, etc.
![Page 32: 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](https://reader031.vdocuments.us/reader031/viewer/2022032705/56649dca5503460f94ac0604/html5/thumbnails/32.jpg)
• www.processmining.org
• www.workflowpatterns.com
• is.tm.tue.nl/research/woflan/
• www.workflowcourse.com
• BPMcenter.org
• www.yawl-system.com
useful links:
processdesign
implementation/configuration
processenactment
diagnosis