Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Outline
BPM research in Eindhoven
Process Mining
ProM
Architecture
Process mining plug-ins
Alpha-algorithm
Multi-phase mining
Genetic mining
Analysis plug-ins
Conformance testing plug-in
LTL checker plug-in
Social network plug-in
Convertors (e-mail, Staffware, InConcert, SAP, etc.)
Conclusion
IS
(Information Systems)
MCS
(Math. and Comp. Science)
BETA
CS
Math.
(Computer Science)
SE
ICTA
BPM
(Business Process Management)
IS
(Information Systems)
after WfM
implementation
1a-measurement
2a-measurement
before WfM
implementation
simulation
using initial
circumstances
1b-measurement
2b-measurement
0-measurement
3-measurement
simulation
using final
circumstances
real data
registration
pay_damage
check_policy
reject_claim
query_policy_data
send_fax
query_payments_data
phone
send_letter
dial
check_damage
OK
try_again
send_letter
check_other_types_of_damage
NOK
check_fire_damage
evaluate_claim
minimal_damage_check
thorough_evaluation
administrative_evaluation
minimal_evaluation
evaluation_by_department_man
check_car_damage
evaluation_by_traffic_expert
evaluation_by_fire_expert
check_car_damage_500+
is_part_of
check_car_damage_500-
specializes
make_appointment
visual_inspection
Patterns in process-aware
information systems
Nataliya Mulyar
pattern
standard
XPDL UML BPEL XLANG WSFL BPML WSCI
Sequence
Parallel Split
Synchronization
Exclusive Choice
Simple Merge
Multi Choice
Synchronizing Merge
Multi Merge
+/-
+/-
Discriminator
Arbitrary Cycles
Implicit Termination
MI without Synchronization
Deferred Choice
+/-
Milestone
Cancel Activity
Cancel Case
Process mining:
a formal approach
Boudwijn van Dongen
Verification of workflow
processes
Eric Verbeek
Process Mining
diagnosis
process
enactment
process
design
implementation/
configuration
process
mining
Register
order
Ship
goods
(Re)send
bill
Archive
order
Receive
payment
Contact
customer
Overview
2) process model
3) organizational model
4) social network
Start
Register order
Prepare
shipment
(Re)send bill
S hip goods
Contact
custom er
Archive or der
End
1) basic
performance
metrics
5) performance
characteristics
6) auditing/security
If then
www.processmining.org
3) organizational model
4) social network
Start
Register order
P repare
shipment
(Re)send bill
Ship goods
Contact
custom er
Receive payment
Archive order
End
1) basic
performance
metrics
5) performance
characteristics
6) auditing/security
If then
Process log
Minimal information in
log: case ids and task
ids.
Additional information:
event type, time,
resources, and data.
In this log there are three
possible sequences:
ABCD
ACBD
EF
case
case
case
case
case
case
case
case
case
case
case
case
case
case
case
case
case
case
1
2
3
3
1
1
2
4
2
2
5
4
1
3
3
4
5
4
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
task
task
task
task
task
task
task
task
task
task
task
task
task
task
task
task
task
task
A
A
A
B
B
C
C
A
B
D
E
C
D
C
D
B
F
D
>,,||,# relations
Direct succession: x>y
iff for some case x is
directly followed by y.
Causality: xy iff x>y
and not y>x.
Parallel: x||y iff x>y and
y>x
Choice: x#y iff not x>y
and not y>x.
case
case
case
case
case
case
case
case
case
case
case
case
case
case
case
case
case
case
1
2
3
3
1
1
2
4
2
2
5
4
1
3
3
4
5
4
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
task
task
task
task
task
task
task
task
task
task
task
task
task
task
task
task
task
task
A
A
A
B
B
C
C
A
B
D
E
C
D
C
D
B
F
D
A>B
A>C
B>C
B>D
C>B
C>D
E>F
B||C
C||B
AB
AC
BD
CD
EF
xy
x
z
Example
case 1 : task A
case 2 : task A
case 3 : task A
case 3 : task B
case 1 : task B
case 1 : task C
case 2 : task C
case 4 : task A
case 2 : task B
case 2 : task D
case 5 : task E
case 4 : task C
case 1 : task D
case 3 : task C
case 3 : task D
case 4 : task B
case 5 : task F
case 4 : task D
(W)
B
A
D
C
Challenges
Refining existing algorithm for (control-flow/process
perspective)
Hidden tasks
Duplicate tasks
Non-free-choice constructs
Loops
Detecting concurrency (implicit or explicit)
Mining and exploiting time
Dealing with noise
Dealing with incompleteness
DEMO
Alpha algorithm
48 cases
16 performers
ProM framework
ProM
ProM
framework
ERP systems
Staffware
FLOWer
SAP R/3
InConcert
Vectus
BaaN
MQ Series
Siebel
Peoplesoft
Plugins
External
Tools
input/output
visualization
analysis
alpha algorithm
genetic
algorithm
Tsinghua alpha
algorithm
social network
miner
case data
extraction
property verifier
NetMiner
Viscovery
...
...
Multi phase
algorithms
...
XML format
ProM architecture
Step 2: Project
Step 3: Aggregate
Overview of approach
Cliques
Do they agree?
Screenshot
More demos?
diagnosis
Conclusion
process
enactment
process
design
implementation/
configuration
More information
http://www.workflowcourse.com
http://www.workflowpatterns.com
http://www.processmining.org