Performance Evaluation of Business Processes through a Formal Transformation to SAN

Transcription

1 Performance Evaluation of Buine Procee through a Formal Tranformation to SN Kelly Roa Braghetto 1, João Eduardo Ferreira 1, Jean-Marc Vincent 2 1 Department of Computer Science 2 Grenoble Informatic Laboratory Intitute of Mathematic and Statitic INRI MESCL Project Univerity of São Paulo Joeph Fourier Univerity October 13, 2011

2 genda 1 Buine Procee Modeling and nalyi Performance Evaluation: Challenge and Objective 2 Modeling Technique Ued in thi Work Buine Proce Model and Notation Stochatic utomata Network 3 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation Converion lgorithm (Example) 4 Concluion Contribution and Dicuion Other Related Work Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

3 Buine Procee Modeling and nalyi Buine Proce Management Technique, language and tool to upport proce life cycle Deign, Execution, Monitoring, nalyi Why it i important to analyze buine procee? They are everywhere (e-commerce, e-government, production) Thouand of people depend on their reliability Qualitative nalyi Quantitative nalyi Verification (yntactical correction) Validation (emantical correction) Performance analyi Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

4 Buine Procee Modeling and nalyi Performance nalyi of Buine Procee Common performance indice Reponivene ervice and waiting time Productivity throughput Utilization utilization rate of reource Quality of ervice, reliability Poible approache for performance evaluation Meauring Simulation nalytical modeling Kelly Roa Braghetto October 13, / 24

5 Buine Procee Performance Evaluation: Challenge and Objective Buine Proce Modeling Domain-pecific language Buine Proce Model and Notation (BPMN), Event-driven Proce Chain (EPC), Unified Modeling Language (UML) Do not have formal emantic and focu on control-flow Hard to model reource and quantify modeled behavior Our approach: automated converion to tochatic model BPMN SN (Stochatic utomata Network) ociation of time with tak ociation of probabilitie with alternative flow Characterization of reource uage Kelly Roa Braghetto October 13, / 24

6 Buine Procee Performance Evaluation: Challenge and Objective Performance Evaluation of Buine Procee via nalytical Modeling buine proce BPMN model annotated model of proce + reource Create Buine Proce Model Gather Quantitative pect Create Stochatic Model Integrate Reult nalyze Numerically performance indice et of SN model numerical reult Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

7 Modeling Technique Ued in thi Work Buine Proce Model and Notation Buine Proce Model and Notation (BPMN) Shipment Proce of a Hardware Retailer Hardware Retailer Logitic Manager Clerk Good to hip 20% - Extra inurance required 100% - Pot label (alway required) 85% - Normal Pot 15% - Special Carrier Decide if normal pot or pecial hipment mode of delivery C Check if extra inurance i neceary Requet quote from carrier F D G Take out extra inurance Fill in a Pot label E ign a carrier & prepare paperwork verage Execution Time : 05 min B : 30 min C : 10 min D : 30 min E : 05 min F : 40 min G : 15 min H : 20 min Warehoue Worker Package Good B Good for pick Move package to pick area H Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

8 Modeling Technique Ued in thi Work Stochatic utomata Network Stochatic utomata Network (SN) Example of a 2-Component Sytem 1 2 e 3, e 4 (π 2 ) z x e 1 e 4 (π 1 ) e 4 e 5 y u w Event Rate e 1 τ 1 e 2 τ 2 e 3 τ 3 e 4 τ 4 e 5 f e 2 λ 1, if 1 i in tate x f = 0, if 1 i in tate y λ 2, if 1 i in tate z Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

9 Modeling Technique Ued in thi Work Stochatic utomata Network Underlying Continuou Time Markov Chain e 3, e 4 (π 2 ) z 1 2 x u e 2 e 1 e 4 (π 1 ) e 4 e 5 Event y Rate w e 1 τ 1 e 2 τ 2 e 3 τ 3 e 4 τ 4 e 5 f λ 1, if 1 i in x f = 0, if 1 i in y λ 2, if 1 i in z λ 2 zu zw τ 4 π 2 τ 3 τ 3 xu xw τ 2 τ 2 λ 1 τ 1 τ 1 τ 4 π 1 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24 yu yw

