monotonicity schunselaar, verbeek, van der aalst, reijers

35
Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

Upload: kimberly-griffith

Post on 05-Jan-2016

220 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

Monotonicity

Schunselaar, Verbeek, Van der Aalst, Reijers

Page 3: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

3

Analysing the models (Petra)

Petra

Page 4: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

4

Analysing the models (Petra)

Petra

1

2

3

Page 5: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

5

Configurable process model

Page 7: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

7

Analysing the models (Petra)

Petra

1

2

3

Page 8: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

8

Pareto front

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

- Throughput time - Processing time - Nr of control tasks

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

- Throughput time - Processing time - Nr of control tasks

- Throughput time - Processing time - Nr of control tasks

Page 9: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

9

Pareto front a closer look

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

- Throughput time - Processing time - Nr of control tasks

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

- Throughput time - Processing time - Nr of control tasks

- Throughput time - Processing time - Nr of control tasks

Page 10: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

10

Pareto front a closer look

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

- Throughput time - Processing time - Nr of control tasks

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

- Throughput time - Processing time - Nr of control tasks

- Throughput time - Processing time - Nr of control tasks

¿

¿

¿Processing time Processing time≥

Page 11: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

11

Analysing the models (Petra)

Petra

1

2

3

Page 12: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

12

General statement

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

Page 13: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

13

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

1 2

3 4

Page 14: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

14

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

1 2

3 4

Page 15: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

15

M’

M

Processing Time

• The amount of time spent by resources on a case

1

2

Page 16: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

16

Processing Time

• Is and ?• Is faster than ?

1

2

Page 17: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

17

Processing Time

• What about and ?

1

2

Page 18: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

18

Processing Time

• What about 1.C?

1

2

Page 19: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

19

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

1 2

3 4

Page 21: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

21

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

1 2

3 4

Page 22: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

22

Throughput Time

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

1

2

Page 23: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

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

Page 24: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

24

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

1 2

3 4

Page 25: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

25

Throughput Time

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

1

3

Page 26: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

26

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

1 2

3 4

Page 27: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

27

Nr of control tasks working on a case

• Which are the control tasks?

1

2

Page 28: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

28

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

1 2

3 4

Page 29: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

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

Page 30: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

30

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

1 2

3 4

Page 31: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

31

Remember: Pareto front

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

- Throughput time - Processing time - Nr of control tasks

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

- Throughput time - Processing time - Nr of control tasks

- Throughput time - Processing time - Nr of control tasks

¿

¿

¿Processing time Processing time≥

Page 32: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

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

- 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≥

Page 33: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

33

Analysing the models (Petra)

Petra

1

2

3

Page 34: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

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”

Page 35: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

35

Questions