Exam Theoretical Foundations of UML WS 2012/13

Transcription

1 2 Prof. Dr. Ir. Joost-Pieter Ktoen Flk Sher, Srin von Styp Exm Theoreticl Foundtions of UML WS 2012/13 First Nme: Second Nme: Mtricultion Numer: Degree Progrmme (plese mrk): CS Mster SSE Mster Other: Σ Points Points otined Exercise 1 10 Exercise 2 10 Exercise 3 10 Exercise 4 10 Exercise 5 10 Σ 50 Notes: Mrk every sheet with your mtricultion numer. Check tht your copy of the exm consists of 16 sheets. Durtion of exm: 120 minutes. Give your solution on the respective sheet. Also use the ckside if necessry. If you need more pper, sk the ssistnts. Write with lue or lck ink; do not use pencil or red ink. Mke sure ll electronic devices re switched off nd re nowhere ner you. Any ttempt t deception leds to filure for this exm, even if it is detected only lter. Justify your nswers. Just providing n nswer is insufficient. Your re llowed to ring copy of ll slides. No other mteril is llowed. 1

2 Exercise 1 (Rces): Mtricultion Numer: (5+5 points) ) Does the following MSCM hve rce? If yes, indicte ll pirs of events tht form rce. M p q r e 0 e 1 e 2 e 4 e 5 e 10 e 3 e 6 e 7 e 9 e 8 e 11 2

3 Mtricultion Numer: ) Does the following MSGG hve rce? If yes, indicte pth ing tht hs rce nd give this rce. G: M 1 : M 2 : p q p q r M 1 c d M 2 M 3 M 4 M 3 : M 4 : p r q r e f g 3

4 Mtricultion Numer: Exercise 2 (Sfeness nd / oundedness): ) Determine if the following CMSG is sfe. (4+3+3 points) M 1 M 2 M 5 M 3 M 1 : p q r q r M 3 : p q r p q M 4 M 5 : p q r q r M 2 : p q r p p p q M 4 : p q r p p q r 4

5 Mtricultion Numer: ) Determine for the following MSC if it is existentilly( ) or universlly( ) ounded. In cse it is / -ounded, determine the smllest B such tht the MSC is / -B-ounded nd rgue why it cnnot e / (B 1) ounded. p q r e 2 e 0 e 1 e 4 e 3 e 6 e 9 e 10 e 5 e 7 e 8 e 11 e 13 e 12 5

6 Mtricultion Numer: c) Let the following CFMA, descried ya 1 nda 2, e given. Is the CFMA- / -Bounded? (if the nswer is yes find the smllest suchb) A 1 : A 2 : l 2!?! l 0? l 1! l 3 q 0! q 1?!?? l 4! q 3!? q 2 6

7 Mtricultion Numer: Exercise 3 (PDL): (4+6 points) ) Consider the following MSCM defined over the set of processesp={p,q,r}. M: p q r e1 e8 e9 e14 e5 e4 e12 e10 e13 e2 e3 e6 e7 e11 Determine whether the MSCM stisfies the following PDL formuls or not. If your nswer is yes, provide t lest one event tht stisfies the corresponding formul. 1) (proc+msg) ;{?(p,q, )} [proc] 1 (proc+msg)?(r,q, ) 2) {!p};((proc+{[msg] 1 true});{!q?p})?p 3) msg [proc] 1 msg [proc;proc] 1 flse Note: forp 1,p 2 P,?(p 1,p 2, ) revites C?(p 1,p 2,) wherec ndp re the sets of messge contents nd processes in the MSC M respectively. Moreover, we define?p 1 = p P\{p 1 }, C?(p 1,p,). Similrly we define!p 1. 7

8 Mtricultion Numer: ) Write down the PDL formuls tht correspond to the following informl descriptions out the MSCM: 1) Once processpreceives messge from processr, it will not receive ny messge ny further. 2) Every messge tht process r receives from process q is immeditely pssed from processr to processp. 8

9 Mtricultion Numer: Exercise 4 (Relizility): (4+4+2 points) ) Consider the following MSCsM 1 ndm 2 defined over the set of processesp={p,q,r,s}. M 1 : M 2 : p q r s p q r s e4 e1 e5 e3 e2 e6 f5 f1 f4 f6 f3 f2 Prove thtl 1 =Lin(M 1 ) Lin(M 2 ) is not closed under =. 9

10 Mtricultion Numer: ) Consider the following MSCsM 2 ndm 3 defined over the set of processesp={p,q,r,s}. M 2 : M 3 : p q r s p q r s f5 f1 f4 f6 f3 f2 g3 c g1 g6 g8 c c g4 g7 c g5 g2 Prove thtl 2 =Lin(M 2 ) Lin(M 3 ) is not closed under = df. 10

11 Mtricultion Numer: c) Consider the following MSCsM 1 ndm 2 defined over the set of processesp={p,q,r,s}. M 1 : M 2 : p q r s p q r s e4 e1 e5 e3 e2 e6 f5 f1 f4 f6 f3 f2 Modify eitherm 1 orm 2 y dding only one pir of send nd receive events such tht Lin(M 1 ) Lin(M 2 ) is closed under =. 11

12 Mtricultion Numer: Exercise 5 (Sttechrt): Let the following sttechrts=(n,e,edges) e given: ( points) Root B / A c/d E G D q/r I F K M /p O P S r/p r/r H N f/ p/m J T L Q R d/r f/e m/d Note: In this ssignment n edge lel of the forme/e of SttechrtSmens thtsis consuming evente nd executing n ction tht is sending the evente tos(i.e., to itself). ) Give the type of the nodesa,b,dndn. 12

13 Mtricultion Numer: ) Construct the tree tht represents the node hierrchy of sttechrts. 13

14 Mtricultion Numer: c) Determine the priority etween: 1) moving fromn toqnd moving fromn toroot, nd 2) moving fromm tom nd moving fromm too provided oth the edges re enled in ech of the ove cses. 14

15 Mtricultion Numer: d) Determine the scope of the edges: 1){R} {T} 2){Q} {R} 15

16 Mtricultion Numer: e) Consider the configurtion C ={Root, B, E, O, Q} in the sttechrt S. 1) Provide the mximl set of eventsi tht cn e consumed in the configurtionc. 2) Provide ll possile steps in configurtionc. 16