10 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation BPMN Proce Graph Shipment Proce of a Hardware Retailer Hardware Retailer Logitic Manager Clerk Good to hip 20% - Extra inurance required 100% - Pot label (alway required) 85% - Normal Pot 15% - Special Carrier Decide if normal pot or pecial hipment mode of delivery C Check if extra inurance i neceary Requet quote from carrier F D G Take out extra inurance Fill in a Pot label E ign a carrier & prepare paperwork verage Execution Time : 05 min B : 30 min C : 10 min D : 30 min E : 05 min F : 40 min G : 15 min H : 20 min Warehoue Worker Package Good B Good for pick Move package to pick area H Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

11 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation BPMN Proce Graph Shipment Proce of a Hardware Retailer 0.2 D Take out extra inurance v 7 v 1 S 0.85 C Check if extra inurance i neceary v 5 v Fill in a Pot label E v 8 v 9 3 Decide if normal pot 0.15 v 2 or pecial hipment v v 4 v 10 G ign a carrier & prepare paperwork v 12 v 11 Requet quote from carrier F Move Package package to Good B pick area v v H v 15 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24 T v 16

12 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation Well-Formed BPMN Proce Graph Vertice acceible from tart event / acce end event Event Tak [Tak Name] [Tak Name] Gateway p 1 p 1 Probabilitie p 2 p 3 p 3 p 1 + p 2 + p 3 = 1 p 2 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

13 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation Well-Defined BPMN Model n excluive gateway doe not join parallel equence flow parallel gateway doe not join excluive equence flow n incluive gateway only join equence flow originated by another incluive gateway (one-to-one correpondence) p 1 p 2 p 1 p 2 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

14 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation Converion lgorithm Main Step 1 Converion of vertice of the BPMN proce graph into elementary SN model 2 Operation of concatenation to join automata that model a ame equence flow 3 Operation of reduction, to eliminate redundant or unneceary tate Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

15 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation From BPMN Object to SN Elementary Model Start Event v 1 v 2 v 1 v 2 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

16 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation From BPMN Object to SN Elementary Model Start Event v 1 v 2 v 1 v 2 tomic Tak a v 1 v 2 v 1 r v2 v a 2 r a Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

17 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation From BPMN Object to SN Elementary Model Start Event v 1 v 2 v 1 v 2 tomic Tak Exc. Gateway 1 (p 1 ) v 1 a v 1 v 2 v 2. (p n ) v n+1 v 1 r v2 v a 2 r a v 11 (p 1 ) v 2 v 1. v 1n (p n ) v n+1 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

18 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation From BPMN Object to SN Elementary Model Start Event v 1 v 2 v 1 v 2 tomic Tak Exc. Gateway 1 (p 1 ) v 1 a v 1 v 2 v 2. (p n ) v n+1 v 1 r v2 v a 2 r a v 11 (p 1 ) v 2 v 1. v 1n (p n ) v n+1 Exc. Gateway 2. v 1 v 2 v 1 v v 2 1 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

19 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation Operation 1 State Merge ( ) [q 4 q 5 ] l 2 l q 2 2 l q 2 3 l q 3 l 1 3 l q q 1 1 q 3 e 2 1 e e 2 3 e3 e 1 e 1 l 4 l 5 l q 4 q 4 5 q 4 e 4, e 4 e5 e 6 e 5 e 6 l 6 l 7 l q 7 l 6 6 q 7 q 6 q 7 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

20 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation Operation 2 State Suppreion ( ) Condition: output(q 4 ) = 1 [q 4 ] l 2 l 2 q 2 q 2 l 1 q 1 e l 3 l 1 2 q q 1 3 e 2 e 1 e 3 l e 1 4 l 5 q 4 e 4 e 5 e 3 q5 e 6 l 3 q 3 e 5 l 5 l 6 q 5 e 6 q6 l 7 q 7 l 6 l 7 q 6 q 7 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

21 utomated Converion from Buine Proce Model to SN Structure of BPMN and SN Model and their Operation Operation 3 utomata Concatenation ( ) 1 1 q 14 q 21 2 l 12 q 12 l 12 q 12 l 11 q 11 l e l q q e 12 e 11 e 13 e 13 l 14 q 14 e 11 l 14 q 14 l13 q13 2 e 21 l 22 l 21 q 22 q 21 e 22 l 23 q 23 e 21 e 22 e 23 l 22 q 22 l 23 q 23 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

22 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) Vertex Mapping Shipment Proce S C v v v 2 v 3 v 4 D 0.2 v E v6 v 8 v 9 F G v v 10 v T v 16 B H v 13 v 14 v 15 v 1 1 v 1 11 S v 2 12 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

