Chapter 7 Conformance Checking

Size: px

Start display at page:

Download "Chapter 7 Conformance Checking"

Jasmine Dorsey
6 years ago
Views:

1 Cptr 7 Conormn Ckin pro.r.ir. Wil vn r Alst

2 Ovrviw Cptr 1 Introution Prt I: Prliminris Cptr 2 Pross Molin n Anlysis Cptr 3 Dt Minin Prt II: From Evnt Los to Pross Mols Cptr 4 Gttin t Dt Cptr 5 Pross Disovry: An Introution Cptr 6 Avn Pross Disovry Tniqus Prt III: Byon Pross Disovry Cptr 7 Conormn Ckin Cptr 8 Minin Aitionl Prsptivs Cptr 9 Oprtionl Support Prt IV: Puttin Pross Minin to Work Cptr 10 Tool Support Cptr 11 Anlyzin Lsn Prosss Cptr 12 Anlyzin Sptti Prosss Prt V: Rltion Cptr 13 Crtorpy n Nvition Cptr 14 Epilou PAGE 1

3 Conormn kin worl usinss prosss popl mins omponnts orniztions mols nlyzs supports/ ontrols spiis oniurs implmnts nlyzs sotwr systm rors vnts,.., msss, trnstions, t. (pross) mol isovry onormn nnmnt vnt los PAGE 2

4 Usin onormn kin PAGE 3

5 Contxt Corport ovrnn, risk, omplin, n lisltion su s t Srns-Oxly (US), Bsl II/III (EU), J-SOX (Jpn), C-SOX (Cn), 8t EU Dirtiv (EURO-SOX), BilMoG (Grmny), MiFID (EU), Lw 262/05 (Itly), Co Lippns (Blium), n Co Tkslt (Ntrlns). ISO 9001:2008 rquirs orniztions to mol tir oprtionl prosss. Businss linmnt: mk sur tt t inormtion systms n t rl usinss prosss r wll lin. PAGE 4

6 Auitin T trm uitin rrs to t vlution o orniztions n tir prosss. Auits r prorm to srtin t vliity n rliility o inormtion out ts orniztions n ssoit prosss. Tis is on to k wtr usinss prosss r xut witin rtin ounris st y mnrs, ovrnmnts, n otr stkolrs. Oviously, pross minin n lp to tt ru, mlprti, risks, n iniinis. All vnts in usinss pross n vlut n tis n on wil t pross is still runnin. PAGE 5

7 Dvitions? Is t mol or t lo wron? Dsirl or unsirl vitions? Brkin t lss my sv livs! PAGE 6

8 Ply-In Rply: Conntin vnts to mol lmnts is ssntil or pross minin vnt lo pross mol Ply-Out pross mol vnt lo Rply vnt lo pross mol xt mol sowin tims, rqunis, t. inostis pritions rommtions PAGE 7

9 Ply Out (Clssil us o mols) B A E D C A B C D A E D A C B D A B C D A E D A C B D A E D A C B D PAGE 8

10 Ply In (Pross Disovry) ABCD ACBD AED ACBD AED ABCD pross isovry loritm lik t α loritm B A E D C PAGE 9

11 Rply A B C D B A E D C PAGE 10

12 Rply n tt prolms AC D Prolm! tokn lt in B Prolm! missin tokn A E D C PAGE 11

13 Rply n xtrt timin inormtion A 5 B 8 C 9 D B A E D C PAGE 12

14 Ply-In Lt us now ous on onormn kin s on Rply vnt lo pross mol Ply-Out pross mol vnt lo Rply vnt lo pross mol xt mol sowin tims, rqunis, t. inostis pritions rommtions PAGE 13

15 Four mols, on lo N 4 N 1 N 2 N 3 ristr rqust ristr rqust ristr rqust ristr rqust xmin torouly xmin sully k tikt xmin torouly xmin sully xmin sully xmin sully k tikt xmin torouly i k tikt i rinitit rqust p5 rinitit rqust i k tikt i rinitit rqust py ompnstion rjt rqust py ompnstion p5 rjt rqust rjt rqust py ompnstion rjt rqust PAGE 14

16 PAGE 15

17 Rplyin (1/3) σ 1 on N 1 p=0 =0 m=0 r=0 p=1 =0 m=0 r=0 p5 p=3 =1 m=0 r=0 p5 PAGE 16

18 Rplyin (2/3) p=4 =2 m=0 r=0 p5 p=5 =3 m=0 r=0 p5 PAGE 17

