creating sound and reversible configurable process models using cosenets dennis schunselaar,...

Creating Sound and Reversible ConfigurableProcess Models using CoSeNets

Dennis Schunselaar, Verbeek, Van der Aalst, Reijers

D.M.M.Schunselaar@tue.nl

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)