23 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) Vertex Mapping Shipment Proce S C v v v 2 v 3 v 4 D 0.2 v E v6 v 8 v 9 F G v v 10 v T v 16 B H v 13 v 14 v 15 v 1 v v 1 11 S v 2 21 v 2 v 2 31 v2 12 v 2 v 3 v Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

24 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) Vertex Mapping Shipment Proce S C v v v 2 v 3 v 4 D 0.2 v E v6 v 8 v 9 F G v v 10 v T v 16 B H v 13 v 14 v 15 v 1 v 2 v v 3 v 1 v 2 v 2 41 r v 2 12 S v 2 31 v2 r v3 42 v 3 v v 4 43 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

25 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) Vertex Mapping Shipment Proce S C v v v 2 v 3 v 4 D 0.2 v E v6 v 8 v 9 F G v v 10 v T v 16 B H v 13 v 14 v 15 v 1 v 2 v 3 v 6 /v 9 15) v v 6 v v 1 v 71 2 v v 2 v r 6 4 v 9 v v 2 v2 v 61 v v 61 v 6 1 v62 v v 101 S r v3 9 v v 82 2 v (0.2) (0.8) (1.0) (0.0) 3 v 13 v 12 v v 4 v 7 v 9 v 8 v Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

26 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) Vertex Mapping Shipment Proce v 1 v 2 v 3 v 4 v 5 v 6 /v v 3 5 v v 6 v 6 5 v 1 v 2 v v v 81 r 61 6 v 4 4 r C v 41 v 42 S v 2 v 2 r 51 v 61 v 62 v3 (0.85) (0.15) r v5 v 61 v 6 1 v62 v v 2 v 3 v 13 v 5 v 10 C (0.2) (0.8)(1.0) 82 (0.0) v v 6 v 7 v 9 v 8 v v 7 12 v 8 13 v v v v 15 v v r v v v D r E r F r G r B 14 r H v 9 v v 12 9 r v7 r v8 r v10 r v11 r v13 v 14 v 14 r v v 12 v D E F G 12 v B v 15 v H v 9 v 9 v 11 v v v v 7 v 8 v 10 v 11 v 12 v 13 v 14 v 15 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24 63

27 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) utomata Concatenation/State Merge Shipment Proce v 3 5 v v 6 v 6 5 v 1 v 2 v 41 2 v 71 v 81 r 61 v 4 4 r C 6 21 v 41 v 42 v 31 S 2 v 2 r v 61 v 62 v3 (0.85) 51 (0.15) r v5 v 61 v 6 1 v62 v v 2 v 3 v 13 v 5 v 10 C (0.2) (0.8)(1.0) 82 (0.0) v v 6 v 7 v 9 v 8 v = 1 S v 1 v 2 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

28 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) utomata Concatenation/State Merge Shipment Proce v 3 5 v v 6 v 6 5 v 1 v 2 v 41 2 v 71 v 81 r 61 v 4 4 r C 6 21 v 41 v 42 v 31 S 2 v 2 r v 61 v 62 v3 (0.85) 51 (0.15) r v5 v 61 v 6 1 v62 v v 2 v 3 v 13 v 5 v 10 C (0.2) (0.8)(1.0) 82 (0.0) v v 6 v 7 v 9 v 8 v = S v 1 v 2 v 2 v 3 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

29 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) utomata Concatenation/State Merge Shipment Proce v 3 5 v v 6 v 6 5 v 1 v 2 v 41 2 v 71 v 81 r 61 v 4 4 r C 6 21 v 41 v 42 v 31 S 2 v 2 r v 61 v 62 v3 (0.85) 51 (0.15) r v5 v 61 v 6 1 v62 v v 2 v 3 v 13 v 5 v 10 C (0.2) (0.8)(1.0) 82 (0.0) v v 6 v 7 v 9 v 8 v = S v 2 r v 1 v 2 v 3 r v3 v 4 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

30 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) utomata Concatenation/State Merge Shipment Proce v 3 5 v v 6 v 6 5 v 1 v 2 v 41 2 v 71 v 81 r 61 v 4 4 r C 6 21 v 41 v 42 v 31 S 2 v 2 r v 61 v 62 v3 (0.85) 51 (0.15) r v5 v 61 v 6 1 v62 v v 2 v 3 v 13 v 5 v 10 C (0.2) (0.8)(1.0) 82 (0.0) v v 6 v 7 v 9 v 8 v = v S v 2 r v 41 1 v 2 v 3 r v3 v 4 v 5 (0.85) v 42 (0.15) v 10 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