19 Rplyin (3/3) p=6 =5 m=0 r=0 p5 p=7 =6 m=0 r=0 p=7 =7 m=0 No prolms r=0 oun! p5 PAGE 18

20 Rplyin (1/3) σ 3 on N 2 p=0 =0 m=0 r=0 p=1 =0 m=0 r=0 p=2 =1 m=0 r=0 PAGE 19

21 Rplyin (2/3) p=3 =2 m=1 r=0 m p=4 =3 m=1 r=0 m PAGE 20

22 Rplyin (3/3) p=5 =4 m=1 r=0 m p=6 =5 m=1 r=0 p=6 =6 m=1 r=1 r m PAGE 21

23 Prolms nountr wn rplyin σ 3 on N 2 p=6 =6 m=1 r=1 r m On missin tokn (o 6 onsum tokns) On rminin tokn (o 6 prou tokns) PAGE 22

24 Computin itnss t tr lvl p=6 =6 m=1 r=1 r m PAGE 23

25 Rplyin (1/3) σ 2 on N 3 p=0 =0 m=0 r=0 p=3 =1 m=0 r=0 p=1 =0 m=0 r=0 p5 p5 PAGE 24

26 Rplyin (2/3) p=4 =2 m=0 r=0 p=5 =4 m=1 r=0 m p5 p5 PAGE 25

27 Rplyin (3/3) p=5 =5 m=2 r=2 r m r p5 m p = 5, = 5, m = 2, n r = 2 PAGE 26

28 Computin itnss t t lo lvl PAGE 27

29 Exmpl vlus PAGE 28 ristr rqust xmin torouly xmin sully k tikt i py ompnstion rjt rqust rinitit rqust N 1 p5 ristr rqust xmin torouly xmin sully k tikt i py ompnstion rjt rqust rinitit rqust N 2 ristr rqust xmin sully k tikt i rjt rqust p5 N 3 ristr rqust xmin torouly xmin sully k tikt i py ompnstion rjt rqust rinitit rqust N 4

30 Dinostis ristr rqust prolm 443 tokns rmin in pl, us i not our ltou t mol xpt to ppn xmin torouly xmin sully k tikt rinitit rqust 1537 i py ompnstion rjt rqust 930 prolm 443 tokns wr missin in pl urin rply, us ppn vn tou tis ws not possil orin to t mol PAGE 29

31 Dinostis prolm 430 tokns rmin in pl, us i not ppn wil t mol xpt to ppn prolm 10 tokns wr missin in pl urin rply, us ppn wil tis ws not possil orin to t mol 1391 prolm 146 tokns wr missin in pl urin rply, us ppn wil tis ws not possil orin to t mol 1391 ristr rqust 1391 prolm 566 tokns wr missin in pl urin rply, us ppn wil tis ws not possil orin to t mol xmin sully k tikt i 1537 prolm 607 tokns rmin in pl p5, us i not ppn wil t mol xpt to ppn p5 rjt rqust prolm 461 o t 1391 ss i not r pl -461 PAGE 30

32 Drillin own PAGE 31

33 Comprin ootprints PAGE 32

34 PAGE 33

35 Dirns quntii (x:y wr x is in lo or N 1 n y in N 2 ) PAGE 34

36 Dinostis (x:y wr x is in lo or N 1 n y in N 2 ) N 1 ristr rqust xmin torouly xmin sully k tikt i p5 rinitit rqust py ompnstion rjt rqust N 2 ristr rqust xmin torouly xmin sully k tikt rinitit rqust i py ompnstion rjt rqust PAGE 35

37 Ckin Dlr spiitions rn rspons py ompnstion prn ristr rqust rjt rqust i non o-xistn S Dlr n LTL kr in ProM PAGE 36

38 Conntin vnt lo n mol pross 1 * tivity mol lvl 1 1 Vry importnt! s tivity instn Mol my isovr or n-m. Connt urin rply. * * 1 * instn lvl vnt ttriut Strtin point or otr typs o pross minin! 1 1 * * 1 * vnt lvl i j k timstmp rsour osts... trnstion PAGE 37

Process Discovery. prof.dr.ir. Wil van der Aalst.

Process Discovery. prof.dr.ir. Wil van der Aalst. Pross Disovry prof.r.ir. Wil vn r Alst www.prossmining.org Positioning Pross Mining prformn-orint qustions, prolms n solutions pross mol nlysis (simultion, vrifition, t.) pross mining t-orint nlysis (t