Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers.

Monotonicity

Schunselaar, Verbeek, Van der Aalst, Reijers

http://www.hnwnederland.nl/wp-content/uploads/work-in-progress-icon_full.jpg

2

Motivation

http://www.google.nl/url?sa=i&source=images&cd=&cad=rja&docid=01QAO0rPO5SjNM&tbnid=1d42IEpE41VL7M:&ved=0CAgQjRwwAA&url=http://www.wallsave.com/wallpaper/1024x768/stencil-superman-logo-thanks-to-eli-kennedy-manofsteel-utk-edu-67675.html&ei=YJ0gUq-kCofPtAbl64GQAg&psig=AFQjCNEYdADN4QUNN8uhkoT489WSOdMy9Q&ust=1377955552213678

3

Analysing the models (Petra)

Petra

http://www.google.nl/url?sa=i&source=images&cd=&cad=rja&docid=7d6ne6K96qoDsM&tbnid=6cgIFaZwULMWHM:&ved=0CAgQjRwwAA&url=http://sf.funcheap.com/90s-simpsons-trivia-knockout/&ei=k5kgUun-GoLXtAaP8IGoDw&psig=AFQjCNGQw00uEbRI11hbZief6hIckocF6g&ust=1377954579524098

http://www.google.nl/url?sa=i&source=images&cd=&cad=rja&docid=Qqgv-f9FpQQ2EM&tbnid=Wh8OEftKh68p6M:&ved=0CAgQjRwwAA&url=http://www.fanpop.com/clubs/the-simpsons/images/8774072/title/king-homer-fanart&ei=laEgUtaePMPUtAani4CoBg&psig=AFQjCNGNZ1PDFIS5Bbecj4zk9A_St8uM-w&ust=1377956630028357



http://www.google.nl/url?sa=i&source=images&cd=&cad=rja&docid=1FVXwSntkyQ4XM&tbnid=nFAKSc7Z8Tqo-M:&ved=0CAgQjRwwAA&url=http://unseenflirtspoetry.wordpress.com/2012/05/13/the-9-stages-of-ofsted-featuring-homer-simpson/&ei=w6EgUuWfBYWGswad2oCwCg&psig=AFQjCNFws61Ww_tlKpuFH073Wsa5fXXexA&ust=1377956675466004



4


Petra

1

2

3








http://2.bp.blogspot.com/-7TVANJ7MrR0/UWA4fqyLa3I/AAAAAAAABWI/2N-4-LsPqP0/s1600/simpsons+beer+homer+clock.jpg

5

Configurable process model

6

Configurable process model

http://www.google.nl/url?sa=i&source=images&cd=&cad=rja&docid=1Bs6TWim4Bdn5M&tbnid=csf5H2i8LJTO8M:&ved=0CAgQjRwwAA&url=http://commons.wikimedia.org/wiki/File:Swiss_Guard_2.JPG&ei=w6ogUuOADIrdtAbZqYCADw&psig=AFQjCNHxVV39S7xBJcK4kUB60V5dYV4qcw&ust=1377958979239042

http://www.google.nl/url?sa=i&source=images&cd=&cad=rja&docid=yXW5fneQW7tdIM&tbnid=Az2tg4-JvsWe8M:&ved=0CAgQjRwwAA&url=http://armyrecognition.com/forum/viewtopic.php?t%3D1487&ei=9KogUoveNYfRsgaB-ICoBA&psig=AFQjCNHUbRiLiWp_yDcVqYVFbi1izIHGoA&ust=1377959028925880

http://www.google.nl/url?sa=i&source=images&cd=&cad=rja&docid=oc78Z3SfGBcwIM&tbnid=pWZoFKWUK31CmM:&ved=0CAgQjRwwAA&url=http://goingtolondon.wikispaces.com/Buckinham%2BPalace,%2Bthe%2BChanging%2Bof%2Bthe%2BGuard.%2BTemple%2BChurch.&ei=WKogUsX9KYnCtQb08oBA&psig=AFQjCNFpC5lifKH0jT5OJowOZkCrzrFHHA&ust=1377958872733159

http://www.google.nl/url?sa=i&source=images&cd=&cad=rja&docid=1Bs6TWim4Bdn5M&tbnid=csf5H2i8LJTO8M:&ved=0CAgQjRwwAA&url=http://commons.wikimedia.org/wiki/File:Swiss_Guard_2.JPG&ei=w6ogUuOADIrdtAbZqYCADw&psig=AFQjCNHxVV39S7xBJcK4kUB60V5dYV4qcw&ust=1377958979239042

7


Petra

1

2

3








8

Pareto front

- Throughput time - Processing time - Nr. of control tasks

- Throughput time - Processing time - Nr of control tasks















9

Pareto front a closer look

















10

Pareto front a closer look






¿

¿

¿Processing time Processing time≥





11


Petra

1

2

3








12

General statement

• Given two models M, M’ and a KPI; is M M’ w.r.t. that KPI?• No false positives

13

Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index

1 2

3 4

14


1 2

3 4

15

M’

M

Processing Time

• The amount of time spent by resources on a case

≥

1

2

16

Processing Time

• Is and ?• Is faster than ?

1

2

17

Processing Time

• What about and ?

1

2

18

Processing Time

• What about 1.C?

1

2

19


1 2

3 4

20

Processing Time (choices)

• Does imply ?

4

4’





21


1 2

3 4

22

Throughput Time

• The time it takes a case to move from start to finish

1

2

23

Throughput Time

• Is and ?• Is faster than ? • Is at least available when is available?• Do we have at least as much as ?•

1

2

24


1 2

3 4

25

Throughput Time

• Is the relation between 3.B and 3.C and the relation between 1.B and 1.C ?

1

3

26


1 2

3 4

27

Nr of control tasks working on a case

• Which are the control tasks?

1

2

28


1 2

3 4

29

Mickey Mouse Index

• Mapping (activities, resources)• Comparator (activities, resources)• Partial order on relation (operator) between activities• Occurrence of activities (resources)• Classification of activities/resources• Unmapped activities/resources

30


1 2

3 4

31

Remember: Pareto front






¿

¿

¿Processing time Processing time≥





32

Remember: Pareto front

- Throughput time - Processing time - Nr. of control tasks - Mickey Mouse Index

- Throughput time - Processing time - Nr of control tasks - Mickey Mouse Index

- Throughput time - Processing time - Nr. of control tasks - Mickey Mouse Index



≥

≥

≥Processing time Processing time≥





33


Petra

1

2

3








34

Future work

• Implementation + case study• Effectiveness • Increase in speed

• Proper support for loops

• Navigating through the analysed models

• Configuration constraints• Language based/ the “O-word”

35

Questions

Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers.

Documents

Transcript of Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers.