Upload
melinda-parks
View
222
Download
0
Tags:
Embed Size (px)
Citation preview
Creating Sound and Reversible ConfigurableProcess Models using CoSeNets
Dennis Schunselaar, Verbeek, Van der Aalst, Reijers
http://www.win.tue.nl/coselog/
Slide 2 of 20
Current situation
Processes Municipality 1
M1E1
IS1
Processes Municipality 2
M2E2
IS2
Processes Municipality n
MnEn
ISn
...
IS = Information SystemE = Event logM = Models
Slide 3 of 20
To-be situation
Processes Municipality 1
C1
EIS-SaaS
Processes Municipality 2
C2Processes
Municipality n
Cn
...
CM
IS-SaaS = Information System (SaaS based BPMS)E = Event logCM = Configurable ModelsC = Configuration
Slide 4 of 20
Motivation
MunA MunB MunJ
Configurable Model
InsuranceA InsuranceB InsuranceK
Slide 5 of 20
CoSeNet
Slide 6 of 20
CoSeNet (loops)
Slide 7 of 20
Configuration Options
Slide 8 of 20
Overview
MunA MunB MunJ
Configurable Model
Slide 9 of 20
Activity CoSeMap
Slide 10 of 20
CoSeMerge
Slide 11 of 20
Extended CoSeMap
Slide 12 of 20
CoSeMerge
Slide 13 of 20
Evaluation
• Evaluated on EPC’s
• Control-Flow Complexity (CFC):• Based on: type of operator and out-degree
• Density• Amount of connections divided by maximal amount of
connections possible
• Cross-Connectivity (CC)• Based on: type of operator, out-degree, and maximal amount
of connections possible
Slide 14 of 20
Case study
Slide 15 of 20
Experimental evaluation GBA 1
Slide 16 of 20
Experimental evaluation
Slide 17 of 20
Conclusion
MunA MunB MunJ
Configurable Model
Slide 18 of 20
Future work
• Support different granularity amongst models
• Define quality dimensions of configurable process models
• Resources and data
Slide 19 of 20
Questions
Slide 20 of 20
Future work
• Support different granularity amongst models
• Define quality dimensions of configurable process models
• Resources and data
• http://www.win.tue.nl/coselog/
Slide 21 of 20
CoSeMerge
Slide 22 of 20
CoSeMerge
Slide 23 of 20
Extended CoSeMap (ILP)
• Decision variable map(v, u) denotes whether v is mapped onto u
• Constraints:• Not every pair of (v, u) becomes a decision variable
− Same type and same label• 1-1 mapping• Have at least one child in common• Loops should be mapped completely
Slide 24 of 20
Constraints ILP (seq)
Slide 25 of 20
Constraints ILP (DAG)