Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Seminar@TU/e 2010 - Montali - Business Constraint Monitoring and Operational Support

146 views

Published on

Seminar on "Business Constraint Monitoring and Operational Support" at the Eindhoven University of Technology (the Netherlands), 29/07/2010.

  • Be the first to comment

  • Be the first to like this

Seminar@TU/e 2010 - Montali - Business Constraint Monitoring and Operational Support

  1. 1. !"#$%&##'()%#*+,$%*'-)%$*)+$%.' ,%/'01&+,2)%,3'4"11)+*' -,+5)'-)%*,3$' ' ' 67,%8#'*)9' :$3';,%'/&+'<,3#*',%/'-,=,'>&#$5'' ?,@+$A$)'-,..$B'<+=,%'-))$=B'C)D5&'E,8,*"F@,',%/'-$57,&3':&#*&+.,,+/'
  2. 2. 0"*3$%&' G  -)%$*)+$%.'!"#$%&##'()%#*+,$%*#' H  -)/&3$%.'5)%#*+,$%*#I'#*,*&#' H  ()%#*+,$%*'J%#*,%5&#' H  E"F@&+')K';$)3,2)%#' H  L",%2*,2;&'2F&',#1&5*#' G  J%*&.+,2)%'$%#$/&'>+)-'M' H  01&+,2)%,3'#"11)+*'1+);$/&+' H  ("++&%*'$##"&#',%/')%.)$%.'N)+8' '
  3. 3. O"%P2F&'Q&+$R5,2)%' model yes no partial trace Run-time Verification Q&+$KD'N7&*7&+','1,+2,3B' +"%%$%.'*+,5&'5)F13$&#'N$*7' ,'#&*')K'@"#$%&##'5)%#*+,$%*#' ,%/'1+);$/&'+&3,*&/'$%K)#'
  4. 4. -)%$*)+$%.' model partial trace refuse order confirm order state of affairs alarms warnings Monitoring commit order 0..1 6+,58','1,+2,3B'+"%%$%.' *+,5&',%/'+&1)+*'7)N'$*' ,S&5*#'*7&'@"#$%&##' 5)%#*+,$%*#'
  5. 5. Q&+$R5,2)%';#'-)%$*)+$%.' G  !)*7'/&,3'N$*7','1,+2,3B'.+)N$%.'*+,5&' H  E)%P/&R%$2;&',%#N&+#B'*7+&&P;,3"&/'#&F,%25#' G  Q&+$R5,2)%'!';$)3,2)%#',#'3).$5,3'$%5)%#$#*&%5$&#' H  67&';&+$R&+'#*)1#'N7&%'*7&'R+#*';$)3,2)%'$#'/&*&5*&/' G  -)%$*)+$%.'F"#*'$%#*&,/'1+);$/&'5)%2%")"#'#"11)+*' H  67&'+"%%$%.'#D#*&F'5,%%)*'@&'5)%*+)33&/' H  Q$)3,2)%#'F"#*'@&'5,".7*',%/'+&1)+*&/' T  6)'$%K)+F'*7&'+"%%$%.'#D#*&F' T  6)'*+$..&+'K"+*7&+'@"#$%&##'5)%#*+,$%*#'U&V.V'5)F1&%#,2)%#W' H  Q$)3,2)%#'5)"3/'@&'X5)"%*&/Y' T  6)'F&,#"+&'*7&'X7&,3*7Y')K'*7&'+"%%$%.'5,#&'
  6. 6. O&#1)%#&'()%#*+,$%*' G  67&'5)%#*+,$%*'$#'$%$2,33D'!"#!$%&' G  :7&%'!'$#'&Z&5"*&/B'*7&'5)%#*+,$%*'X*+$..&+#Y'@&5)F$%.'(%)&*)+' G  67&%B'$K'"'$#'&Z&5"*&/',%/'*7&'5)%#*+,$%*'$#'1&%/$%.B'$*'@&5)F&#' !"#!$%&',.,$%' G  JK'*7&'5,#&'$#'*&+F$%,*&/',%/'*7&'5)%#*+,$%*'$#'(%)&*)+B'$*' @&5)F&#',*-."/%&'' a b [;&+D'2F&'!'$#'&Z&5"*&/B'"'F"#*'@&' &;&%*",33D'&Z&5"*&/'
  7. 7. <"*)F,*,P@,#&/'Q&+$R5,2)%' a b s0 s1 a b ¬ a ¬ b ' U,''◇@W' '
  8. 8. <"*)F,*,P@,#&/'Q&+$R5,2)%' a b s0 s1 a b ¬ a ¬ b ' U,''◇@W' ' s0 s1 a b ¬ a ¬ b s0 s1 a b ¬ a ¬ b ]' ,' ^' _' `'a' #*,+*' @',' ,' b' &%/' s0 s1 a b ¬ a ¬ b s0 s1 a b ¬ a ¬ b s0 s1 a b ¬ a ¬ b s0 s1 a b ¬ a ¬ b #!$% #!$%&'()% &'()% &'()% *+,-% 4*,*&' @,#&/'
  9. 9. E&.'O&#1)%#&'()%#*+,$%*' G  67&'5)%#*+,$%*'$#'$%$2,33D'!"#!$%&' G  :7&%'!'$#'&Z&5"*&/B'*7&'5)%#*+,$%*'X*+$..&+#Y' +&F,$%$%.'#,2#R&/B'@"*',3#)'0-12*&&*)+'*7&'&Z&5"2)%' )K'"% G  67&%B'$K'"'$#'&Z&5"*&/'*7&'5)%#*+,$%*'@&5)F&#',*-."/%&' [;&+D'2F&'!'$#'&Z&5"*&/B'"'5,%%)*'@&' &Z&5"*&/',c&+N,+/#' a b
  10. 10. <"*)F,*,P@,#&/'Q&+$R5,2)%' ' U, d@W' 'a b s0 s1 a ¬ a ¬ b
  11. 11. <"*)F,*,P@,#&/'Q&+$R5,2)%' ]' ,' ^' _' a' #*,+*' @',' #!$% 6+,%#$2)%' @,#&/' ' U, d@W' 'a b s0 s1 a ¬ a ¬ b s0 s1 a ¬ a ¬ b s0 s1 a ¬ a ¬ b #!$% "%.,/"+))'(% s0 s1 a ¬ a ¬ b #!$% "%.,/"+))'(% *+,-% s0 s1 a ¬ a ¬ b `' ,' b' &%/'
  12. 12. ()%#*+,$%*#'X5)F1)%&%*#Y' G  >)#$2;&'5)F1)%&%*'!'&Z1&5*#'#)F&*7$%.e' H  !&5)F&#'1&%/$%.B'N,$2%.'K)+'*7&'&Z&5"2)%')K'#)F&',52;$*D' H  >&+F,%&%*3D'#,2#R&/'N7&%'*7&'&Z1&5*&/',52;$*D'$#'&Z&5"*&/' H  Q$)3,*&/'$K'#233',52;&',*'*7&'&%/')K'*7&'5,#&' G  E&.,2;&'5)F1)%&%*'!'K)+@$/#'#)F&*7$%.e' H  :7&%'X,52;&YB'K)+@$/#'*7&'&Z&5"2)%')K'#)F&',52;$*D' H  Q$)3,*&/'$K'*7&'K)+@$//&%',52;$*D'$#'&Z&5"*&/' H  >&+F,%&%*3D'#,2#R&/'$K'*7&'&%/')K'*7&'5,#&'$#'+&,57&/'N$*7)"*' ;$)3,2%.'$*' G  ()F1)%&%*#'f'5)%#*+,$%*#'K,F$3$&#' H  67&+&',+&'+&3,2)%'5)%#*+,$%*#'N$*7','%&.,2;&'5)F1)%&%*' H  67&+&',+&'%&.,2)%'5)%#*+,$%*#'N$*7','1)#$2;&'5)F1)%&%*'
  13. 13. [Z,F13&#' G  [Z$#*&%5&'5)%#*+,$%*9'1)#$2;&' G  O&#1)%#&'5)%#*+,$%*9'1)#$2;&' G  E&.,2)%'+&#1)%#&'5)%#*+,$%*9'%&.,2;&' G  >+&5&/&%5&'5)%#*+,$%*9'%&.,2;&'UgW' H  ?"*"+&P*&%#&'$%*&+1+&*,2)%9'*7&'*,+.&*',52;$*D'$#'K)+@$//&%'"%23'*7&' #)"+5&',52;$*D'$#'&Z&5"*&/' G  <3*&+%,*&'+&#1)%#&9'1)#$2;&h%&.,2;&' H  O&#1)%#&'1,+*9'1)#$2;&' H  <3*&+%,2)%'1,+*9'%&.,2;&' T  :7&%'*7&'#)"+5&',52;$*D'$#'&Z&5"*&/B'$*'@&5)F&#'K)+@$//&%'"%23' *7&'*,+.&*',52;$*D'$#'&Z&5"*&/',#'N&33'
  14. 14. [;&%*'(,35"3"#' G  <'K+,F&N)+8B'@,#&/')%'?$+#*'0+/&+'i).$5B'K)+' +&,#)%$%.',@)"*'2F&B'&;&%*#B',%/'*7&$+'&S&5*#' G  >+)1&+2&#'*7,*';,+D');&+'2F&'Uj"&%*#W' G  ?3"&%*#I';,3$/$*D'$#'F,%$1"3,*&/'@D'*7&'&Z&5"2)%')K' &;&%*#' H  67&D'$%$2,*&k*&+F$%,*&'j"&%*#' G  6$F&'$#'F)/&3&/',#',%'&Z13$5$*';,+$,@3&' G  O&,52;&'[;&%*'(,35"3"#' H  <Z$)F,2A,2)%')K'*7&'[(')%'*)1')K'4(J??' H  67&'4(J??'>+))K'>+)5&/"+&'5,%'@&'"#&/'*)'F)%$*)+','+"%%$%.'5,#&B' /D%,F$5,33D'"1/,2%.'*7&';,3$/$*D')K'j"&%*#'
  15. 15. [;&%*'(,35"3"#P@,#&/'-)%$*)+$%.' G  >)#$2;&',%/'%&.,2;&'5)F1)%&%*#'F,11&/')%*)'j"&%*#' H  !/"/3!4*)!/")5%6(%)&*)+7' T  ()%#*+,$%*'$%#*,%5&'$#'5"++&%*3D'1&%/$%.' T  (,%'@&',##)5$,*&/'*)'l",%2*,2;&'2F&'5)%#*+,$%*#9':m[E'*7&'5)%#*+,$%*' F"#*'@&'#,2#R&/' H  !/"/3!4*)!/")5%6!"#!$%&7' T  ()%#*+,$%*'$%#*,%5&'$#'5"++&%*3D'#,2#R&/' H  !/"/3!4*)!/")5%60-12*&4877' T  ()%#*+,$%*'$%#*,%5&'$#'5"++&%*3D'K)+@$//$%.',52;$*D'<' G  Q$)3,2)%#'&Z13$5$*3D'$/&%2R&/',%/'*+&,*&/',#'#1&5$,3'j"&%*#9' XN$*7'*7&'3).$5B'%)*'$%'*7&'3).$5Y' H  !/"/3!4*)!/")5%6,*-."/%&7' T  ()%#*+,$%*'$%#*,%5&'$#';$)3,*&/'U&V.V')55"++&%5&')K','K)+@$//&%',52;$*DW'
  16. 16. E&.'O&#1)%#&'()%#*+,$%*' G  [;&+D'2F&'!'$#'&Z&5"*&/B','%&.,2;&'5)F1)%&%*' K)+@$//$%.'"'$#'$%#*,33&/' G  !"*'!'5,%'@&'&Z&5"*&/'F"3213&'2F&#e' '!':7,*',@)"*';$)3,2)%#n' [;&+D'2F&'!'$#'&Z&5"*&/B'"'5,%%)*'@&' &Z&5"*&/',c&+N,+/#' a b
  17. 17. m)N'F,%D';$)3,2)%#nnn' ]]' ,' ^' ]b' ]o' #*,+*' ,'@' _`' ,' a^' @' @' @' a b ' U, d@W d@ d@ d@ d@' d@' ,' ,' ,' d@'
  18. 18. m)N'F,%D';$)3,2)%#nnn' ]]' ,' ^' ]b' ]o' #*,+*' ,'@' _`' ,' a^' @' @' @' a b ' U, d@W d@ d@ d@ d@' d@' ,' ,' ,' d@'
  19. 19. ()%#*+,$%*'J%#*,%5&#' G  4)F&'()%p&5'5)%#*+,$%*#'*+$..&+'0-1'%,%19' -55311%)5%')K'*7&'#)"+5&' G  [,57'#)"+5&')55"++&%5&'$#'/$S&+&%*'K+)F'*7&' )*7&+#' H  m,#'$*#')N%'2F&#*,F1' H  m,#'$*#')N%'/,*,' '!''[;&+D'2F&'*7&'#)"+5&')55"+#B',%'*)!/")5%')K'*7&' '5)%#*+,$%*'$#'5+&,*&/' ' 'Q$)3,2)%#',+&'*+&,*&/',*'*7&'$%#*,%5&'3&;&3'
  20. 20. m)N'F,%D';$)3,2)%#nnn' ]]' ,' ^' ]b' ]o' #*,+*' ,'@' _`' ,' a^' @' [,57'$%#*,%5&'$#',##)5$,*&/'*)'*7&'*"13&' q5)%#*+,$%*r$/B*+$..&+$%.r2F&s' K)+@U@W' ;$)3U]W' ;$)3U_W' K)+@U@W' c ;$)3U]W' K)+@U@W' ;$)3U]W' a b $U5B]]W $U5B]oW $U5B_`W
  21. 21. L",3$*,2;&'6$F&' G  i6i',/)1*#','l",3$*,2;&' F)/&3')K'2F&' H  O&3,2)%#7$1#'@&*N&&%'2F&' 1)$%*#' H  E)'/$#*,%5&'%)+'F&*+$5#' G  <'*+$..&+&/'+&#1)%#&' 5)%#*+,$%*'N$33'*)&%$)*/%.9' N,$*'K)+'*7&'&Z&5"2)%')K'$*#' *,+.&*'U◇ #&F,%25#W'' H  :7,*',@)"*'/&,/3$%&#n'L)4' 2F&3$%&##'+&l"$+&F&%*#n'
  22. 22. L",%2*,2;&'6$F&' G  <'F&*+$5'57,+,5*&+$A,2)%')K'2F&'$#' %&&/&/' H  L",%2*,2;&'2F&'5)%#*+,$%*#' G  J%'*7&'*&F1)+,3'3).$5#'#&t%.' H  -&*+$5'*&F1)+,3'3).$5#' G  J%'*7&'3).$5'1+).+,FF$%.'#&t%.9' &Z13$5$*'2F&' H  6$F&',#','X;,+$,@3&Y'N7$57'5,%'@&' X5)%#*+,$%&/Y'U#&&'[;&%*'(,35"3"#W' H  0+1+-!/%!&&/,!23%.,/%,$3'/%*!/+!"-'#% 4)!$!5%
  23. 23. m)N'F,%D'5)++&5*'$%#*,%5&#nnn' ]]' ,' ^' ]b' ]o' #*,+*' ,'@' _`' ,' a^' @' [,57'$%#*,%5&'$#',##)5$,*&/'*)'*7&',5*",3'2F&' N$%/)N9'U*u^B*uov' 1&%/' 1&%/' 1&%/' #,*' #,*' ;$)3' _w' 5' $U5BU]oB_MvW' $U5BU]]B]xvW' $U5BU_`Ba_vW' a b (0..8] c
  24. 24. -)%$*)+$%.'O&#"3*' a b (0..10sec]
  25. 25. i6i'U<"*)F,*,W';#'UOW[(' :;:'<'83/-="/"' 4>7?@' Q&+$R5,2)%' O"%P2F&'(7&58$%.' -)%$*)+$%.' [Z1+&##$;&%&##' L",3$*,2;&'*&F1)+,3' 5)%#*+,$%*#' L",3$*,2;&',%/'l",%2*,2;&'2F&' 5)%#*+,$%*#B')*7&+'/,*,'U;,+$,@3&#gggW' ()F13&Z$*D' <P1+$)+$'5)%#*+"52)%')K' *7&',*)F,*,' <*'+"%P2F&9'#1,5&'K)+' #*)+$%.'*7&',"*)F,*,B' +&,#)%$%.'2F&'3$%&,+'$%' *7&'3&%.*7')K'*7&'*+,5&'' E)'5)%#*+"52)%')K'$%*&+F&/$,*&'K)+F,*#' U#F,33'#1,5&W' <*'+"%P2F&9'+&,#)%$%.'$%;)3;&#'*7&' 5)F@$%,2)%')K',33'[(',Z$)F#'N$*7'&;&+D' &%*+D')K'*7&'*+,5&V'-"57'F)+&'&y5$&%*'$K' *7&';&+$R&+'$#'"#&/'$%','+&,52;&'F,%%&+' i))8'<7&,/' (,%'K)+&#&&'"%,;)$/,@3&' ;$)3,2)%#'U,"*)F,*)%' K)+'*7&'N7)3&'F)/&3W' ' ' ' (,%'/&*&5*',';$)3,2)%')%3D'$K'$*'$#'&Z13$5$*3D' 5)%*,$%&/'$%'*7&'*+,5&' a b c 0 ?)+@$//&%g'A-12*&&%)B'
  26. 26. J%*&.+,2)%'$%#$/&'01&+,2)%,3' 4"11)+*'
  27. 27. O&,52;&'[('>+);$/&+' REC Provider CLIMB model (extended Declare) CLIMB Importer extended Declare XML file model REC Core Provider CLIMB2EC Translator EC-based constraints axiomatization EC theory Operational Support -,+5)'-)%*,3$V'41&5$R5,2)%',%/'Q&+$R5,2)%')K' p&53,+,2;&'01&%'J%*&+,52)%'-)/&3#9','i).$5P!,#&/' <11+),57V'iE!J>'bMB'41+$%.&+V''
  28. 28. O&,52;&'[('>+);$/&+' REC Provider EC-based constraints axiomatization REC Engine SWI Prolog SCIFF socket Operational Support Trace Translator
  29. 29. (3$&%*'
  30. 30. O[?[O[E([' -0p[i'<' O[?[O[E([' -0p[i'!' O[?[O[E([' -0p[i'('
  31. 31. >+);$/&+'J%#*,%5&#' >J' >J% >J% >J% >J% >J% >J% ()%#*+,$%*#'F)/&3'_()%#*+,$%*#'F)/&3'] ()%#*+,$%*#'F)/&3'a ()%#*+,$%*#'F)/&3'` (,#&'] (,#&'_ (,#&'a (,#&'` (,#&'b (,#&'M (,#&'w
  32. 32. ("++&%*'JF13&F&%*,2)%' >J' >J% >J% >J% ()%#*+,$%*#'F)/&3'_()%#*+,$%*#'F)/&3'] ()%#*+,$%*#'F)/&3'a ()%#*+,$%*#'F)/&3'` (,#&'] (,#&'_ (,#&'a (,#&'` (,#&'b (,#&'M (,#&'w
  33. 33. 4*,*&3&##';#'4*,*&K"3'>+);$/&+' >J' ()%#*+,$%*#'F)/&3'] (,#&'] (,#&'_ (,#&'a (,#&'` (,#&'b (,#&'M (,#&'w •  4*,*&3&##'1+);$/&+' –  (,%'#&,F3&##D'#&+;&'/$S&+&%*'53$&%*#' –  -"#*'+&#*,+*'+&,#)%$%.'K+)F'#5+,*57'&;&+D' 2F&','+&l"&#*'$#'+&5&$;&/' •  J#'*7$#'+&,33D'F)%$*)+$%.nnn' •  4*,*&K"3'1+);$/&+' –  (,%'&Z13)$*',%/'&Z*&%/'*7&'1+&;$)"#3D' 5)F1"*&/'+&#"3*' •  E)'%&&/')K'+&5&$;$%.'*7&'N7)3&'1,+2,3'*+,5&ggg' –  -"#*'F,$%*,$%','#&1,+,*&'#*,*&'K)+'&,57' +"%%$%.'5,#&' •  -"3213&'$%#*,%5&#')K'*7&'+&,#)%&+k,"*)F,*)%' •  4&##$)%#' '!' '4*,*&'F,%,.&/'@D'*7&'1+);$/&+')+'@D' '*7&'04'4&+;$5&n'
  34. 34. >+);$/&+I#'Q$#$@$3$*D' >J' >J% >J% >J% ()%#*+,$%*#'F)/&3'_()%#*+,$%*#'F)/&3'] ()%#*+,$%*#'F)/&3'a ()%#*+,$%*#'F)/&3'` (,#&'] •  4$%.3&'1+);$/&+#',+&'%)*';$#$@3&'K+)F'*7&';$&N1)$%*')K',%'04'53$&%*' –  J*'#$F13D'$%*&+,5*#'N$*7'*7&'04'4&+;$5&' ! J*'$#'%)*'1)##$@3&'*)',##)5$,*&','5,#&'N$*7','#1&5$R5'1+);$/&+' ! 67&+&'$#',3#)'%)';$#$@$3$*D')K'*7&'1+);$/&+I#'$%1"*#',%/'F)/&3#g' •  :7)'$#'$%'57,+.&')K' –  (7))#$%.'*7&'$%1"*'F)/&3'U&V.V'@"#$%&##'5)%#*+,$%*#Wn' –  4&t%.'*7&'1,+,F&*&+#'U&V.V'2F&'.+,%"3,+$*DWn' •  m)N'5,%'*7&'53$&%*',55&##'*7$#'$%K)+F,2)%#n'
  35. 35. J%*&+,52)%'>+)*)5)3' G  ("++&%*3D' G  >)##$@3&'&Z*&%#$)%#' Client OS O&l"&#*'CD*&6@*&6/1"5%E' O&l"&#*'CD*&6@*&6/1"5%F!%+=%)/E' z1/,*&'+&#"3*CD*&6@*&E' (,#&'R%$#7&/CD*&6@*&E' Client OS session
  36. 36. 01&+,2)%#']k_' G  O&l"&#*'@D'q>$/B($/s'K)+','@"%57')K'&;&%*#' H  G)51%=%)/".',11+),579'' H  JK'q>$/B($/s'$#'"%8%)N%B','#&##$)%'$#'5+&,*&/' H  67&'#&##$)%'$#'"#&/'*)' G  4*)+&'*7&'5"++&%*3D'5)F1"*&/'+&#"3*'U1+);$/&+'#*,*&W' G  U)12)%,33DW'#*)+&'*7&'*+,5&'5)33&5*&/'#)'K,+'U$K'*7&'1+);$/&+'#*,*'/)&#'%)*' #"y5&W' H  >+);$/&+#'5)F1"*&','+&#1)%#&'K)+'*7&'1,+2,3'*+,5&' 5)33&5*&/'#)'K,+' G  >,+2,3'*+,5&'{'"%$)%')K',33'@"%57&#')K'&;&%*#'
  37. 37. 01&+,2)%#'_k_' G  z1/,*&'+&#"3*' z#&/'*)'.&*',%'"1/,*&/'+&#"3*'K+)F'*7&'1+);$/&+#B'&;&%'$K'%)' K"+*7&+'&;&%*#'7,;&')55"++&/'#$%5&'*7&'3,#*'+&l"&#*' H  [V.V9'/&,/3$%&'&;,3",2)%' H  (,%'@&'+&/"5&/'*)','+&l"&#*'N$*7'&F1*D'&;&%*#'#&*'$K'+&l"&#*#' ,+&'X$%5+&F&%*,3Y' G  (,#&'R%$#7&/' z#&/'*)'$%K)+F'*7&'1+);$/&+#'*7,*'q>$/B($/s'$#'5)F13&*&/' H  >+);$/&+#'#&%/','R%,3'+&#1)%#&'"%/&+'*7&',##"F12)%'*7,*' *7&'*+,5&'$#'%)N'5)F13&*&' G  [V.V9'&;,3",2)%')K'1&%/$%.'+&#1)%#&'5)%#*+,$%*#'!'*7&D'@&5)F&';$)3,*&/' H  67&'#&##$)%'K)+'q>$/B($/s'$#'/&3&*&/' '
  38. 38. 04'_V^eVn' G  i,*&'@$%/$%.' H  67&'53$&%*'Uq>$/B($/sW'5)FF"%$5,*&#','5&+*,$%' X%&&/Y'U,@#*+,5*'+&l"&#*W' H  67&'04'4&+;$5&'' G  ?$%/#','5)%5+&*&'1+);$/&+',@3&'*)'5);&+'*7&'53$&%*I#'%&&/#' G  5)%%&5*#'*7&'5)%5+&*&'1+);$/&+'N$*7'*7&'53$&%*'5+&,2%.','X#&##$)%Y' @&*N&&%'*7&F'UF&/$,*&/'@$%/$%.W' G  4&##$)%' H  m,%/3&#'*7&'#*,*&')K'&,57'1+);$/&+I#'$%#*,%5&' H  |&&1#'*7&'$%1"*'F)/&3#',%/'5)%R."+,2)%'1,+,F&*&+#'
  39. 39. 0%.)$%.':)+8' G  :7)3&',Z$)F,2A,2)%'u'&Z1&+$F&%*,3'&;,3",2)%' G  JF13&F&%*,2)%'' H  ?$+#*'#*,*&3&##'1+)*)*D1&'+&,/D' H  0%.)$%.'N)+89'+&,3$A,2)%')K','#*,*&K"3'1+);$/&+',@3&'*)'+&,33D'&Z13)$*' *7&'+&,52;&'+&,#)%$%.'5,1,@$3$2&#')K'O[(' H  ()"3/'@&'"#&K"3'*)'*&#*'*7&',+57$*&5*"+&')K'04'_V^' G  Q$#",3$A,2)%')K'*7&'5)F1"*&/'+&#"3*#' H  z#,@$3$*D';#'%"F@&+')K'$%K)#' H  p$S&+&%*'+&#"3*#'K)+'/$S&+&%*'+)3&#'UN)+8&+B'F,%,.&+B'eW' H  ?$%/','#"$*,@3&'*+,/&P)S'@&*N&&%'X3).$5,3Y';$)3,2)%#',%/'"#&+I#'K&&3$%.' G  <##&##F&%*')K'04'_V^' G  O&3,2)%#7$1#'N$*7'5)F13$,%5&B',"/$2%.',%/'.);&+%,%5&' U#)5$,3'5)FF$*F&%*#W'
  40. 40. say goodbye answer questions 1..*

×