31 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) utomata Concatenation/State Merge Shipment Proce = v v 2 r 1 v v 41 2 v 3 r r S C C v 6 v 61 v3 v 4 v 5 r v5 v 6 v 61 (0.85) (0.2) v 42 (0.15) v 6 1 (0.8) v 7 r D v 10 v 9 r v7 D v 9 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

32 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) utomata Concatenation/State Merge Shipment Proce = ( ) [ ] v S v 2 r 1 v v 41 2 v 3 r r C C v 6 v 61 v3 v 4 v 5 r v5 v 6 v 61 (0.85) (0.2) v 42 (0.15) v 6 1 (0.8) v 7 r D v 10 v 9 D r v7 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

33 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) utomata Concatenation/State Merge Shipment Proce = ((( [ ] )[ 92 ] ) )[ ] v S v 2 r v 41 r C 1 v 2 v 3 r v3 v 4 v 5 r C v5 v 6 (0.85) v 42 (0.15) v 6 v 61 v 61 (0.2) v 6 1 (0.8) v 7 r D v 16 H r v15 r H v 15 v 10 r F r v10 F v11 r G r v11 G v 14 v 9 v 9 D r v7 v 14 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

34 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) utomata Concatenation/State Merge Shipment Proce = ((( [ ] ) )[ ] )[ 92 ][ ] v S v 2 r v 41 r C 1 v 2 v 3 r v3 v 4 v 5 r C v5 v 6 (0.85) v 42 (0.15) v 6 v 61 v 61 (0.2) v 6 1 (0.8) v 7 r D H r v15 r H v 15 v 10 r F r v10 F v11 r G r v11 G v 14 v 9 v 9 D r v7 v 14 Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

35 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) utomata Concatenation/State Merge Shipment Proce D 0.2 v 7 S 1.0 C E v v 5 v6 v 8 v 9 v F G T v3 v 4 v 10 v v v 16 B H v 13 v 14 v 15 verage Time Rate 05 min B 30 min C 10 min D 30 min E 05 min F 40 min G 15 min H 20 min v 1 S v 2 v 2 H r v15 r H v 3 r r v3 v 41 v 4 r C v 42 (0.85) (0.15) v 5 v 15 v 10 r v10 r F F v 11 r G r C v5 r v11 G v 6 v 6 v 61 v 61 v 7 (0.2) v 6 1 (0.8) r D v 14 r v7 v 9 v 9 D v 14 v v 2 r 2 v B 13 r B v13 v 14 v 6 v 6 v 62 v 62 (1.0) v 6 2 (0.0) v 8 r E v v 14 r v8 v 9 9 E Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

36 utomated Converion from Buine Proce Model to SN Converion lgorithm (Example) nalyi of the SN Model of the Shipment Proce Solving tool: PEPS 1 Parallel proce intance automata replica Diabling of tak in the cae of unavailability of reource functional rate Parallel State Reachable Repone Utiliz. Utiliz. Utiliz. Intanc. Space Space Time (h) Manager Clerk Worker ,400 5, ,872, , Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

37 Concluion Contribution and Dicuion utomated converion of BP model to SN model btraction of the complexity involved in tochatic modeling bility to deal with large cale model Software tool: BP2SN ( Miing: Reource Management Info BP model lack information about reource: What are the reource required in the buine proce? How many are available? What i their work capacity? How are they acceed? Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

38 Concluion Other Related Work Extenion of the Work Modeling Reource Management of Buine Procee buine proce BPMN model annotated model of proce + reource Create Buine Proce Model Gather Quantitative pect Create Stochatic Model Integrate Reult nalyze Numerically performance indice et of SN model numerical reult Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

39 Concluion Other Related Work Related Publication K. R. Braghetto, J. E. Ferreira, J.-M. Vincent Performance Evaluation of Reource-ware Buine Procee Uing Stochatic utomata Network International Journal of Innovative Computing, Information and Control (IJICIC), pecial iue on Intelligent and Innovative Computing in Buine Proce Management (IICBPM), K. R. Braghetto, J. E. Ferreira, J.-M. Vincent Performance nalyi Modeling pplied to Buine Procee Sympoium on Theory of Modeling & Simulation DEVS Integrative M & S Sympoium (DEVS 10) Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24

40 I thank you for your attention buine proce BPMN model annotated model of proce + reource Create Buine Proce Model Gather Quantitative pect Create Stochatic Model Integrate Reult nalyze Numerically performance indice et of SN model numerical reult Kelly Roa Braghetto (kellyrb@ime.up.br) October 13, / 24