A Formal Model for Componentware Klaus Bergner, Andreas

"!$#&%(')+*-,/.102*3,-42560(72,/*8#&'9:#&%('/;=<>4@?A#,B;CEDF<(!GDF02.H4
5!F*JIH#&0(72*3,LKMDG!FNHDO.H4H?P#&02QR,/*87P),TSVU
WX0('ZYBDOYB%[Y\QB%2] ,W^02Q_S&,Tà#YBDFbc4EdfeM96C(eMdhgi5kj
gf*-;=<(0(DF'T;<2*ml0(DOn*-,T'/DOYo#] Y:?%(] 0(;<2*80>4@p6*-,Tà#&01U
q r&sutXvxwzy{t
|$}\~Rzc3ZVu^[h/J~R}Jf{}z\uZ_/zua{E~RJh^R^}B~R{1/}zu3~R{[/8/}z^}T~F[ZR{
=uzR}J/}f~RJ2R/E{-{_{B/z}z3Z~R/}z&}~RJ[/}B~=~{-{}X{u {JJu{^{3^}T~1hu~RJ=J/{{{¡
¢E3RX=J£{ {T=~^¤hz^/z_>{X{u^Z¥zu¦3}z~R/}3{J/}zuz~R§{{x{&}z~R{}3{
/hV/}J^}B~uZ}T~uR¨{{{/}z}J^~R/}oxZ{{Ru/Z~R/}T{}zRu¦3}J^h^}B~u¡¢z1=R~R}JZz3R/{_J^&}~Rz
¦z^{z}T~u_{2{}zZ _z~^~RzR[z^R_z~R/}{}J/3Z{^¥ZR2{}3@_^~_~^©~cR~RZ~RZ{~_z~RJ {
zR{VuR~R^2{=~^3~RJzR{V/^J^ª{u_c{h^R^}B~R{oz}z{«_zZ_{~u ~Ruu¡
¬ }\~RJf/}Jhz{}3V~RzcVuR~R{}z@~~RJfzXa{2zZ~R+{}z/}B~R/®Vu~O[u^}~RJh=~^¯°/f±
V/}J^}T~R^¡²2{^³/}mzRû´Ju¦3}z~R/}zh{«~RJµ®-{R/}zu3~RuH[µu{/{\{}3}zJu_~R{}3z}J\{
/z}zuZ~R/}"{h{}"Z®-~_{~uR=+zR{~=/2®Vu~O[u^}¶/hV/}J^}B~}B~uR{^^¡ ¬ }M~RJ+{~RJu
z{}z-=~^¯°cJ=}z{uH{_R^V/}z~+_z{}z{^{1~RJ/}z}J^~R/}L~_3~RJR>®Vu~O[u^}L/hVZ±
}J^}B~}z~R{}3^({}z~~RJ©R^Z~R/}µ{}3J^~_z~R/}{&/8/}z^}T~}z~R{}zû¡
· z[{R§EzRû^z}J©{}J{~Rzu[-J®3uZ~R/}hz =uz^[/}¸{zx{}z^
~{3u[_z_
{[~O8^
{}zJ^__z~R/}3[}+~RJR{V{1/hV/}J^}B~O2ZR{¡
¹
º »\¼(½(¾:¿"À"Á>¼2Âx¾µ»
· J+{}{/{f{/hV/}J^}B~O2ZR{[}z{h^{®-zz}J+E^±O~_z~RJ_^=~^/J~f{}zJuV^}=±
J^}B~RL3}zJu_~R{}3zZ®3f{}zR^3RZ®3f3ZR~R^¥ZR}J{~©}JuÃ}/h-J~uRu^}3{¡ÄÅxZ_u~OL{2Zz±
zR/{ J^fz^{+~_^~\{_zu{+~RJ^R¸{/{^1zRX=z}Jµ/z}z3Z~R/}:{H§=}Jª^J{+Z®V/J~©{}B
{V^~R>{2=~^Z_ z~^~RJ_{¥z_{{_{ÆJu{^{-h^}T~u&{}z:{~O2ZR¸R^z{¡Ç@X[u{u^~R\~Rz
_{}JuÈ/8/}z^}T~@~^_z}J/{/^«§{©Äc~R{uÉËÊÍÌ´^Î{ÏxÐÑÒ/Xx
²[^{}zhÊÍÒ/X=Î{Îx®3ÐÑ8{}z´Ó£}B~uRz_
Ò/Xxf²[^{}zÊÍÒ/X=Î{ÎZ/ÐV{[[^-{[~RJc{Rª}Jf}B~uR^~2}R^3c{}3Ru^}z/}Juu_}z>{u/{
/hVZ±
}J^}B~Ru-~@(u=J^}B~H~RzZ~@¸/ozz}z¦z^3}zJu_~R{}3z}Jf{1/hV/}J^}B~O2ZRH~RRR}JJ¡£Ó{^}
^}T~ {/}zuz~R(§{
Ô/hV/}J^}B~RÕf{fÔ}T~uR¨{^ÕhZRJu¦3}z^¸{}z
z^+}¸{uR3×Ö8u_^}T~[[X2®
z×ÖVuR^}B~H{J~RJ{_u¡
¢f®Vû{~R3Z~c
u^Z_zu¦3}J^L/}zuz~Rz{h=Jô{/hV/}J^}B~$±Ñ{_^}B~^LR{~F[ZRhJu{^±
{3h^}B~c^R^}B~R{Ø^Vû{{>
/z}3zZ~R/}L{{}\ª{u_{/hV/}J^}B~O2ZRhu~RzJ/{{{¡|$}
Ê ²2ÙcÚÛÎ{Ïx®zÐÑz[>h{~RZZ~~Rz>}Ju^{Rz hu~RJ=J/{{{}z+/z~R}J~R(®-{R/}z~R~RJ^}T~R^Ü
ÝÞ vxßw3àHá8âosutªãßåä Þæ ã=àOç · z@=~^Åhz^-/h3_^£~RJ@®-{R/}3uz~R2{~^_z}3u{V/hVZ±
}J^}B~O2ZRZzz_/{_Jû&§{h}B~uR¨{û¥/hV/}J^}B~Ru&{}z/z}zuZ~R/}o¡ · Ju´ZR¸u^Z_
{}zz}z{©®3/z/zRzu¦3}J^}Z~Rz^Z~Ru{o~u u¡
è ãBsXy/vxéê¥tªé Þ-ëì ãByZí ë éîoï¥ãBs{ç Äc(~RJ3}zJu_~R{}3z}J{1h{ {o=~Âh=J^_^ðBzR^2VuR~R
}Z~RJ^Z~Ru{«~^_z}zðBJ^^c}B~Rz~R{´{_Z-zu{«{}z³~~R3{>J^R_z~R/}~^_z}zðBJ^Z_
R^ðzR^{h3_{~Ru{(=~^Ju{^{3h^}B~u¡ · z+/h/}"{_{2=~^h=J^2^6®V
z^+~zu¦3}J~RJR^{}T~Ru({~RJ^h3ª{^µJ^__z~R/}
~^ z}zðJ^Ê ²2ÇcÇcñ1Î/òªÐÑ¡
ó v Þ y/ãBsXs¸ä Þæ ã=àFç ÚR~^ôzu{^{3h^}B~RJ/zµ®V©{R/{}3õu^\{u{_z}J+~
zR=^R«h=J^~R{±
{R^m~6/hV/}J^}B~O2ZR{¡ÈÄözR{V/R{({+}Jª{^ØHzJ®3ZzzR/{ m®3{R^m/}³Z±Ou{^
zR=^R(3Z~~u }zÊ ²2ÙcÚÛÎ{ÏZ{Ð{3JR^R^H~RJ^{V^~Ru¡
ì[ÞÞ àáï¥ê&ê Þ vªt/ç |F~}J^^_RZR~>RJzV{R~&ZR{±ORu{HR~^ÃJu{^{3h^}B~~RfJ^zuZ~^f~B/^¡
· JuRJ/3>®V£Z®3£~c{^}Ju_Z~[3ZR~R¥{z~RJEh3^h^}B~RZ~R/}©{}zJ=uzh^}B~RZ~R/}{J~RJ[±
~^z_z^R§+~RJ/}zRR~^}z¸{&=~ÂJ^R z~R/}z^B{}z+~h{u_
_~Ru{V=~^Pz_{8u_~R^
®3{^/}~RJ{ {o=~^÷J^ø¨G¡¥Ê · ^^Î{ùZÐú ¡
|$}~RzH3ZVuHE©/}z^}T~ Z~©/}µ~RJJu{^{-h^}T~@{1{_{o=~^Ëhz^{c/hV/}J^}B~$±
[Z_{¡ · Jh=~R}J+ZzzR/{ J^}´~Rzh¦z^L{[}T~uR¨{{}zZ _z~^~RzRJ^R_z~R/}\{}J/zZ{^
ZR}J{~fRJûu^}B~f{f~RJuZR+h/~R:R^~_~^~~Rz
J^__z~R/}{=}B~R{~R{}z6~_z~RJ {
zR{VuR~R^{V/8/}z^}T~£R~û¡ · JHªü{_~Ff{o}T~u_{z^R_z~R/}h{}J/zZ{û=§{@ý ¬ Ù²2Ä
|Gþ«ÿPÊ°ý ¬ Ù> ¬ Ç«Î{ÏxÐ@{Ò/Xx}B~uR{^Ê /Î{ùxÐÑ(/}3"{XË~6R8û6~RJ´_/}zZ~RJRµ{>/hVZ±
}J^}B~[}B~uR¨{û=~RB3[}zu/^~R}Jf{zz~R/}z{z}J{_Z~R/}¸Z®V/J~E~RJcR^{}T~Ru({}z~Rz@®V^zX{[{
}B~uR{^@{([ô{H/hV/}J^}B~Ru¡
Ä@__z~^~RJ_{&J^R_3~R/}µ{}z/zZ{ûV§{©Ìµ|Gÿ¥uVÙZ3z{-Ä@^{o @}zý[/}3{c¢_/B~@{«R3f±
Z_õu^}:Ê ²[þ«Ù«ÚJÎ/òªÐ}B~R=zz«~RJ>/}zuz~RH{&/hV/}J^}B~RH{}zµ/©3}zuZ~R/}+®Vu~O[u^}~RJ^
/}z}J^~{_^1®3J~JL}J{~©/}3RJu{®V^z^={±Ñ_^Z~^{V^~R©{Hµ/hV/}J^}B~©R~^¡²E±
z^={+}z{~¸~^M~~Rz´/z}zuZ~R/}¶®Vu~O[u^}³3{_h{>/8/}z^}T~Ru®3J~{R}zuzJ^
_z{}z{^2~~Rz@ª{u_{V/}z}J^~R/}+~ z~RJR{=~RJ«R^Z~R/}+{}z+J^~ z~R/}¸{}z~R{}3û{}3u{^}
~RJ©}T~R=zz~R/}{}JuÈ~OV^@Z~c_z}B~Rh{¡2|$}µ~RJ/}T~=~«{£/hV/}J^}B~O2ZR{V~RJ^{V^~RcZ_
^R^}B~R{(®Vû{z´J}3{+_z{}z{^{:=~^ ^"zZzV^}M®V{~R¶zz_}J\~R/}zR~_z~R/}¶Z~
J^R/}J±Ñ~Rh{H[^{3J_}Jf~R(=ûJ~R/}µZ~H_z}B~Rh{J^~RzuHz}zJuH/}B~R/o{&~RJR~^÷~R^
{}z~RZ~^+®B+z{}/hV/}J^}B~HJu{^{Vu_{}z/hV/}J^}B~{R^©®3u u¡
f½ Â
· J¸zR{V/^:{_{E=~^ hz^®3zz«/}R^Z~Ê{R§/}6J^R z~R/}~^_z}zðBJ^
ÊcRTÎ{Îz
· 3Î{Ï&²2ÇcÇcñ1Î/òXÐ({}z=~R}JµJ^{Hz~_®3z~^:=~^+Ê ²E_TÎJÙ²(Î{ù=>Ù@Î{ùZÐ[®3{R^
/}¶~RJhu~RzJ/{{ Ê ²[þ«þñ1Î=[²E_TÎ{ÏxÐÑ¡ · Jµh=J^@/}zRJu h®V{~R¶~RZ~RL=}T~R{~Ru{
{}zR~_z~RJ_{£zR{VuR~R^^{[Ê{©J=}z{h{}z:®V^zX{ {£{V^~Ru¡ · J
Z~~uf}zuzz~Rz
zX{zZ~R"{}3k/}T~R/>®8u~FEu^} /hV/}J^}T~R{"=~^^{3}J6~¶{} z}zJu ~R{}zz}z{
/z}zuZ~R/}m{{}mZ®-~_{~¸RuRzR{~=/H®Vu~O[u^}}T~uR¨{û¡³Ä@z3~R/}z{{£/hV/}J^}B~
®V^z^={f{\/hz_R^~RJ z{}J{^h}R~^~_z~RJ_{Ñ¡Í{¡&~Rz
R^Z~R/}6{}36z^~_z~R/}{
/hV/}J^}B~Ru3}B~uR¨{û3{}z~Rz>/}z}J^~R/}z®Vu~O[u^}~RJ^¡
· J>{}/}zuz~R{¥~Rz>zR^^}B~^=~^Ëhz^ZR}zR~R{}zûJ~OVûz{}zz^R_z~R/}zuÜ
"!$#&%('*)#,+$-.% _uzR^^}B~©~Rz+}zz=zz{{Vu_Z~R/}z{E3}z~R©{@L/hV/}J^}T~h=~^ ~RzZ~hJu~uR±
}Jf~R«ª{u_{®V^z^={^¡©¢zR~R}J/z_®Vu~O[u^}:/hV/}J^}B~u}B~uR{{¥{}z/}z}J^~R/}
}z~R{}3ûx{}3©Ju¦-}JEc}B3®Vu{3R^Z~R/}z¥{}z/}zz~R/}3o~RzZ~h=J^T3R{VuR~Rô{JJ~R}J
~^_z}3u{o/hV/}J^}B~O2ZR©Z3zR/{_zû¡
0/&1$2&-.% {zJR^_h:RJ®3Ru~{}B~uR¨{Rô¡"/hV/}J^}B~}3~R{}z^f~R"_Zfz_{8u_~Rû¡
Ó£{ µ}zR~R{}z>({R=uZ~^µ~={~R
/}z>~OV{¡
"34-(%.+65$782'97;:<#&% zZ_{~u_õuE^{_©~OV£{}z«~Rzo{/}z~R{}zô{_uZ~^~R~u¡ · Ju«/}zRzu
=}T~R{~Ru{{(E^8{H®8^3^={±ÑR^Z~^+3R{VuR~RûJ§{}B~uR¨{>{}z/hV/}J^}B~HR/}zZ~RzR{
V^~^}z3J$~ =ª/J~3z~@/z}zuZ~R/}o{}z\/Z®V{_Z~R/}L®Vu~O[u^}z×ÖVuR^}B~/hV/}J^}T~R^
{={h-{¡
|$}´~Rz©/ª}JJ8Eh~ ~RzR~R}J/z_+®8u~FEu^}\~Rz^hz×ÖVuR^}T~«/}zuz~RôV^Z§}z{£/f±
V/}J^}T~}3~R{}zû/8/}z^}T~«~OVû{}z/8/}z^}T~>J^__z~R/}3uVR^V^~R{^{¡ · Jh~u_ > }=±
~uR¨{{¯1Rô¡> /hV/}J^}T~u¯1ZRzR^{fZ®z®z_uZ~R/}z{?> }B~uR{}3~R{}z{¯&Rô¡@> /hV/}J^}B~
}z~R{}3{¯J~RJR/J/J/z~(~Rz(3ZVu^¡
Äc{~RJ^\/}zuz~R+ZRLzR^^}B~
}muJR_^}T~
~^_z}3u{@Z3zR/{_z^+~6/hV/}J^}B~O2ZR{¡aÄ
~O3u{1Ò/Xx+²[^{}z/hV/}J^}B~c3{R§ZZ{µÊÍÒ/X=Î{Îx®3ÐÑ{c={3{^L/}T~R{}LRu{u_{1/hV/}J^}B~
}z~R{}3^¥{-z×ÖVuR^}T~&~OV^(ø¨Ø¡Í{¡/Ò/^Z«u{R^ úo@~R~Rz(ÒT^Zc®B~(J[~RzZ~1Ju¦3}z^~RJ^&®V^zX{^¡
|F~{R
}3uzJ^@{_z}J±ÑR^{zZ®3R/}zZ~RJRfJ^R_z~R/}z@{~RJh/}B~R{}J^/hV/}J^}B~@~FBVûo{
E^{ZR®3~_ZR¸{3z~R/}z{8¦3^(~R+¨JR~RJuH}J{ Z~R/}¡
· JczR^R^}T~RZ~R/}+{~RJ«zR{V/^
R~^Phz^-[~_3~RJR^+{[/XuÜ£Ú~RZ_~R}J/J~(Z~[~Rz
}z~R{}3fu{^R/ô~RJf®3{_fJ^{«}:Ú^~R/B} AD¡ CZ¥Eh}B~R=zz~RJh/}zuz~{[~Rhh{«E^&{
=~^Æ/}J¦z/z_Z~R/}z}:Ú^~R/E} A8¡ {}z\®z uz~R{§LZ®V/J~>}B~uR{{}3/hV/}J^}T~®V^zX{
}:Ú^~R/B} A8¡ A¡hÄÅ^~R/}~RL+/}zuzR/}\{}z{}/z~RB{§LZ®V/J~}J^^RRZRL¨J~RJRE{_§´^}z3
~RJc3ZVu^¡1Ä zRu3RR/}¸Z®8/z~[/hV/}J^}B~[~O8^2{}z+J^__z~R/}3[/z¸®8@®Vu{/}z
~RJc_{8c{
~Rz23ZVu{}3(~Rz(V/~V/}J^+~{}Z38^Z }Jf3J®3uZ~R/}ø¨F¡cÊ ²[Ù«ÚJñ&ZÐú ¡
º »HGE¼JI
»"ÁK4G
|G}~RzR^~R/}E}T~R=zz~RJ}zR~R{}zH=um{~RJ{_{3=~^ÃJ^Ñ¡Äc}}z~R{}z^h®V
Ju¦3}J^{{}}zz=zz{X{Vu_Z~R/}z{/3}z~V~RzZ~J~R¥}(_3}z}z}J(=~^¡¥¢Ez~R}J/zRc®8u~FEu^}
~RJRu2z×ÖVuR^}B~§=}zz{3}z~R{}3û{}z{h^>/hV/}J^}B~u{}B~uR{{/{}3©/}z}z^~R/}f}z~R{}z^^¡¥|$}~Rz
/X}J>RJ®3R^~R/}zu/[Ju¦-}J{}z zZ_{~u_õu@~RJ^RH®3{R/}zuz~R[{}zh~RJH_^Z~R/}z£®8u~FEu^}
~RJ^¡
F
LNM$O
PRQSTVUXWZY\[4U^]_a`S
[ý /hV/}J^}B~RZR
~RJ¸®3{R®3z3}J
®3=R§=>{H´_z}z}z}J/hV/}J^}T~=~^¡µÓE{_M/hV/}J^}B~
V/R^R^«u~{3}B~uR¨{^z ©^®V2/}z}J^~^f~«{~RJu}B~uR¨{(}z~R{}z^&=c/}z}J^~R/}z^¡
Ä@+J^__®V^}Ú^~R/}ZA¡8A«h^R_Z{^^}T~+®6/hV/}J^}B~
3Xö=~R¸}B~uR¨{^+X{u~Rz
{RR^V/}z3}Jf/}z}J^~R/}z~{~RJuc}T~u_{û¡
/JRb Cz~ Z~^(f8/_R®3«R}zZ-RJ{~2{1h/hV/}J^}T~@R~^P~R+¦z{>/8/}z^}T~R9ø c<C~
cd/ú1RJª}h{_^~R{}J/ûB~RJ^£}B~uR¨{^fø egC~h
eFÎ/ú1_JX}h{Eu_u^^T{}zh~RJH/}3}J^~R/}z£®8u~FEu^}
~RJ+}T~u_{^hRzX}6{f}J^®8u~FEu^}M~Rz^¡ · z>§=}z{zZ{ { _^^®-^~Rz¸[^×±Ñ§=}JX@}
{®=ü^~}z~R{}3>zZ{_{i} cÌ´ÿÊ cRTÎ{ÎxÐÑ¡
c1
c1
i1
i2
c2
c4
c3
i3
i4
i5
i6
i8
i7
i9
c5
jlkfmonp(qirosutwvoxzyvo{q|{&}K~{g}d{
q?4kfmop(x
|$}{_zuE~fz}zðJ^f{zJ_^R£~Rz^^h^}B~R[{/8/}z^}T~2=~^=E«}B~R=zzH~RJ«z¨ü$/}B~u
}J¦3}3~u~R4dc./N|4,|d ¥{}zHN|c$e|1¡|$}T~u_{^fZR+{R=uZ~^6~R/hVZ±
}J^}B~R(f~RJ>~{~R{o®-J~H}J{~H}J^^R_Z_+}xü^~R{¨z}z~R/}io
e;zÜ
o
e;
Ü 6cd\N|4,|d
²[û{z©~Rz(¨z}z~R/}µ2~{~R{Ø-{}´}B~uR{©^}J{~=R~(®B~R^FJ®3z~Hz{(~®V>{RRuZ~^
~R={~R/}J/hV/}J^}B~uE¡ @{~~RzZ~ |e;6{^}Ju_{}J{~h}xü^~R{{£{h\/hV/}J^}B~
^:3^{¸z~R3h}B~uR{^^¡
ÄP/}z}z^~R/}:R^Z~^>J{~R~O[L3~R}z~}B~uR¨{û¡ · Jh~{~R{
3}z~R/i} c.| >zu~u_}J^2@z_}T~uR¨{^Z_>R^Z~^®h/}z}J^~R/}oÜ
c(| 0
Ü h
c(¡e|z£¢¢6eV¤¥&¦b§<eV¤¥©¨zdcdlª?eu¬ « ¥&¦
J{>¸/{^}\}T~u_{{ou{u {&3×Ö8u_^}T~«/}z}J^~R/}3c^µJ~u¡ · zu8~RJzR^^}B~^\hz^¥RzJ±
V{R~R/}J±Ñ~Z±O{}Bh/}z}J^~R/}z®Vu~FEu^}}T~uR¨{ûT{£RJX@}} /zRN CZ¡ @{~H~RzZ~~RJ(^^h^}T~R
{@ N|6c(e|:Ruz_^^}T~c=hu~_/}z}J^~R/}z@®Vu~O[u^}´}T~uR¨{ûV{~Rz©uK~ ¢6eV¤¥o¦u{}z}J{~c®V
z~R}J/zRz^R/ ~RJRuN~ ¢$¥¤e¦/¡
· JH{~1®3{R2/}zu3~£1/hV/}J^}B~£/}B~R{}zh^}B~£{z~_Z~^® /zRN CZÜ&~RzH/hV/}J^}T~R
cdh{}z®
cdAhZR©/}T~R{}z^}/hV/}J^}Bu~ c<CZ¡ · 32/}zuz~hz^^+®B
~RJ>-ZR~R{V¨z}z~R/}
d ¯
Ü N|4,|6°h
4
6
z fRu~RJ_}3{^{ /hV/}J^}B~1~RJ(3Z_^}T~£/8/}z^}T~~1/}T~R{}z^}¡ · J2¨z}z~R/w} ,d
«3ZR~R{R}zf~RJ~{J±Ou{^/hV/}J^}B~R>{[~RJR~^Jµ}J{~>zX{¸-ZR^}T~>/8/}z^}T~u¡¢
{RRz ,6~>®V({}{=u2¨z}z~R/}/{£~1}J{~1V/RR®3[{£/8/}z^}T~1~/}B~R{}~R^3{
~>®VH/}T~R{}J^}f/}zH{~RRJ®/hV/}J^}B~Ru¡&¢{©{RRzh(~R3Z~£~RJuRHZ_}J}z¦3}z~2_z{}z1{
RJ®/hV/}J^}B~R}h{ JuE~©^}zRJ_H~RzZ~£u{u_RJ®/hV/}J^}B~£z{£E^×±OJu¦3}J^RB{~[/hV/}J^}B~u¡
¢~R6Ru/Z_~L3R{Vu^}zuZ3_zZ~R/}{/hV/}J^}B~Ru1[¸JuzJ+/}z}J^~R/}z~R3Z~f_/Rf
/hV/}J^}B~1®8/3}zzZR{¡1ý[/hV/}J^}B~R^/}z©®V2/}3}J^~^=c~RJ^}B~uR¨{^-/}JH/hV/}J^}B~
c~RJh3ZR^}B~{£~Rzh{~RJu>/hV/}J^}B~{>~RJuL®V{~Rz^{h~RJ_{hf3ZR^}B~>/hV/}J^}T~ø{>}z
3ZR^}B~/hV/}J^}T~Z~{ú ±
¡ zzR~RJu_h{_{@/}z}J^~R/}z+_/ /}z\}T~uR¨{\{©M/hV/}J^}B~¸~
{}J{~RJu«}B~uR{{1~RJfR{h/hV/}J^}T~«ZR{Z{o¡ · zH^{zH~
~RJ/X}zhR^~_~R/}
/}~RJRuw~ N|6c(e|1Ü
² c(B¨zN|c$e|^¤Vc|¤V³¨Ń|4,|d(¤eV¤¥³ïdcd>Ü
c.| 9ø c(¥ú ¬ ¢6eV¤¥o¦uªµo
e;-fø eGú ¬ cªµ|e;68¶ø ¥Bú ¬ ·
,du9ø c^ú ¬ ¸,69ø =ú ¬ ça,69ø c^ú ¬ ,69ø =ú
{~~RzZ~2~{J±Ou{ô/hV/}J^}B~R2~Rz/J~[f-ZR^}T~(/hV/}J^}B~HZR{hª{uR^®~RzE^ðzZ~R/}o
{[\zµ~_/}J^ðz{~F"/}/8/}z^}T~Ru¡k|$}~RJµJ{h3µ{h &/JR¹ CZH6z_^~/}z}J^~R/}
®Vu~O[u^}µ~RJ©}T~u_{û e¡A{}z® eFÏh[/z®V>}BZ{J{c~(/Z~^H~RJ^}zuZ3RzZ~R/}®V/z}zzZ_{
/hV/}J^}Bu~ c<CZ¡
LNMº
»ZTg¼½]¾Q¿[4ÀÂÁhÃKSÄ`]¼
WÅYw[ÆbÇ\È4ÉQl`TgY\[ËÊ¯TgSÌ`YuÉ TV]S
Ú=Z@~_^Z~^:Zzz_/{_J^
Ê ²E_TÎ{ÏxÐÑo[Ru/Z_~Rhh{>{}:}J¦-}z~© z{}{[~Rhh}B~uRZ{«{
^ðB3{¥^}z{~R¡(¢3KÍ {@{}LZ®3~ {~@~R©xJu-{}3´J^}z{~~®BµÎ {«uZ_~O{¡uzzR~RJu_h{_{
E{_Rzhh+~Rhh=}z JR/}J/z«h=J^&®Vû{zh{E~RJhR^Rz~R}J¸_h3u~O{}z\{^}zu_{~F{¡ · 3
h^{}z(~R3Z~H~RJuR(h/{®3{~Rh>Ru{~RzZ~@(Z{+{{V3ZR~RH{&~Rz>hz^^=~^¡
¢¸3 '97ÐÏ©-VÑz%.'95-g)<Ï% Ø¡Í{¡¦3}z~f{}J¦3}z~f^ðJ^}z^{[^^h^}B~R>R/ö+/{^}J/{}~
RuzR^R^}T~z~{_^{/}zuz~R3{J^}T~R~R^1~RzZ~£ z{}J{Hª{uE~Rh{¡1Ä '97fÏ©-VÑa%('95V-V)Ï ø¨h{_HzRûR^{
~R^{÷~RzRRu~~RhªúE{^^^}T~R(R/P~Rzu¿~ Ò ({}^^^}T~H{~RJ~FBV
Ò®Ó ¬ÔVÕÖ Í ñ ×Ò
~RØÍñ ¬ ÍÚÙh¢Û¦/¡ · zuo+~Rh^:~R^{Z3«^{_~Rhh}B~uRZ{~µ{}^^^}T~>{lÒ¡ · J
}J{~RZ~R/}¹ÜÄÝczR^~LJ^}J{~
~RJ^^^}T~{(~RJ
x{3Z~R/}BÜZ¨ÞÒ Ó Z~~Rh³4¨ÞÎ¡µ²[Ü¹ß
Ez^}J{~h~RJ~R^{/}T~R{}3}J+/}z´~RJf^^h^}B~R{E~Rzh¦z_~w@~Rhh}T~u_x{^¡ ¬ Vu_Z~{_«/}
~R^{@}zz3c{Vu_Z~{ (/}u~R{R~R^{(®¸^^h^}T~$±Ñ@Zz-uZ~R/}¡
Ú~R^{^´®8z^L~h=J^~Rzf_^Z~R/}{}zLJû~R/}L{£}3~R{}z^«}L
R~^¡¢³~R3}
/{^}´~Rh©}B~uRZ{ V/}z¦3}3~RJ®-u~Rc{~RJ©Ru~R«{£{oV/R_®3/8/}z^}T~u}B~uR¨{{V{}3
/}z}J^~R/}}z~R{}3^^MJ~}M~RJµ=~^Ú
¡ z/X@}J~RJµ J/^}}J{~RZ~R/}z{@/}T{^}B~R/}zu
e*dcdi¨H6cd Ó
c.
4
6K¨ÚN|4,|6 Ó ¥{}3B c.
c(¡e|R¨Úh
c(¡e| Ó J^}z{~
~RJ z{}J/}J_J®3u~R({}zR~R{}z^(~RzZ~HJ~(ª{u@~Rh{¡
Äc({R^{J^}T~R/}z^
}¸~Rz@z_u/3E^~R/}JE«JuzJ«z~R3/}z}J^~R/}32®8u~FEu^}+~FE
}B~uR{^}\{_Ju~§{uu~RJhR^R3~R}J+/}z}J^~R/}~_z~RJ_f{Rh3{V/R_®3{¡ J{_{{
~Rz@R^ðzR^w c.
§ àá¡â|â Õ à Ý¶ã áâ<ä£~+®V}xü$^~R{©{«u{uR´Rz®3u~ c(|c$e| Ý h¡ zJR~Rzu_h{R{V[
Ju¦3}J~RzZ~ç/}z}J^~R/}LX/}z+J~®V{~Rµ/}3}J^~^\}T~u_{^@=~u8{@=zR^R^µ®B~Rz
/X}Jh/}zz~R/}oÜ
² l¨µÎ Ü ² c(¨®c.|6c(e| Ý Ü c.
B9ø c(¥ú ¬ ¢6eV¤¥&¦h·åeV¤¥©¨®e*6cd Ý
¬ }z/hV/}J^}B~u-}B~uR¨{{-{«/}z}J^~R/}µ}zR~R{}z©HR^hX{^LR/A~Rz©=~^8~@u{}z}z{~®V
R^{~RZZ~^µZ~uX¡ J{@}T~uR¨{ûz~R3H(~RZ~^µ®B+~RJ/ª}Jh/}z3~R/}Ü
² e¨®6cd¤J¨µÎ Ü
e@ïe6cd Ý ª?eN¨µ
æ e*6cd Ý ñ ç · ø ² BïÍ ñ Ü e¨®æ e*6cd Ý ñ âJú
Ä@}3{{{/z«/}zz~R/}z@z/µ{/hV/}J^}B~Rc{}3L/}3}J^~R/}zu¡ ¬ E/J_{V~RJfR^hªx{&{[¸/f±
V/}J^}T~u}B~uR¨{{{>/}z}J^~R/}\J^«}J{~«zR/z®3~H~RJhR^Z~R/}´{[}Jua/hV/}J^}B~Ruo}B~uR{^^
{/}z}J^~R/}zH~R+~RJ>R{h>3R{VuR~R^(Z~Z~uH~Rh{¡
Äc©=V^~^6{~RJ+/}T~R{}3h^}T~R^Z~R/}E
R^ðzR~R3Z~/}3
´3ZR^}B~/8/}z^}T~fJ^
}J{~HJ~H{}B{R{3{~R}T~u_{^@{}zRJ®/hV/}J^}B~R2ZR>R^X{^´R/A~RJ>=~^÷{([^ØÜ
² cw¨Ń|4,|d(¤@¨µÎ¤Ü c©¨®
æ c.
4
6 Ý ·
ø ² Ü¨h|4,|d£.Ü dufø ÜVú ¬ cu·×Üè¨®æ c.|4,|d Ý ú ª
ø ²,é ¨zdcd«Ü |6e*68ø é ú ¬ cu· é ¨®æ e*6cd Ý ú
· JE®3{RE/}zuz~R&}B~R3z^Z®VX{2X}JX6®VEzR^>~«J^R_®V1~RJ2_3{}J/}Jc/}J¦z/J_Z~R/}
3{c{/hV/}J^}T~2=~^ÅX{u2~Rh{¡ÿu~ h| Ó J^}J{~c~RJc~O8c{{-=~^ /}J¦z/J_Z~R/}
z~{ û¡Ä /{^}6=~^ /}z¦z/J_Z~R/}6zR~{R c(|"¨ZN| Ó /}z_~R>{@~Rh^~R^{ {
~RJ3^2@z_uZ3~RJR^H~Rz>_z{}J/}Ju~R({1}3~R{}z^Hzz_}Jf=~^P=ûJ~R/}¡
c(| Ý ¬ÔVÕÖ fø e*dcd Ý ¤Vc.|4,|d Ý ¤Vc.|6c(e| Ý ú
@{~~RzZ~~RJLz}3~R/}zµ
|e;6m{}z¹ ,6J"}J{~JuV^}zm/}³~R\{}3³Z_L~RzuRu{_
}J{~h3ZR~f{@~RJR~^/}J¦z/J Z~R/}"z~{_{¡ · zu~RJh=J^[^R^}B~R{{ª~:/}zRzu
~RJ>{~RZZ~R/}µ{}3J^{~RZZ~R/}{}B~uR{^^3/hV/}J^}B~Ru3{}z/}z}z^~R/}zl ê ~Hu{}z}J{~z{}3z
h{®3/hV/}J^}B~R£3_{_Z~~f{}J{~RJu[3ZR^}B~2/hV/}J^}T~u{£J{h3{¡Äkh{_@Ju~R{^
{ {oh=J^V{h{®3«/8/}z^}T~RH^+®V/z}3}:Ê ¿² «Ù@ñ1Î{ÎxÐÑ¡
LNML
ëÌ[w`]Éì6QU^]XQ¿[4ÀíWZY\¼î_³Yw[4][w`±PR]ï4Q^ðTVYuÉ
ý[/hV/}J^}B~R[8/_^R2huR~R{}+®V^zX{[~R
R^R8^~2~/z}zuZ~R/}+{}z+~_z~RJ {8 z{}J{ûÜ
/hV/}J^}B~^f^}zf{}zR^^{Hh^_RZ{^1=«~R1}B~uR{^^T{}zf~1^_z{}z{H~RJ(/}z}J^~R/}
~_z~RzR«{~RJ=~^ ®¸R^Z~R}zh{HJû~R}Jf}B~uR¨{ûz/hV/}J^}B~Ruz{}z+/}z}J^~R/}3u¡|$}¸~Rz
/}T~=~1{z~RJ[zR^R^}T~^h=J^Ø{}B~uR{^ZR2{~R{2^}B~R~R^&~R©{}{_uZ~^©®V^zX{^Z~BJ¡|$}
/}T~ {~(~/hV/}J^}B~RuJJX[u{u^z~RJu
^
}J{~H_3{}J{«~RJ/}z}J^~R/}~ z~RJR«{~Rz«R~^¡
· zoz~R}z~R/}>u-Z_Z~^®-zR}J^_$±Ñ{_^}B~^¨z}z~R/}z{~O«{¥RuRôzRªJ^®>/hV/}J^}T~R
{}z´~RJ^«}T~u {~R/}zc_/Ë~^ z}zu{/z}zuZ~R/}µ3R{~/@3RX=J^µ®Bµ}T~uR¨{û¡Ú=Z
~:~RJ/}zu3~{«/}z}J^~{_¸}"Z__3~^~RJRµz^R_z~R/}6{}J/zZ{^´Ê ²2þ«ÙcÚzÎ/òªÐÑE[z_{8/R
~
h=J^«h/~+zR{VuR~R^
{©~^_z}zu{}J_{~_z~RzRµ~Rz}~RJ\®8^3^={{©}B~uR¨{^+JuR^{
Z®3~_{~1u_EzR{~=/{}z©~RJE}J^^_RZR/}z}z^~R/}f~_z~RJ_EZR2{R=uZ~^f~R©/hV/}J^}B~
®V^z^={^¡
ñòÐñò¡ó
ô|õö÷Ìøùúûo÷Hüµ÷Äýú&þÿ ø
²2{^+/}+~RJ«uJRR^}B~u,R~^PJ^1Ê ²[RTÎ{ÏxÐÑzR^ðBJ^}3Ê{&h^RRZ{^HRuzR^^}B~[~RJ«z}3zx±
h^}B~R{z}z~R({1/©3}zuZ~R/}¡[¢~Rz}+^{ µ~R}B~uRx{/hV/}J^}T~R@R^¡E}B~uR¨{^HR^^{
h^RRZ{>R^ðBJ^}3^(ZR_=}JZ~[~Rz^(}T~u_{^2R^Ro¡/}z}J^~R/}3[{}3^}z+h^RRZ{^ðJ^}z^2~
~RJ^@R^V^~R{^}B=R/}zh^}B~u¡2|G}µ{_Juc~¸h=J^¥h^RRZ{±Ñ®3{R^L/©z}3uZ~R/}z[fJ^}J{~~Rz
u~«{E{¥V/RR®-©h^_RZ{^«~R o{}3´~RzfRu~c{[ZR®3~ ZR¦3}z~fh^R_Z{fR~R^{«~R x¡
²[ 9 {}z 9Ä¤ HEfJ^}J{~~RJ^hz~O´^ðBz^}z{V~RJ/}J±Ñ^^h^}T~^ðJ^}zf/}B~R{}z}J¸/}z
µ{}zL~RJh~FEZ±Ñ^^h^}T~©^ðBz^}zh/}T~R{}3}Ji
µ{}z ªR^V^~R{^{¡ · Jh}J{~RZ~R/Ø} Ü é «zR^´~
J^}J{~>~Rz/}zuZ~^}zZ~R/}µ{~O[¸^ðJ^}z^ ÜL{}z é ¡
Äc}:}B~uR{¸huR{^>z~R-}z/}Jh^_RZ{^ðJ^}z^R/ö~R>/}z}J^~R/}3~µR}J/
h^RRZ{´^ðBz^}z{~R{R_/}J^"/hV/}J^}B~u¡mÿ§{u{[~hz~_®3J~^~RJ/J~{/}zh^RRZ{
^ðJ^}zR/ô~Rc{RR/}z^´/hV/}J^}B~c~

}B3®Vuc{/J~{/}J+h^R_Z{^ðJ^}z^c{~R@/}J±
}J^~R/}z^¡ÄA~FB3u{2={h-fý ¬ Ù²2ÄËÌµu~RJ=-ÚuR{u}T~uR¨{z_6uR{^\}z®Vuf{
/}z}J^~^ku^}T~Ru@®3=ÖVu_}J~RJ^hu~RJ=u{@_^ðBJ^R~R
R6~R3Z~
~Rz\{_R/}J^³/hV/}J^}B~+u{}
z{}zzc~RzÂ^ðJ^}T~R{{¡
üµ÷ÄýúÌþ^ÿ ø Ø÷ úöÿ õ
c^}Ju_{{~RJh}T~u_{f®V^z^={>zz_}JR~^ z}´^L®8Ruz_±
^}B~^®B\+3{_^Z~R}J~R}z3J~«z~{Rµ~µ~R«/J~3z~«3~{R{¡f¢zR~Rzh~O8^K MR^Ro¡
Ä~J^}z{~«{}+uZ{zZ~R/}+{~RJ}z/}JRô¡/J~{/}Jhh^_RZ{>^ðJ^}zû¡£Äc}}B~uR¨{
R^^{^^RRZ{^R/ ~RJ/8/}z^}T~h~hh{R_/}J^M~:{h[^2{hR/~RhZ~~R{_z^m/}z}J^ ±
~R/}zu{}z\^}3z«h^RRZ{^}L~RJf{zV/R~©z_^~R/}h¡ J{_{{V~RJ^fJ_z{}J{^h^RRZ{^>^
®V>J^R_®V^
®¸~FE¸R^Z~R/}z
¬ÔVÕÖ
*ø h
c(¡e|z
ú
, ¬ÔVÕÖ *ø h|6c(¡e¡

ú
«{^}{}:}J3z~cuZ{zZ~R/}mfø Ü¤ é ú ¨H6{©}T~uR¨{b eR¥{©={3{ ÜRuzR^R^}T~R~RJ~R^{
{£h^R_Z{^«zX}JR/Ë~RJ/8/}z^}T~ |e;68fø eGú@~? eR{}z é RuzR^^}B~Rc~RJf©z~R3>}z3J~
~R^{{h{£~Rz
/}z}z^~R/}zf~´ eRB¡ {~+~RzZ~f~RJ+z^6/}z}J^~R/}Mux{3Z~R/}¨z}z~R/}z©Z_
3ZR~R{Ñ-{c~RJ®8^3^={@{E/{^}\}B~uR¨{3Rz{JuV^}z3(/}z/}\}J-J~RHR^Ro¡/J~-J~R{E
R{_J®3u~(R/P~RJ>Ru~H{1{/}z}J^~R/}3u¡
ý[/h-u~¸}z3J~>R^Ro¡/J~-J~©z~{_^ª{uh~Rh
z^{+~RJ¸~O8µ Ó R^¡ Ä Ó ¡µÄ@ ±
{_z}z/{=~RJ>®V^z^={({@{}T~uR¨{^2zRX=J^+®
~RJ>¨z}z~R/µ} e¡
e¡
Ü dcd\ 9ø Ó Ä Ó ú
z +R^Z~^@}J3J~2zR~{_^2~~RJ©{RR^V/}zz}J©/z~3J~HzR~{_û¡
· Jf®V^zX{c{E{}}T~uR¨{f/}zµzu8^}3z/}}J3J~R~R^{«R/ ~RZ~~R{_J^/}z}J^~R/}z
z zX{©~
=~Z~~Rz©/}zRJuR^~Rh{¡(ÿ§{u{z[©zX{©~¸^}zRJR~RzZ~@{}L}B~uR{©/}z
^}zz1^RRZ{^/}Z~~R{_J^¸{}zhJ~R}J/}z}z^~R/}zu¡ · J2/ª}J«/}zz~R/}h1z^f~>=zR^_
#!
%$
"!
~RJ^>_^~_~R/}32/}}B~uR{®8^3^={^Ü
e¡ fø e$ú Z¢Bfø e¡^¤e¡ ,¿
ú § ² l¨µÎ¤Ü
e¡ Ý ¨ø
¡ø ¢c(E¨®c.|6c(e| Ý §
e@¨®c.| ø9c(¥úg¦w
úúª
e¡ , Ý ¨ø¡ø ¢c( ïc(|c$e| Ý §|e¨zc(| Bø9c(¥úg¦w
ú
úg¦
@{~~RzZ~1~RJ(3Ru/zJu¦3}z~R/}©{V}B~uR¨{(®8^3^={1R^^/}~RJ(ux{zZ~R/}f{V/}z}J^~R/}z
{}zJ^}J{~zR^~RmR^Z~}J3z~¸{}z³/J~3z~
{/}z}J^~^ }T~uR¨{û¡ · z¸E/3hV/
{} z}z}z^^RRZR³R^~_~R/}/}k~RJ=V^~^ ®V^z^={{f/}z}J^~R/}3u¡P¢³~Rz}~RJz_^^}T~^
h=J^Ø(~¸V/RR®-+{+/}z}J^~R/}3~MJR{{¸u{^}}B{^}T~+ZR®3~_ZRMh^RRZ{û¡ ¬ >/J_R{
~RJ:/z}zuZ~R/}®8^3^={z{~"®VVû¦z^}h{RJu~R{«~¶J^«J~R}J~^ z}zu{
}J_{~_3~RJRû¡
ú |ú ÿ*ö
|G}{_Ju(~®VR^{RZ®3{=[R^ðB3R}B~uR{®8^3^={_2~®V +g) %d) ø¨{u{^
ú
£
¡
'97ÐÏ©- &)5Ñ-gÑ |$}T~R3~R{^{=~RzEzR{VuR~Fh^{}z2~R3Z~[~Rzc/z~3J~[{¥{}}B~uR¨{«Z~(/{^}+V/}B~
}~RhzB^c}J{~«JuV^}z/}\}J3z~(~RzZ~ZR_{^cZ~@~RzR{©~R{«Z~u}~RJ¨J~RJR{¡ · z
~RZ~^®+~RJ/X@}Jh/}zz~R/}+{{V~Rh>}B~uRZ{ Ü
#!
'&
(
*
,+.- ,
)
)
0/1
32
54
68792
e¡:JßK ¬ e¡; ßK·
e
Ä=<^6>:Jßa,?ZC ¬ e¡,@<^6>;ßh?ZC
JuRle¡ E{}ze¡ oJ^}J{~2~FE}J-J~¥z~{_^¥}~RzE®V^zX{&{3{}f}B~uR¨{{T{}zae¡
{}zie¡ Ä ^d 2J^}J{~>~Rz>{RR^V/}zz}Jhu~RH{&R^Z~^/z~3J~HzR~{_û¡
:
=<
ñòÐñòCB
*
;
, ^6>:
@<
A;
õ÷Äõö´üµ÷,ýú&þÿø
EDGF1
Ä /hV/}J^}T~£R^^{^[>u~£{h^_RZ{@~_^{R/ ~RE{RR/}z^}B~uR{^^B{}zJuV^}zz}zc{R
/}~RJ©/}J¦z/J_Z~R/}z~{_¸{~RJR~^3zR=zz^H/J~3J~Hh^_RZ{©~_^{H{@~R@}B~uR{^^¡
Ä@3z~R/}z{{3~c^µ{
z{}J{f~RJf/}z}J^~R/}\~ z~RJR©{~RJfR~^¡ · zH^}3Z®3^c/hVZ±
}J^}B~R~f}T~u {~£~R{~RJuE/hV/}J^}B~R[}>{u_3=®-([Xh~R^{õu@{JZ{}z^z}3~R/}z{~F{¡
c3
c3
i1
i3
i2
i1
i4
i5
<a>
<x>
c1
i3
<>
c4
i2
i6
i5
<>
<>
<o,x>
c1
c2
c2
jlkfmnp(qIHÄswtwvxyvo{q
{Ì}KJ\qML5NÄkfvop
/JR? +Rz{õu^8/_R®3=ûJ~R/}R~u{2~RJ/hV/}J^}BK~ cd}zuz3}J
~RJ}z/}J
Rô¡«/J~{/}Jh^RRZ{^ðJ^}z^«{}zL~RJfR^_z~R}J¸_z{}J{^}µ~RzfR~^ /}J¦3/J_Z~R/}¡ · J
ûz~R/}:~u«~_{{uR^®L~RJuJRR^}B~>=~^Æ/}J¦3/J_Z~R/}:{}3\~RJ}z/}Jh^RRZ{R±
ðBz^}z^ 9 «=~RJ
}B~uR{³ e ´{}3 «=~Rz}B~uR{³ e¡¡ · Jh=ûJ~R/}R^R3~R>}: z{}J{^
~~RJ+R~^/}J¦z/J_Z~R/} ê³Jû~R/}{c}B~uR{µ e \~R6~RZ~~R{ J^m/}3}J^~R/}6~ e¡E{}3
R^Z~R/}M{c/hV/}J^}T~ c ~{{u~RJu@~RM~Rf}T~u_{i eFùL{}z6~RJ{_R^V/}zz}zµ/}z}J^~R/}M~
}B~uR{K e¡ê³{}z~Rz>/J~{/}J¸h^RRZ{R^ðBJ^}3 9¤Ü [/}´}T~u_{h e¡
O P
Q
G
Q
RQ
O
=Ú Z«~´}T~uR¨{û&E
J^R_®8h~Rzu~R©{2}z/}J{}3:/J~{/}z
h^RRZ{^ðJ^}z^({1h/hV/}J^}B~H®¸~RJ/X}z~FEux{3Z~R/}¨z}z~R/}z^Ü
üµ÷ÄýúÌþ^ÿ øSØ÷*úöÿõ
|4,
N
N|4 Ä
¬ÔgÕÖ
¬ÔgÕÖ
dc.w)
dc.w)
{~~R3Z~
~RzLuZ{zZ~R/}z}3~R/}z
ZR\3ZR~R{Ø@}³{^}Ju_{Øc{+~RJ\®8^3^={+{©M/hV/}J^}B~
zRz{´JuV^}z3/}z\/}6µR{RJ®3Ru~>_/~RJ¸u~©{H{}B~uR{^^¡Ä@}z{{{/z~\}B~uR¨{
z~{ ûV/h3u~/hV/}J^}B~}J3z~R^¡-/J~-J~c3~{_^cª{u>~Rhfz^{h~Rz~FBV©N|4, Ó
RôÄ¡ h
4 Ä Ó ¡1|G}/}B~_{~(~¸}T~u_{«®V^z^={^JJªEu{uXz~RJ®V^z^={2{h/hV/}J^}T~({R
JuV^}zz(/}´~RJz~{R
{1~RJR~^Ë/}J¦3/J_Z~R/Ø} N| Ó ¡@ý[/}z^ðJ^}B~R{3~RJ©®V^z^={{@{
/hV/}J^}B~R2z_X=J^+®
c.|4
Ü N|4,|d^ *ø N|4, Ó h|4 , Ó h
Ó ú
¯
z {R_/}z/®3}zZ~R/}z©{}J-J~u¥/z~3J~©{}3/}J¦3/J_Z~R/}6z~{_~´^{ "/hV/}J^}T~{
~RJ=~^¡ @{~~R3Z~{/hV/}J^}B~RR3ZR~RJR{>/}J¦z/J_Z~R/}z~{_{¡
ÄA-{zR®-hR^~_~R/}_^ðBzR^~R3Z~/}3=~R}JL{}zM{RR/}J^M}B~uR¨{^fZR+RûZ{}T~{
/hV/}J^}B~H®V^z^={HZ~H~RN Ü
c.|4 ¥9ø c^ú Z¢B9ø c.|4,^¤Vc.|4 Ä(¤Vc(|o
ú § ² @¨µÎ Ü
c(|4, Ý ¤Vc(|4 Ä Ý ¨¡ø ¢6eJ¨µe*6cd Ý §|o|6e;6-fø e$ú ¬ c
¦
ú
|$}~RJ>/ª}J3Z_Z{_Z-zuJ[~RZ~¨JR~Rzu(R^~_~R/}z2/}~RJ>®V^zX{H{&/8/}z^}T~Ru¡
ú |ú ÿ*ö
Ú=Z1~©}B~uR¨{®V^zX{XT[R^ðzRH/8/}z^}T~E®8^3^={_1~®Vu{zR{Ø¡ · 3
(~RZ~^´®B
~RJ>/ª}Jf/}zz~R/}+{@{o/hV/}J^}B~R¿ cxÜ

,
T
T
#!
#!
%$
1&
*
,+.- ,
)
0/1
c.|4,:ßK ¬ c.|4,;ßK ª?c.
5:¿ßh ¬ c(|5;ßh·
c(|4 Ä=<^d : ßa,?ZC ¬ c(|4 Ä=<^dA;ßK?ÅC
JuR³c(|4, ¸{}3Ec.| R^Ro¡c.|4, >{}3Ec.| >J^}J{~¸~O[´3{_{H{RR^R8/}3z}J}z3J~
z~{ ^>{}zR~^ /}J¦3/J_Z~R/}z©}:~Rz®V^z^={©{Hµ/hV/}J^}B~uzbc.|4 Ä ^d ¸{}3
c.
4 Ä ^6 @J^}J{~f~RJh{RR^V/}z3}Ju~R«{ER^Z~^L/J~3z~cz~{_û¡@{~h~RzZ~@~RzfR~^
/}J¦z/J Z~R/}¸Z~2~Ru èC@E}J{~2X{u_^+®B~Rz@u{zR{~O/}3z~R/}{2~[£{fxÖV^~^+®B~Rz
®V^z^={[{o{~RJu(/hV/}J^}B~Ru¡1¢/z{/J_R{=R~RZ~«{}+{}z{{{/z2u{zR{~F/}zz~R/}~R3Z~
{z/z2{H~RJ=~Â/}z¦z/J_Z~R/}®BX{u }J{oRûZ{}T~H}z3J~R2{1{/hV/}J^}B~R}+~Rz
=~^¡
· Jfz_^^}T~^R~^öhz^1~R^R^«~Rzz×ÖVuR^}zf®Vu~O[u^}~RJh3J_^=u{1}J3J$~ =ª/z~3J~
®V^z^={¥{}3>~RJE/{®3{TR~_z~RJ_{/®8^3^={^¡¥Äc}J{~RJu&V/RR®-1hz^{E/3>®V~@^h3ª3u~
~_z~Rz_{B z{}J{2R^ðJ^~R&{¥^{ h/hV/}J^}T~u{@z_©~RJ^}[/zxÖV^~1~RJ2~_z~RzRE}©~RJ2}J=~
~Rh~u¡¢¸J}z{~zR3_J^£JuR{¥{>E2{}B~^~µZ®-~_{~X[X:_/Æ{1Ju~R{
{2~RJ~_3~RJR_3{}J/}Jµ^_z{}zR¡Ä z_{Jx{}B~RZ{{2/JZ3zR/{_~RzZ~©~>R^ðzR^«~Rz
Ju¦3}z~R/}M{>{zz~R/}z{(h^_3{}zR¸}"{_zu~R8^Z§"Z®V/J~¸~RJµ~RZ~L{>/hV/}J^}B~~R
R^V^~H~
{ hu@/}z}z^~R/}µ z{}J{R^ðBz^~Ru¡ · zHE/zJ{cJ{h3{z®V}z^^RRZR~¸{R®-
/hV/}J^}B~RH~Jû~>}z~R{}z^H~RzZ~H~RJuzX{}J{~R^Z~^µ~RJ^^{û¡
:
5:
;
5;
=<
, =<
A:
>;
U?
µ¾ »"Á ZÀHG2Âx¾µ» I+»"¿ À6¼ ª¾¾
|G}©~Rz3ZVu^xE2z^{[zR{V/^©{_{B=~^ hz^/{&/hV/}J^}B~¥R~û¡|F~&o{R/{}3õu^©}
z×ÖVuR^}B~o^{u_^Ü~RJ£}z~R{}zX{u&z^R_®V^V~RJ_^Z~R/}zo{}3®V^z^={o{J/hV/}J^}B~Ru{}B~uR{^^
V
W
KX
1X
ZY
{}z/}z}z^~R/}z@~RhR^V^~~©~RJHzªm{h^R_Z{Ê{}z~RJ~_3~RJ_{z z{}J{Ê~RzZ~EXfuuJ
Z~_z}B~Rh{¡ · z~FBVhX{u>{R/J3«/hV/}J^}B~>{}z\}B~uR¨{}z~R{}z^«}B~z¨ü$/}B~@Ru~R«z
^h~Rz^}®V zZ_{~u_õu^¸®J^R_3~R/}zu¡¥|G}{_Ju£~3~_Z~(~RJc{J^ðB3{h{~Rz£Z3zR/{_o
E©{ {õu^´^^~R/}{R3=^h3ZR+~=~Rz{&{}z{_Z-zu{oJ^__z~R/}~^_z}zðBJ^{
=}T~R{~Ru{{}3¸®V^zX{_{8zR{VuR~Rû¡ ¬ z[Zz3R/{_Ju_c[~h~_{}3RZ~c~RJ^>J^R z~R/}zE}B~
zR^zuZ~^(~RzZ~8/Rc_^~_~R/}32/}~RJ>J^__®V^+/hV/}J^}T~R^¡
|$}{_JuH~§{uuµ~RJz_^^}T~RZ~R/}{}zZ{^Z®3{}zz}3Ju_~R{}z3Z®3{Ez^®Vu_Z~^ J/>~
Rh-uR~R{}:/}zu3~R>{u{^}/~~^:3}z}J^^RRZ_LJu~R{ub¡ J{©={h-{¥~J^R_Z®-©~
^h3ªR~_z~RJR^h^RRZ{^[}z~^{{8~Rz(3Z~£u~E{8h^_RZ{^ å~RzZ~£[{Ez^h~RJ_/J/J/J~1~Rz
3ZVu^¡Ì{_uX{u^~RzuR©}J´h^{}3{(RJ®3~O3}J{©}T~uR¨{{f/hV/}J^}B~~FBVû1{~RJ/z/
/h>{~RJ©uJRR^}B~(~^_z}3u{o/hV/}J^}B~O2ZR©Z3zR/{_zû-§{Ò/^Z²[^{}zÊÍÒ/^JÎ{Îx®-ÐÑzzRªz«~u¡
ÇªEu{uX-[©J}z{~Hu RJ®z~FB-}Jh{@^}T~_{¥/}zuz~@{/8/}z^}T~F[ZR{-®Vû{z~H^®V
^{R
Ru3{^+®BJû/Z~R/}¡
· J©zR{V/^´hz^¥J^c}J{~{u~«zRªJRJ38{_~H{«h{®3/hV/}J^}B~Ru¡ · z([/z-{
={3{R^ðz_¸~RJ/}B~R{}zh^}B~hR^Z~R/z} d~:_z{}J{ª{u~Rh{¡ÇªEu{u^2[+®8û{
~RzE~^}3R/}
E}z{~[Rzûu^}B~ ê³©{R@{^}zu_{VZzzR/{ ¸_^ðBzR^~RJ«}B~R=zz~R/}{fuZ~R/}
/}zuz~u8{(zR{V/^}:Ê ¿² «Ù ñ Î{ÎxÐÑ¡
¢~RR^R8^~~¸Ju{^{-h^}T~@hu~RJ=J/{{{}zJ^__z~R/}+~^ z}zðJû3~RJuR>R^{}zHz_
E{_§"~®VµJ/}z{¡ _~u(~¸E/z"®V´J^R_Z®3~Mz^{\Ru~¸{>//}}B~uR¨{LR8û¦3ux±
~R/}z[h=J^}J~Rz@z_{8u_~R^1{oJ~R}z>~^_z}3u{Vzzu[ZRHZ3zR/{_zû¡ · J^«Vû¦3uZ~R/}z
/zµ~RJ^}®V©3^µ{@= z{}J{^Z®3©®33z}z©®3_§{c/©3}zuZ~R/}´z«/}3^}T~_Z~R}J¸/}
®3zR}J^R$±Ñ{_^}T~^¸R~^Ã¨z}z~R/}3{~O{^¡ zzR~RJu_h{_{©~B/§~[{o{_z}zZ~ô}B~Rz~R{J^R_J±
~R/}L~^_z}3ðBz^@{/hV/}J^}B~O2ZR@R^ðB3R^¡ · Jf=}T~Rx\{}z\^{}B~Ru«RJ/z´®V©3Rû^
Ju¦3}J^}~u_{H~Rz¸=~^ hz^Øi¡ &}z{{hu~RJ=zu{1_^/h^}zzZ~R/}z©3^{
~´®Vz_Z±
J^{_{}J/}J«R/ {_{JzR{-{}zRu¦3}J^h^}B~1_z^¥~©/}zR~^}3 J^R§=u~^~£~_Z~u/û{}3
X{u_{ozR=^R(-Z~~u_}zu¡
|G~>c/JJ{V©~RzZ~~Rz3R{V/^\R~^öhz^&cZ®-f~uR{h{>
/3}zzZ~R/}L{c¨JR~Rzu
E{_§-¡
Ó£R^}B~R{{~RJuR¸ZRuJR_^}T~RL~O[µ§=}z3«{2/}3^xZ®-=~^}zR/}z^¡ ¬ }~Rz/}Jz{}3
{zz~R/}z{T/}zu3~R1^>®V2{zJ^©~«~RJ[R~^ h=J^~R^G{}>{ Ju~c_uzR^^}B~¥~RzEz_{8u_~R^
{EJ~R}J+~^_z}zu{1ZzzR/{ J^h{_{J^ðB3Z~^{¡ ¬ }\~RJh{~RJu3{}z~RJ=~^ÆJ^1^
®V´z^{+6/3}zzZ~R/}m{6~B/§~¸{uZRu¨z¶{_z}zZ~^J^R_3~R/}¶~^ z}zðJ^
{}z
{RR^V/}z3}JfJu{^{3h^}B~hu~RzJ/{{{¡
[
Á »M¾b h¿ ® h»\¼G
¢~Rz{}z§+²[u_}3zZ_Ù@zhV>{}z²[u_}z3Z_´Ú= Z~õ{@}B~uR^~R}Jz_uzRR/}3[{}3/h^}B~R/}
^Z_u({u R/}z({~Rz23ZVu^¡
\
]Y
^X
_
a`
d
cb
h½ h»"ÁK4G
Ê ²2þcþñÎ ªÐÌ´{}J_^²[Rª{J_{}Jõ+þc^Ju_ zuEý2{zþc^}zJ{_u^£Ì´x¹z3_zu · J/{bc_~õ^}zu^
{}z¸Ù{}JuE¢u®Vu^¡ · Jz^R/}{o3~_®-J~^fR~^±{}¸}T~R=zz~R/}h~a ¬ ýJ«ÚV¡
· ^_z}zu{ÙHuV{R~ · «Ì±Ñ|Î <ÛA · ^_3}zR JK c}z{u_R~ Z~(Ì z}z J^}J|$}z~R~Rz~[ J(|$}J{±
Z~R§83Ò/{}zZRØ C^Î{Î ¡
Ê ²2þcÙ«ÚJÎ/òXÐ Ì´{}J_^´²[Rª{oÓ_}zR~@þc^}JuR~u >{3@Ù^}Jõu^ØV{}zLÌµ/}z§ZÚ=_zJ~ø^3u¡ ú ¡Ú={~F[ZR
Z_ z~^~RJRÊ{}zz^R/}h3Z~~u }z£}®3zR}z^R1Zz3uZ~R/}zu¡ · ^ z}zu{-ÙHuV{R~ · «Ì±
|Î/ò Tù3|$}z~R~RJ~2 J(|$}J{ Z~R§8 · ^ z}zR JK c}z{u__~ Z~Ì 3}z_J^}o C^Î{Î/òB¡
fe "Q
hb
#b
gb
#b
ib
Rb
Ê ²¿«Ù@ñ1Î{ÎªÐ°>{3©²[uR/}JuXÙ{zÞcR/_Ä@}3JR^{Ù{zR £ÄcJ{}zJuÚ=_zJ~u &u~u¸Ú=_J/õ{
{}zÌ´{}JR^:²[Rª{³¡ J=uzR}z/}:h{®3~O{¡h|$}:Ù@{3Ç©¡&Úz_Z/z{&Ò{X¡o^z~{^ 5:
+$-$-VÑ<7f# %: 4' o-/ 7Ð5.'91 -V+g:#,Ñ #Ì# Ì) K) )7Ð7!$#Ä'-d5$#,)'979:<#) ^:<# 6-.5V-.#,+(-©:# Ì1|%('-dÏ
C^Î{Î{Î¡
,+67;-d#,+$-.% ¡J|$Ó£Ó£Óý[/h3z~u@Úuu~O{
Ê ²2Ç@Ç«ñ1Î/òXÐ Ù>¡-²E_^, ©¡-Çc}J§{^ØVýc¡-Ç@{{}z}8ýc,¡ >^}-²@¡ Z^_V²c¡-Ù3hV{3{}zÛ¡ · BJ }Ju^¡
· X2Z_z { {õ^Z~R/} {
~Rzmz}z¦3^ÈJ^}J {}J/3Z{{¡ |$} 5:6+$-$-VÑ<7f# %Å:
u¡-Úz_}J{u2Û1u_ZJ3ÿ «ýHÚV C^Î{Î/òB¡
Ê ²[RTÎ ªÐ Ì´{}J_^¶²[RX{¡ Ì´Z~RJ^Z~Ru{c=~^ J^h{¸®-{Rh{>{~O2ZR´^}J/}Juu_}JJ¡
C^Î{Î ¡
^:<Ï\2 &'-.5 ,+d7*-.#+$-µ/Ä:Ñ)<1 Ê ²[RTÎ{ÏªÐ Ì´{}J_^²[Rª{¡ÄA{/u{[®3{_{hh=zzZR~^^}J/}Juu_}JJ¡µ|$}T~u }z{[3ZVu^
C^Î{Î{Ï¡
Ê ²2ÙcÚ ñ ZÐ >{3
²[uR/}zu^Ä@}zzR^{Ù{z__>Ì´Z_Ú=3}JJHÄcJ{}zJuÛ«®3J@{}z Ì´{}J_^
²[RX{¡Ä J{_{Ì=J^&{©ý2/hV/}J^}T~F[Z_{¡>|G} : o#,Ñ)'97;:<#&%³: ^:<Ï\2o:#-.#Ä' w)|%d-gÑ
«ZRÿo^X{^}zu3~¸ZzV^Z^¡
Ì1|%('-dÏ% ¡-Ì´J_{ÚJ~RZ_{{}{}3z
Ê ²2ÙcÚÛÎ{ÏZxÐ >{3>²[uR/}Ju^1Äc}zJR^{©Ù{zR 1ÌµZ_+Ú=z}JJo{}zÄ@J{}zJu©Ûc®3J¡
ÄP/hVZ±
}J^}B~O2ZRJu{^{3h^}B~hu~RJ=J/{{L®3{^\/}3R^_3Z~~u_}z^¡ · ^ z}zu{1Ùu8{_~
|F±FÎ{Ï A · ^_z}zR_Ja @}z{u_R~ Z~Ì z}z J^}J|$}z~R~RJ~2 J(|$}J{ Z~R§8 C^Î{Î{Ï¡
Ê ²2ÙcÚÛÎ{Ïx®J©Ð >{3²[uR/}Ju^{Äc}zJR^{¥Ù{z__/Ì´Z_2ÚJz}zJX{}zÄcJ{}zJu&Ûc®3J¡/Äc}}B~u{_Z~^
=u /}/hV/}J^}T~F[Z_f±(/}3uz~RuJ^__z~R/}´~^_3}zðJûo{}z\Ju{^{-h^}T~«z_Z±
^Ru¡k|$}mÙ{{uÿou{(^z~{X : (' )5- # 7Ð#-g-.5(7f#
5:6+$-$-VÑ<7f# %Ø: ´' o-i! / 3
C^Î{Î{Ï¡
^:<# 6-.5V-.#+$- {¡-Äý · Ä R^_u3Äc}z{J^
¬ ®=ü^~Ì´{}zZ{^h^}B~Nc_/J´ý ¬ Ù@²[Ä©¡ ¬ ÌØÈ[u®3R~{
Ê°ý ¬ ÙHÐ
3¡
Ê /Î{ùªÐ þÄ¡ {}zZ/{}¡ ) <)³7Ð#) &'f% &- ¡ ¬ ¯°ÙH^ aÄcR=uZ~ûz|$}zZ¡, Z}z^z~R/} C^Î{Î{ù¡
Ê>ÙcÎ{ùªÐ Ù{3 «R/R¥ý[{ }J^ >^}V{}z²[u_}z3Z_\ÙzhV{¡>ÓE}zz{}zu}z¸~RJÚ=Rÿ¥Z®\R~^
h=J^8~R+~RZ~{¡ · ^_z}3u{ÙHuV{R~ · «Ì±Ñ|Î{ù AoCZ · ^_z}3R_zh @}z{u_R~ Z~(Ì 3}z_J^}o
|$}z~R~RJ~2 J(|$}J{ Z~R§8 C^Î{Î{ù¡
ÊcRTÎ{ÎªÐ «Ìµÿ «R/JoN¡ c}z¦z^\Ì=J^}J¸ÿ¥{}J/zZ{{¡Û1u R/è
} CZ8¡ AÙZ~R/}z{Ú{~F[Z_¸ý[{RVZ±
_Z~R/}o C^Î{Î{Î¡
ÊÍÒ/X=Î{ÎZxÐ Ò/XxTÚ={~u¡µÓE}T~u_z_ÒT^Z{²[^{}zfEu®-R~{
z
C^Î{Î{Î¡
ÊÍÒ/X=Î{Îx®JÐ Ò/XxTÚ={~u¡EÒT^Z{²[^{}z[u®3R~{
J& C^Î{Î{Î¡
Ê >Ù²(Î{ùªÐ ý[{_}z^Ì >^}o/²Eu }zzZ_Ù@zhV{T{}z¸Ìµ{}JR^¸²E_X{¡µÄ~R^{h±Ñ®3{^
Z~RJ^Z~Ru{
h=Jô{z~ ®3J~^}J{ Z~R/}3R^_R}JR~ûÜ · JhÚ=RÿZ®\=~^ hz^Ø¡
|$}\Òz¡ ±O²c¡¥Ú~u{}3&Ó¡ @{ üR^z~{^
3
:5$Ïb)
-d' :Ñ|% .:<5 2Ì-.#
d-g+6'
z

{

w
A
A

A
{
A
Ï
V
¡
Ó
@
«

Ú
J
_
{

z
}

^
C
{
Î
{
Î
ù
¡
·
·
V)<%d-VÑb3K7Ð%('95(7 &'-VÑ Ì1|%('-dÏa%
ÊÍÌµ^Î{ÏªÐ Ì´RBÚ{~ý[{RV{_Z~R/}¡ÌµRBÚ{~@ý ¬ ÌÆz/hu3Z{{
C^Î{Î{Ï¡
Ê ¬ Ç«Î{ÏªÐ ÙH{®VuR~ ¬ R¨{/{}z©þc{}fÇcZR§{u{¡ 7*-.#Ä' -.5 <-d5 5: 5)ÏÏ47f# ^79' ) |)K)#,Ñ
¡
Ò{/3}+¢³u ÃÚ=/}zuÄ Z}z+^z~R/} C^Î{Î{Ï¡
Ê · ^^Î{ùªÐ · ^_z}zR_J @}3{u_R~ Z~cÌ z}3_J^}3|G}zR~R~RJ~H JH|$}J{_Z~R§8¡ &'*: :6+ % 5: 6-V+6' ) zÌ C^Î{Î{ù¡
Ê · 3Î{ÏªÐ Û¡ · J_}Ju^¡hÄÅ{_{´/3}zJ^:J^__z~R/}L~^ z}zðJ{>®3z_}J^R«z_^RR^u¡|$}
²c¡ > {hu^ ¡ c_z3_= &¡oý[R/Ñ-{}zÚ8¡-Ù@zRJ8^z~{ u : (' )5- # 7Ð#-g-.5(7f# d:<5
{¡x|$Ó£ÓEÓ:ý[/h3J~u1Ú=uu~O{Ì C^Î{Î{Ï¡
)5) D- Ì)<#,Ñw3h7Ð%('95(7 &'-VÑ Ì1|%('-.Ï% 3
kj
kl
m7
An
Co
co
56qp
sr
U2 54t
5u
54wv
0n
56
xp
p
yj
zl
{
v'||
v
m7
An
l~} U
T2
p
x 52
Anv
86
p
#b
ib
hb
{
p An 8u
v
3
0n
m7
m7
l
m7
An
Co
{
@rp
j
P
9@m3m1>M[A9

w 5
a2
O
o 4C4
#b
ib
hb
c
9@mm9Uh0= 9" 5
P¢¡3y 5y5m£m3¤U

¢1@mm
3Uh#m= 9My5¤U£
5y9
c¦¥
¨
(¨2
||
Kp
} m§~
54 ¥
Co
1n
|
G|w¨(©
86
#ª
Op
Pm¢1@5m18,« MP5m¬¢' 3My
9"
v¦4
®Tp
l
R
=7
m7¯u
3
Co
Iv'|.°'r
±
#b
ib
hb
r]2

l
02
A©
l
07
Pm¢1@m5
Pm¬U #,²=«"P¬
¢5y3T«"³'¢T´0PU£5y "U£51>¡
£m
"b
l
54C4 4
Tj
¨2
µp
p An 8u
h¶ l
Kp {9 ¶ ·m¸¹P6>· §3º
{
m7
m7n

Download Report

A Formal Model for Componentware Klaus Bergner, Andreas

Paperzz.com

Your Paperzz