creating sound and reversible configurable process models using cosenets dennis schunselaar,...
TRANSCRIPT
![Page 1: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/1.jpg)
Creating Sound and Reversible ConfigurableProcess Models using CoSeNets
Dennis Schunselaar, Verbeek, Van der Aalst, Reijers
http://www.win.tue.nl/coselog/
![Page 2: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/2.jpg)
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
![Page 3: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/3.jpg)
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
![Page 4: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/4.jpg)
Slide 4 of 20
Motivation
MunA MunB MunJ
Configurable Model
InsuranceA InsuranceB InsuranceK
![Page 5: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/5.jpg)
Slide 5 of 20
CoSeNet
![Page 6: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/6.jpg)
Slide 6 of 20
CoSeNet (loops)
![Page 7: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/7.jpg)
Slide 7 of 20
Configuration Options
![Page 8: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/8.jpg)
Slide 8 of 20
Overview
MunA MunB MunJ
Configurable Model
![Page 9: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/9.jpg)
Slide 9 of 20
Activity CoSeMap
![Page 10: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/10.jpg)
Slide 10 of 20
CoSeMerge
![Page 11: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/11.jpg)
Slide 11 of 20
Extended CoSeMap
![Page 12: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/12.jpg)
Slide 12 of 20
CoSeMerge
![Page 13: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/13.jpg)
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
![Page 14: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/14.jpg)
Slide 14 of 20
Case study
![Page 15: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/15.jpg)
Slide 15 of 20
Experimental evaluation GBA 1
![Page 16: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/16.jpg)
Slide 16 of 20
Experimental evaluation
![Page 17: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/17.jpg)
Slide 17 of 20
Conclusion
MunA MunB MunJ
Configurable Model
![Page 18: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/18.jpg)
Slide 18 of 20
Future work
• Support different granularity amongst models
• Define quality dimensions of configurable process models
• Resources and data
![Page 19: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/19.jpg)
Slide 19 of 20
Questions
![Page 20: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/20.jpg)
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/
![Page 21: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/21.jpg)
Slide 21 of 20
CoSeMerge
![Page 22: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/22.jpg)
Slide 22 of 20
CoSeMerge
![Page 23: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/23.jpg)
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
![Page 24: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/24.jpg)
Slide 24 of 20
Constraints ILP (seq)
![Page 25: Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers D.M.M.Schunselaar@tue.nl](https://reader036.vdocument.in/reader036/viewer/2022062518/56649d025503460f949d5920/html5/thumbnails/25.jpg)
Slide 25 of 20
Constraints ILP (DAG)