Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers

Slide 2 of 20 Current situation IS = Information System E = Event log M = Models

Slide 3 of 20 To-be situation IS-SaaS = Information System (SaaS based BPMS) E = Event log CM = Configurable Models C = Configuration

Slide 4 of 20 Motivation Mun A Mun B Mun J Configurable Model Insurance A Insurance B Insurance K

Slide 5 of 20 CoSeNet

Slide 6 of 20 CoSeNet (loops)

Slide 7 of 20 Configuration Options

Slide 8 of 20 Overview Mun A Mun B Mun J 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 Mun A Mun B Mun J 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

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)

Slide 26 of 20 Extended CoSeMap