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

[email protected]

http://www.win.tue.nl/coselog/

of 20

Current situation

Processes Municipality 1

M1E1

IS1


M2E2

IS2

Processes Municipality n

MnEn

ISn

...

IS = Information SystemE = Event logM = Models

of 20

To-be situation


C1

EIS-SaaS


C2Processes

Municipality n

Cn

...

CM

IS-SaaS = Information System (SaaS based BPMS)E = Event logCM = Configurable ModelsC = Configuration

of 20

Motivation

MunA MunB MunJ

Configurable Model

InsuranceA InsuranceB InsuranceK

of 20

CoSeNet

of 20

CoSeNet (loops)

of 20

Configuration Options

of 20

Overview

MunA MunB MunJ

Configurable Model

of 20

Activity CoSeMap

of 20

CoSeMerge

of 20

Extended CoSeMap

of 20

CoSeMerge

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

of 20

Case study

of 20

Experimental evaluation GBA 1

of 20

Experimental evaluation

of 20

Conclusion

MunA MunB MunJ

Configurable Model

of 20

Future work

• Support different granularity amongst models

• Define quality dimensions of configurable process models

• Resources and data

of 20

Questions

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/

of 20

CoSeMerge

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

of 20

Constraints ILP (seq)

of 20

Constraints ILP (DAG)

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

Documents

cosemerge slide

questions slide

soundness4cosenet slide

extended cosemap slide

experimental evaluation

configuration options

case study slide

cosenet loops slide