Seminar@TU/e 2010 - Montali - Business Constraint Monitoring and Operational Support
-
Upload
marco-montali -
Category
Presentations & Public Speaking
-
view
91 -
download
0
Transcript of Seminar@TU/e 2010 - Montali - Business Constraint Monitoring and Operational Support
!"#$%&##'()%#*+,$%*'-)%$*)+$%.'
,%/'01&+,2)%,3'4"11)+*'
-,+5)'-)%*,3$'
'
'67,%8#'*)9'
:$3';,%'/&+'<,3#*',%/'-,=,'>&#$5''
?,@+$A$)'-,..$B'<+=,%'-))$=B'C)D5&'E,8,*"F@,',%/'-$57,&3':&#*&+.,,+/'
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'
'
O"%P2F&'Q&+$R5,2)%'
model
yes
no
partialtrace
Run-time Verification
Q&+$KD'N7&*7&+','1,+2,3B'
+"%%$%.'*+,5&'5)F13$&#'N$*7'
,'#&*')K'@"#$%&##'5)%#*+,$%*#'
,%/'1+);$/&'+&3,*&/'$%K)#'
-)%$*)+$%.'
model
partialtrace
refuse order
confirm order
state of affairs
alarmswarnings
Monitoring
commit order
0..1
6+,58','1,+2,3B'+"%%$%.'
*+,5&',%/'+&1)+*'7)N'$*'
,S&5*#'*7&'@"#$%&##'
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,#&'
O)%#&'()%#*+,$%*'
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"*&/'
<"*)F,*,P@,#&/'Q&+$R5,2)%'
a b s0 s1
a
b
¬ a ¬ b
' U,'\'◇@W' '
<"*)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*,*&'
@,#&/'
E&.'O)%#&'()%#*+,$%*'
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
<"*)F,*,P@,#&/'Q&+$R5,2)%'
' U,\ d@W' ' a b s0 s1a
¬ a ¬ b
<"*)F,*,P@,#&/'Q&+$R5,2)%'
]'
,'
^' _' a'
#*,+*' @','
#!$%
6+,%#$2)%'
@,#&/'
' U,\ d@W' ' a b s0 s1a
¬ a ¬ b
s0 s1a
¬ a ¬ b
s0 s1a
¬ a ¬ b
#!$%"%.,/"+))'(%
s0 s1a
¬ a ¬ b
#!$%"%.,/"+))'(% *+,-%
s0 s1a
¬ a ¬ b
`'
,'
b'
&%/'
()%#*+,$%*#'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)%&%*'
[Z,F13&#'
G [Z$#*&%5&'5)%#*+,$%*9'1)#$2;&'G O)%#&'5)%#*+,$%*9'1)#$2;&'G E&.,2)%'+)%#&'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*&+%,*&'+)%#&9'1)#$2;&h%&.,2;&'H O)%#&'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'
[;&%*'(,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"&%*#'
'
[;&%*'(,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'
E&.'O)%#&'()%#*+,$%*'
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
m)N'F,%D';$)3,2)%#nnn'
]]'
,'
^' ]b' ]o'
#*,+*' ,'@'
_`'
,'
a^'
@'
@' @'
a b ' U,\ d@W \
d@
\d@
\d@
d@'
d@'
,' ,' ,'
d@'
m)N'F,%D';$)3,2)%#nnn'
]]'
,'
^' ]b' ]o'
#*,+*' ,'@'
_`'
,'
a^'
@'
@' @'
a b ' U,\ d@W \
d@
\d@
\d@
d@'
d@'
,' ,' ,'
d@'
()%#*+,$%*'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'
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
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 <'*+$..&+&/'+)%#&'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'
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%
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
-)%$*)+$%.'O&#"3*'
a b(0..10sec]
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'
J%*&.+,2)%'$%#$/&'01&+,2)%,3'
4"11)+*'
O&,52;&'[('>+);$/&+'
REC Provider
CLIMB model(extended Declare)
CLIMB Importer
extended Declare XML file model
REC Core Provider
CLIMB2EC Translator
EC-based constraintsaxiomatization
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''
O&,52;&'[('>+);$/&+'
REC Provider
EC-based constraintsaxiomatization
REC Engine
SWI Prolog
SCIFF
socket
Operational Support
Trace Translator
(3$&%*'
O[?[O[E(['
-0p[i'<'
O[?[O[E(['
-0p[i'!'
O[?[O[E(['
-0p[i'('
>+);$/&+'J%#*,%5&#'
>J'
>J%
>J%
>J%
>J%
>J%
>J%
()%#*+,$%*#'F)/&3'_ ()%#*+,$%*#'F)/&3'] ()%#*+,$%*#'F)/&3'a ()%#*+,$%*#'F)/&3'`
(,#&']
(,#&'_
(,#&'a
(,#&'`
(,#&'b
(,#&'M
(,#&'w
("++&%*'JF13&F&%*,2)%'
>J' >J% >J% >J%
()%#*+,$%*#'F)/&3'_ ()%#*+,$%*#'F)/&3'] ()%#*+,$%*#'F)/&3'a ()%#*+,$%*#'F)/&3'`
(,#&']
(,#&'_
(,#&'a
(,#&'`
(,#&'b
(,#&'M
(,#&'w
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'
>+);$/&+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'
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
sess
ion
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"*&','+)%#&'K)+'*7&'1,+2,3'*+,5&'
5)33&5*&/'#)'K,+'
G >,+2,3'*+,5&'{'"%$)%')K',33'@"%57&#')K'&;&%*#'
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'+)%#&'"%/&+'*7&',##"F12)%'*7,*'
*7&'*+,5&'$#'%)N'5)F13&*&'
G [V.V9'&;,3",2)%')K'1&%/$%.'+)%#&'5)%#*+,$%*#'!'*7&D'@&5)F&';$)3,*&/'
H 67&'#&##$)%'K)+'q>$/B($/s'$#'/&3&*&/''
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&*&+#'
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'
say goodbye
answer questions
1..*