Products of Message Sequence Charts

(1)

HAL Id: inria-00156035

https://hal.inria.fr/inria-00156035v3

Submitted on 21 Sep 2007

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents

Products of Message Sequence Charts

Philippe Darondeau, Blaise Genest, Loïc Hélouët

To cite this version:

Philippe Darondeau, Blaise Genest, Loïc Hélouët. Products of Message Sequence Charts. [Research Report] RR-6258, INRIA. 2007, pp.27. �inria-00156035v3�

(2)

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Products of Message Sequence Charts

Philippe Darondeau , Blaise Genest , Loïc Hélouët

N˚6258

Septembre 2007

Systèmes communicants

(3)

(4)

&(')+*,)+--.0/214365879:.;1=<

>@?

*A14)+B6.DC0.E7:.EBGFIH

>KJ

5=LNMPOQE*,58<RSF

T;UWVYXNZ\[]GV^\_S[[a`cbedf^GghbEXNV

iKj

_hkY]\XlT;mghbenoldfVpX

j

drq8st_S[

u gSvcv=_ j Xnc] j ]6^xwc] j ^xwc]ybaz|{|}S~ST;]\vcX]\[q j ]a}hS;l}Eavegh|]GV

:G\cSS b0]\=]6^XdfS](gIUXN_gSVNVp]G[aqcf]veg

j

Xdgh;df]\V_SgnWdVpX

j

drqc`cX]Gn2VUWVYXN]\[dVXN_^ _|[¡

ve`WX](XNwc]\d

j v j

_WnW`e^ XG¢£¤dfS]GbXYt_ghbc|`egh|]GV_h[]GVNVgSS](V]G¥E`c]\b4^ ](^xweg

j

XNV|]\bc]

j

ghX]6nq;U[]6VVNgh|]

V]G¥E`c]Gbe^ ]l j ghvcw4V\¦;]lgSnen j ]6VVXwe]¤v j _|qcr]G[§_h^\_S[vc`WXNdrbe¨g[]GVNVgSS]©V]G¥E`c]Gbe^ ]¤ j ghvcwXweghX|]\bW¡

] j ghX]6V©XNwc]\dj v j _WnW`e^X6¢TWdrbe^\]ghfKªDTesVS]Gbc] j gXN]Gn0q;UDg[]GVNVNghS]¨Vp]6¥E`c]\be^\] j ghvcwP[gIUPq=] j `eb

drXwedrb«e¬;]6nq4_|`cbencV_SbXNwc]©[]GVNVNghS]^xwegSbcbc]GfVG¦|gV`cqcv j_|qcr]G[dV@XN_anW]6^ dnW]wc]\Xwc] j Xwe]l^ _|beVdfn;¡

] j ]6nv j _WnW`e^ XdV] ¬WdVYXN]\bEXdghffUq4_|`cbenW]6n¢@®¯]Vpwc_°XweghXXNwcdV¥E`c]GVpXdf_SbdfV`cb4nW]G^\dfncgSqcf]¤qe`WXX` j beV

nc]G^ dncgSqcr]ldrbXwc] j]6VYX j d^XN]Gn^GgSV]wc] j ]lgSr=Vpw4g j ]Gn]\|]\bEXNVtq=]\f_Sbc(XN_XNwc]¤VNgh[]v j _W^ ]6VVG¢±c_ j XwedfV

^GgSV]S¦]v j _|v4_EVp]V`W²^ df]\bEX^ _Sb4nWd³XNdr_|beV`cbenc] j wcd^xw¯g[]GVNVgSS]Vp]6¥E`c]\be^\] j ghvcw j ]Gv j ]6Vp]GbEXdfbc

XNwc](v j _WnW`e^X^Gghbq4]^\_SbeVpX j `e^XN]Gn¢

´0µE¶8·N¸a¹

º:S Tc^ ]\b4g

j

dr_EV\¦;v

j

_WnW`e^X6¦cveg

j

XNdfgS_

j

nW]

j

V\¦W^\_S[v4_EVpdrXdf_Sb¦cnWdfVpX

j

dfqc`WX]6nVUWVYXN]\[V

»¼½¾A¿GÀ½Á:Âf¾AÃ+Ä Å

Æ@ÇÈÉËÊ©Ì+ÍIÎIÎhÈÉÐÏ+ÑYÒ(Ó Ô©ÕÉ+Öx×IØYÑKÙWÑYÚÛÑYØpÈÜÝÞ@ßáàãâÝäâæåç è

éêÐë

Ý

êãì

í â ë

Ý:î

Unité de recherche INRIA Rennes

(5)

]6V(v j _WnW`cdrXNVV_SbEX`cbá[_US]Gb ]\=]6^XNd³nW]^Ggh^ `cf] j nc]GV;`c]6V(veg jXN`cdr]Grf]GV(nc]^ _|[¡

]GbcS]Gben j GVveg j nW]GV©ªDTes j ghvcwe]GVG¦Ebe_SèV\Xèncdr_|beVg¥|è]GVpXdf_Sb0nW`0^\gSf^\`cn`cbPªDTes° j ghvewc]]\bW¡

|]\ben j gSb|Xf]\` j v j _;nc`cd³X6¢ i `cdV¥E`c]aX_S`4Vr]6V©ªDT4sV]\beS]\b4n j 6Vveg j `cbPªDTes j gSvcwc]v=]\`c|]\bEX X j ]

]\¬G^ `cXGVVNghbeVnGvegSVNV] j `cbc](^ ] j Xxghdfbc]lq=_ j bc]Vp` j f]^ _SbEXN]\b;`nW]6V^\gSbegh`W¬nc]¤^\_S[[a`cbedf^GgXdf_SbÐ_|b

v4g j r]©nc]©q=_ j bc]] ¬WdVYXN]\bEXdf]\ff]@`ebVp_|`eVp¡+v j _SqerZG[¨]]6VYXnW]lnG^ dnW] j Vd4f]v j _WnW`cdrX^ _|beVdfn j ©]GVpXt] ¬WdVY¡

XN]\bEXdf]\ff]\[]\bEX©q=_ j bS¢_|`eV[_SbEX j _Sb4V¥E`c]^ ]\XpX]¥|`e]GVpXdf_Sb2]GVpXdrb4nG^\dfncgSqcf]ancghb4Vr]^\gSV\b j gS,¦

[gSdfVnc]\;dr]GbEXlnG^\dfneghqcf]nWZGVl¥E`c]_|b j ]GVpX j ]\dfbEXr]av j _WnW`ed³Xnc]GV©ª Tes j ghvcwc]6VnW_SbEXf]GV\Gbc] ¡

[]Gb|XxVa^\_S[[a`cb4VaV_SbEXaf_;^GghfdfVGVaVp` j `cbá`cbcd¥E`c]v j _W^ ]6VV`eVG¢ i _|` j ^\]^\g|V\¦bc_|`eVv j _Sv=_|V_Sb4V(nW]GV

^\_Sbencd³XNdr_|beVVp`W²VNghbEX]6V©v=_S` j ¥E`c]f]¨ª Tes j gSvcwc]a]GbcS]Gben j ghbEXlf]v j _;nc`cd³X(nW]nW]G`W¬PfgSbc|gSS]6VlnW]

ª Tes j

gSvcwc]6Vtve`cdfVNV] \X

j

](^ _Sb4VYX

j

`cdrXG¢

!#¹ 6 · " Tc^#\b4g j dr_EV\¦;v j _WnW`cdrXG¦c_ j n j ]GVveg jXNdr]GfVG¦c^ _|[v4_EVpdrXdf_Sbæ¦cVUWVYXNZ\[]GVnWdVpX j drqc`$GV

(6)

#aa:a:

)+*,

G ¹ º:h.-¹ , /

021

c.354e ¹ , º 6

/ ! -'7 µ º98 ¹ º:h ¹;:!=<?>· "Ë

, 4 :%4 µ @

6 1 ¹ ,

º :A¹ !=<?>

,

ºA8 ¹ ºSGB C

D ! ¹ , -Ð ¹ µ ºFE: ¹ ºS ¹;: !=<G>· ", , 4 :%4 µ H

I >KJ:µ .35-, 4MLN75-ËG µ , -," 1 ¹ , º µ º , µ 6 )O)

@ > !=<G>· 44I%E J µ E µ µ , 6W-¹ , ¹;: ! ¹ , -Ð ¹ µ ºP8 ¹ º:h 0Q

C

>¹ ,

":-

¹ , 0I

R S

Tc^ ]\b4g

j

dr_fgSbcS`egSS]6V\¦;ghbendrbveg

j

XNdf^\`cfg

j

ªP]GVNVgSS]¤TW]G¥E`c]\b4^ ]stweg

j

XNV Ëª TesV twegI|]l[]\Xg¨^ _|beVdfn;¡

] j

gSqcf](drbEX]

j

]6VYX¤_S]

j

Xwc]fg|VYXnW]G^GgSnW]|¢ªDTesV¤ghfr_ Ð_

j

Xwc]¨nW]GVN^

j

drvcXdf_Sb0_hncdfVpX

j

drqe`WX]6n0VpUWVpX]\[V

]\¬W]G^ `cXdf_SbeVG¦cghbenXwe]\d

j

EdV`eghgSVv=]G^X[gSnc]lXNwc]\[%v4_|vc`cg

j

dfbXNwc](]\beSdfbc]\]

j

dfbc^ _S[[`cbcdrXYUS¢KT;]\E¡

] j

gStnWdr²^ `crXv

j

_|qcf]\[VaV`e^xw g|V

j

gS^ ]6V\¦@^\_SbUTe`e]\be^\]S¦[_;nc]\^xwc]G^V;dfbc0wegI|]q4]G]\b gSncn

j

]GVNV]Gn Ð_

j

ª TesVghben Xwc]Gdj g j dghbEXNVG¢ ±e_ j g j ]6^ ]Gb|XV` j |]\Uá_Slª0]GVNVNghS]0T;]6¥|`e]\be^\]Pstw4g j XNV ËªDT4sV¨ghb4n

ªP]GVNVgSS]T;]6¥|`e]\be^\]£ j gSvcweVËªDTes¡A j ghveweV ¦] j ] Ð] j Xwe] j ]GgSnc] j XN_XWme¦@ZY+¢0®¯]Ð]G]\tXweghXaXY_

v j_|qcr]G[V¤gSq4_|`WXªDTesVgSben¯ªDTes¡A j ghvcweVlbc]G]Gn X_2q=]gSncn j ]GVNV]GnPq=] Ð_ j ]nW]6VpdfSb ]\bc|drbe]\] j V^\gSb

]Gb;EdVNghS]Vp] j df_S`eV¤ghvevcrd^\ghXdf_SbeVG¢K[lbc]¥E`c]GVpXdf_Sb dfV¤wc_yXN_df[vcf]\[]\bEXªDTes¡AfgSbcS`4ghS]6V|dr|]\bPq;U

ª Tes¡+ j gSvcweVG¢ v4g j Xj _S[ Xwe] j ]GVpX j df^ X]Gn ^\gSV]_S _W^\gSstwc_|df^\] As YªDTes¡A j ghveweV\W{W¦K~.YA¦@XwedfV

v j_|qcr]G[ wegSV j ]G^ ]Gdr|]GnDbc_VNgXNdfVpËgS^ X_ j U2Vp_|r`cXdf_Sbæ¦æVdrb4^ ]]\drXwc] j nW]Gg|nWr_W^VWV¤g j dfV]j _S[ XNwc]dr[vcf] ¡

[]Gb|XxgXNdr_|bXW^]]h¦ ( Y+¦8_ j df[vcr]G[]\bEXNghXdf_SbP[gIU] ¬Wwcdfqcd³X`cbeVv=]G^ dr«e]6n0q4]GwegI;dr_ j VW^]Y+¢ bP]GS]GbP[_ j ]

q4gSVdf^dVV`c]dVKwc_ X_([_WnW]\=g(VpUWVpX]\[`eVdrbc(gSbª Tes¡+ j gSvcwæ¢:±c_ j drbeVpXNgSbe^ ]|¦Swc_ X_nc]GVN^ j drq=]Xwc]

^\_S[[_Sbq=]\wegI;df_ j _SV]\|] j ghcªDT4s¡+ j gSvcw[_WnW`cf]GV j ]Te]G^ XdfbcanWdr8] j ]\bEXtgSVv=]G^XxV@_hægncdfVpX j drqe`WX]6n

VUWVYXN]\[2¢ « j VpXlgXX]\[vWX¤drbPXwcdV©nWdj ]G^XNdr_|bMWY:nW]\«ebc]6VXwe]gh[gSrEgh[gXNdr_|b_S@ª Tes j ghvcw4VgSVg

fdrãX]Gn|]

j

Vpdf_Sb_h:Xwc]([]

j

S]¤_h:Xwe]\d

j

qegSVdf^ªDT4s qcf_W^VWV Ð_

j

q4ªDTesV ¢

®¯]v

j

_Sv=_|V]wc]

j

]g2nWdr=]

j

]Gb|X6¦æ[_

j

]T4] ¬Wdrqer]_Sv=]

j

gXNdr_|bD_Stv

j

_WnW`e^X(_SªDTes¡Aghbc|`egh|]GVG¦8g|VY¡

V`c[dfbc¯Xwc]GU nW_ bc_SXVpweg

j

]2ghb;U []6VVNgh|]Ëwcdf^xwdVghff_t]6n dfb XNwc]Pgh[gSrEgh[gXNdr_|b _h(ªDTesV

^\_SbeVdnW]

j

]GndrbMW_Y¦=qc`WX©Xwc]GU^Gghb0Vpw4g

j

](drbEX]

j

b4ghæ]GS]\bEXxV\¢`wc](v

j

_WnW`e^Xlt]a^xwe_E_EVp]dVXNwc][d³¬W]6n

v j

_WnW`e^ X_hªDT4sV\¦XNwegXgS[_S`cbEXNVX_ Vw;`Uadrbc Xwc]Gd

jj

]6Vpv=]G^ XdfS]0]\|]\bEXNV_Sb]Gg|^xw v j

_;^\]GVNV\¦Vd³¡

[`crXNghbe]\_S`4VpfUgSben0dfbenW]Gv4]GbenW]\bEXNrU|¦=]\¬c^ ]\vcX©Ð_

j

Xwc]¨Vpw4g

j

]Gn2]\|]\bEXNVXweghX¤g

j

]be_hXldfbEX]

j

f]GgI|]Gnqc`WX

^\_|gSr]6V^\]Gn¢b`we](_SqWkY]6^XdfS](_SXNwc]_ j VVpXNg j X]6nwc] j ](dfVX_q=]aghqcf]X_^ _S[vc`cX]Xwe]agh| j ]\|ghXdf_Sb

_SªDT4s¡+ j gSvcw¯nc]GVN^ j drvWXNdr_|beV_hVpèqeVpUWVpX]G[VG¦æXNw;èVU;dr]GfnWdfbcPV`cvcv=_ j XX_2Xwe][¨_WnWèfg j nW]GVdr|b _S

ncdfVpX j drqe`WX]6nVUWVYXN]\[VG¢

(7)

b0dr[v=_

j

XNghbEXÐ]6gX`

j

]_Sª Tes¡+

j

gSvcweV Ë_

j

[_

j

](S]Gbc]

j

ghffUVghÐ]sªDTes¡A

j

ghvcw4V tdV] ¬WdVYXN]\bW¡

XNdfgSq=_S`cb4nW]GnWbe]GVNV\WZYA¦XNwegX¨dfVaXwe]

j

]] ¬WdVYXxVaghbá`evcv4]

j

q=_S`eben _SbáXNwc]^\_SbEX]Gb|XxV_SXwc][]6VVNgh|]

^xw4ghbcbc]GfVG¦:d³XNwcdrb wcdf^xw gSrªDTesVadrbáXNwc]ghbc|`egh|]^\gSb¯q=]

j

`cbæ¢bá_

j

nc]

j

XN_PwegIS]gSb ªDTes¡

j gSvcw j ]\v j ]GV]\bEXNghXdf_Sbæ¦|Xwe]lv j _WnW`e^ Xt[a`4VYXq4]¤] ¬WdVYXN]\bEXdghffU¨q=_S`ebenW]Gnæ¢ `wcdfVtdVXNwc]¤[gSdrbv j _Sqcf]\[

V_SfS]6n drb XwcdVav4ghv=] j ¢D®¯]Vwc_ XweghXKV;bc_dfbcPwc]\Xwc] j XNwc]v j _WnW`e^ X_SXYt_¯ªDTes¡A j ghvcweVdfV

]\¬WdfVpX]Gb|XNdfgSrfUq=_S`cbenc]GndfV`cb4nW]G^\dfncgSqcf]S¢_]\|] j ¦EdrXNwc](Vpw4g j ]Gn]GS]Gb|XxVq4]Gr_|bcaXN__SbcfU_Sbe]lv j _h¡

^\]GVNV\¦XNwc]\b XwcdV¥|`e]GVpXdf_Sb q=]G^\_S[]GV¨nW]G^\dfneghqcf]S¢X[lbe^ ]gPv j _WnW`e^ X¨dVV;bc_b X_Dq=]] ¬WdfVpX]GbEXdghfrU

q=_SèbenW]Gnæ¦ j ]GV`crXNV_|b j ]Gv j ]GV]\bEXNghXdfS]rdfbc]Gg j dGghXdf_SbeV_S W( Y¤^\ghb q=]0èV]Gn¢ b q j dr]\Y¦fgSbcSègSS]6V

_SlªDTesVnc] «ebc]6n q;U XNwc]2Sf_SqegSrfUá^ _;_Sv=] j gXNdr|]V`cq=^\fg|VV¨_SlVghÐ]DsªDTes¡A j ghvcweVawegIS] j ]\S`efg j

sª Tes¡+ j gSvcweVghb4n¨^\_Sb;S] j V]\fUS¢:£¤dr|]\b¨XYt_|r_|qeghfrU^ _;_Sv=] j gXNdr|]sª Tes¡+ j gSvcweVV`e^xw¨XweghX@Xwc]Gdj

v j_WnW`e^ X:dV] ¬WdfVpX]GbEXdghfrU(q=_S`cb4nW]Gn¦IXNwcdVv j _WnW`4^X:^Gghbq4] j ]Gv j ]GV]\bEX]6n(d³XNwglSf_SqegSrfU(^ _;_Sv=] j gXNdr|]

sª Tes¡+ j gSvcwæ¢

`wc]gh`WXNwc_

j

V_h W(

Y:g|VV`c[]a±Y±G[#^ _|[[a`cbcd^\ghXdf_Sb2q=] XY]\]\b0v

j

_W^ ]6VV]GVgSbenXwe]\Udr|bc_

j

]Xwc]

^\_SbEX]GbEXNV_SK[¨]6VVNgh|]GVdfb2Xwe]nW]\«ebcdrXdf_SbP_S@ª TesV\¢N`wc]a±Y±G[gSVNV`c[vWXdf_Sb0_S`cnÐ_

j

^ ]g^ _|[¡

verd^\ghX]Gn0nc] «ebcdrXdf_Sb0_SXNwc]av

j

_WnW`e^ X_hKªDTesV Ðq=]G^Ggh`eV][d³¬WdfbcXY_nWd³8]

j

]\bEX T4_V_h@[]GVNVgSS]6V

q=] XY]\]Gb2XYt_v j _W^ ]6VV]GVbe]\]GneVbc_SX©v j ]GV] j S]¤Xwc]±Y± [^ _Sb4nWd³XNdr_|b ¢ `wc] j ]\Ð_ j ]S¦c]df[v4_EVp](wc] j ]

¡gSVgSV@g|VV`c[]Gndfb W]YA¢:® ]©g|ncghvcX:XN_XwcdVKnWdr8] j ]\bEX@j gS[]\_ j VXwc]^\_ jNj]6Vpv=_Sbenc]\be^\]t]6VYXxghqcfdfVwc]6n

dfb W( Y+¢

`wc]¨bc_SX]¨dfVl_ j |gSbcdG]Gn0g|VÐ_|rf_V\¢T;]6^XNdr_|b } j ]G^GghffVXwc]¨qeg|^VE j _|`cben2_StªDTesV¤ghben ªDTes¡

j gSvcweVG¢T;]6^XNdr_|b ( drbEXj _WnW`e^\]GVXNwc][d³¬W]6n v j _WnW`4^Xa_Sª Tes¡+ghbeS`egSS]GVG¢T;]6^XNdr_|bám j ]6^\ghfVXwc]

nc] «ebcdrXdf_Sb2_S:]\¬;dVpX]\bEXNdfgSæ^xweghbcbe]\q=_S`cbeneVÐ_ j ª Tes¡+ghbeS`egSS]GVG¢AXdfVVwc_bdrb0V]G^ Xdf_SbeV~gSben{

XNwegXl_Sbc]a^Gghb2dfbPS]Gbc] j ghbc_SXl^xwc]6^VXwe]a] ¬WdVYXN]\bEXdghq4_|`cbenW]6nWbc]GVNV_SXwc][¨dr¬W]Gn2v j _WnW`e^ X©_hXY_

]GS]Gb|XxVq=]\f_SbcDX_¯gDVdrbc|r]v j_W^\]GVNV\¢ TW]G^XNdr_|b 0nc] «ebc]6VÐ_ j XNwegXVpv=]G^\dfgS^GgSV]ghb _Sv=] j gXdf_Sbá_S

[dr¬W]Gnv j _WnW`4^X_SbPsªDTes¡A j ghveweV\¢

!

a "(

`_q=]\|drbdrXw¦|] j ]G^Gghfcwc] j ]XNwc]©`eV`egS4nW]\«ebcdrXdf_Sb_S $#&%Z('''_ )& ; K!5#_&

!G G!G Ð_ j Vpwe_ j X ¦8wcd^xwDnW]6V^ j dfq=]]\¬;]6^ `WXNdr_|beVl_h^ _|[[a`cbcd^\ghXdfbcv j _SX_W^ _|fVG¦=gSben0_SsªDTes¡

j gSvcweVG¦wcdf^xw°g j ]0|]\bc] j ghX_ j V_S¨sªDTesVV] XxV\¢ ] X+*¦&, ¦ghben.- q=]P«e¬;]6n «ebcdrX]¯Vp]\XNV_S

%. & ¦ #"& & gSben ''_ ¦ j ]GVv=]G^XNdr|]\fUS¢ iKj _W^ ]GVNV]GVK[gIUv=] j Ð_ j [ ; ]\|]\bEXNV/©¦ 0'21_

]GS]Gb|XxV3 ghben ' & ;) ]\|]\bEXNV54¢ `wegX@dV\¦hXwc]Vp]\X@_hcXYU;v=]GV_h4]\S]GbEXNV:_h4gSb¨ª Tes¯dV7698./;:<3=:4

we]

j ]

/>8@?BA;CEDGFIHKJML2AMNEDPOQ*RNIATS8UDNVHWOX,ZY|¦3[8@?BA]\MD<F^HJL2ANBD_O`*RNaATS8bDNBHcO,ZYE¦ghb4n

4d8X?BAFaefJL2AKO+*RNBeROK-YE¢:±e_

j

]GgS^xwAOg*¦]f] X76ih;8j/khl:G3h:m4lh©wc]

j

]/khc¦n3hc¦hghbeno4lh©g

j ]

XNwc] j ]GVpX j df^ Xdf_SbeVæ_h/©¦p3P¦hghbenq4¦ j ]GVv=]G^XNdr|]\fUS¦GX_XNwc]^\_SbeVdfnc] j ]Gn¤v j _;^\]GVNVfA rs Ao\MDqFIHKJ<Ot/ h ¢

uµsv

,

-Ð.-¹ , )xw

$#&%Z('''_ ) !$#%_&zy ' Xp%k^gy 8{Fa|}NE~MNVNpF<h

Jh)$GJz #

| '&b '1_ O' '# E%% ~MFanJ $'21_ \}^i02' t# % ~Ks|Z6

(8)

_ #

AOg*

<h

'"_ )? _

|<h;8`~

FI6 hiJ

i|X@|

']%_&'')2 a ;)' '21_#"E%i%5' )

'

FI

J8x

#%

~FI

JG8A;CED<FIHKJ

_

~FIpJ8`D\ A F^HJ

_ $#

AMNED

_ ; H

' h

~FI

J8 ~FI

J98 ACBDqF^HJ ; FI

J ' a ;) #% Fa

J 9Fa

J'

%_&'' f^_ Fa

J 'Ib ;

#U l''_ : hn$ h _ : ?sFaiNBFI)JVJ(Y 'K_ 0'' 0^a'' 5

@' ?! ' #%%_&'')M#"E% 'g' ''_ ~

F2/<J _ ~

F23+J

ol] «ebed³XNdr_|b ]0] ¬;X]GbencV¨Xwe]P_ j dr|drb4ghnW] «4bcd³XNdr_|b _h W( Y©[ghdfbcrU drb XNwegXXNwc]P^ _|[[a`cbcd^\ghXdf_SbeV

q=] XY]\]GbPghbP_ j nc] j ]Gnveghdj _h@v j _;^\]GVNVp]6Vg j ]bc_SXlbc]6^ ]6VVNg j drfU±Y± [¦4qc`cXl]GgV;fU±Y± [¢O`weghXldV\¦

XNwc] j ]g j ]g|V([ghb;U¯±Y± [^xw4ghbcbc]GfV(j _|[>AáXN_ D2gSVXwc] j ]g j ]XYU;v=]GVa_h]\|]\bEXNVACBDqF^HJ¢ `wc]

^xwe_Sd^ ]_h]Gg V ±Y±G[_|] j ±Y±G[dV(Ð_ j ]Gg|Vp]_h`eV][ghdfbcrU|¦@Vpdfbe^ ]Xwc][¨dr¬W]Gnáv j_WnW`e^ X^ _|`cn

[]6VVlXwe]±Y± [ j ]6VYX

j

d^XNdr_|bæ¢;_]\|]

j

¦4]nW_q=]\fdf]\S]Xw4gX

j

]6Vp`e³XxV¤Vdf[¨dfg

j

X_Xwc_EVp]¨v

j

]GV]\bEX]6n

we]

j

]¤_SèfnghvcverUdrXwXNwc](èVèghæ±Y±G[

j

]GVpX

j

df^ Xdf_Sbæ¦Wghfq=]\drXd³XNw[_

j

]¤X]6^xwcbcd^\gSrdrXdf]GVG¢

£¤dfS]Gb gªDTes 8 FI|}N~NBNrF h J hn$ J¦f] Xq=]¨Xwc]

j

]Te]\¬;dfS]¨ghben0X

j

ghbeVd³XNdr|]^\r_EVp`

j

]a_S

XNwc]

j

]\gXNdr_|b j

_|[ ol] Y¢]|¢

' ;_ %(''_

_h dVtgSb]\b;`c[]

j

gXNdr_|b_hM| ^\_S[vegXNdrqer]drXw

a¢ Ërdfbc]6g

j

%; Oa''

_h dVXNwc]adf[gh|]_hKgfdfbc]Gg

j

] ¬;X]GbeVdr_|b0_h `cbenc]

j

XNwc]a[gSv

~ | {6 Ëwc]\be^\]drXdfV¤g_ j n2_hG6 ¢ ] X "!$#F%=J©nW]Gbc_hXN]XNwc]¨V] X_hKfdfbc]Gg jlj ]\v j ]GV]\bEXxgXdf_Sb4V

_S& ¢§±c_ j g Vp]\X(' _hª TesV\¦lr]\X)*!$#F+'RJnW]Gbc_hXN]PXwe]¯`ebcdr_|b°_h,"!$#F% JÐ_ j ghf O-'2¢

drbe]Gg j dGgXNdr_|beV^\gSbq=]nW] «4bc]Gndjj ]GVv4]6^XNdr|]l_S:ªDTesV©gSVÐ_Sff_V.

uµsv

,

-Ð.-¹ , 0

? "!$#0/P6 #%? $2 _Z21 # #%_ $2 AMNED ; H $#% f#}

. U& ; D\AF^HJ 'N#"Z&d$ #%N f#} U& ; & A;CED<FIHKJ ' 1_(q%a3

4

51; _ g_# Of# K)

4 8 1

8988

6:+O)"!$#

dVg¨rdfbc]6g j ] ¬;XN]\beVdr_|b_S y<;= F1 J 8F ??>iN

8988

N@#7YsNE~MNVNpF<h JVJdrXw.

A

~F%!J 8B6C@gSben)!<h)Ddr2! 0DFEG6CN6@H Ot6ihW¦

A

F%!J87Dd³@XNwc]af] XX]

j

6C8jA;CBD<F^HJ_W^G^ `

j

V# XNdr[]GVldfbI6

3888

6Cghb4n2Xwc]r]\XpXN]

j

6@H8 D\ AFIHKJ

_W^G^ `

j

VJ#DXNdr[]GVdrb(6

38898 6@HlÐ_

j

Vp_|[¨]qANBDNVH=N@#@¢

uµsv

,

-Ð.-¹

,A/LK

__1 N1 OM*!$# f'21Z$^ __''_ N1POQ1 ='Ry<;= F1 J ;

y<;= F1 J '$# %%#f'' rSR?__ lR^ B/T"!$# (' VUWM8? 1 L 1OX1 N 1 O(&Y

w

^_ Y/T"!$#F+'RJ 'Kaj ]Gv j ]6Vp]GbEXNgXNdr|](Vp]\X _ ' ' [Z\"!$#F% JzS8] _ )2 @OI'

f'21Z$^ n 'SUW 87"!$#F+'gJ

®¯]nW]6nW`e^\]Xwc]Ð_Sfr_dfbc0v j _Sv=] jXdf]GVG¢±e_ j ghb;U ªDT4sM ¦3*!^#F_ JdVagSb¯]6¥E`cdrgSr]Gbe^ ]^\fg|VV

dfbN*!^#¢¯±c_ j ghb;U ªDTes` ghb4n¯Ð_ j gSb;U 1 O7"!$#@¦ 1 O7"!$#F_ J(dr©ghben _SbcfU dr dVadVp_|[_ j ¡

vewcdf^XN_ y<;9= F1 J ¢ Vpdf[drg j v j _|v4] j XYU nW_;]6Vbc_hXwc_|fn Ð_ j g j qcd³X j g jU sªDT4sV\¢°±e_ j dfbeVYXxghbe^\]S¦

FA;CBD<F^HJVJFID\AF^HJVJ FaD\ A F^HJVJ(q=]\f_Sbe|V(XN_I*!^#F_ JÐ_ j XY_DnWdr8] j ]\bEXsªDT4sV& ¦wc] j ]Xwc]

V]\b4n]GS]\bEXdV[gXN^xwe]GnqEUg ]Gd³XNwc] j drXw2XNwc]¤« j VpX_ j drXw2XNwc](Vp]6^ _Sb4n j ]G^\]\dfS]]\|]\bEXG¢

®¯]¤nc] «ebc]lXwe]l^ _|be^\ghX]GbegXNdr_|ba

2b

a©_SXYt_sªDTesV*aCM8Fa|

C

N~

C

NV

C

NrFV

C

h

Jh)$GJg|V@XNwc]¤V] X

_S@sªDT4sVc 8 FI|

d

| N~

d

~

NBNrF<hiJhn$<JVp`e^xwXw4gX9.

(9)

±:dr|` j ] ]?.YnW]\bEXdr«4^GgXdf_Sb0TW^\]\beg jdf_

¢

"!#$$%

&'(

)

±dfS` j ]} .TW]Gg j ^xwcdfbcTW^ ]Gbeg j dr_*S|¢

A

aZ=FI|

C,+

| CJ 8 C

ghben <h ZtFI|

C,+

| CJ 8P

C

h

Ð_

j

!GO ? > N-Y(ghben AOg*¦

A

Ot|

gSbent ]Gb|Xxghdf Ot|

Ð_

j

ghfMsNBkOK|

d | ¢

®¯]r]\X '

b

'Jq=]Xwc]`cbcdf_Sb¯_h*

b

aaÐ_ j ghfaCO'*C¦! O ??>iN-YE¢® ]^\gSbDbc_#SdfS]g

nc]GVN^ j drvWXNdr_|b_S:V] XxV_hªDTesVdrXw j gXdf_Sb4gh8_Sv=] j gXNdr_|beV\¢

uµsv

,

-Ð.-¹ , 6 w

!G ?!/.' E%# ' p%5 8 F$0 NxN#1oN032 N054iJt # F$0 N_J ' %%#s

032 N064/70 #%&&';' ''')G )1_&'' &b&% '21Zn ; 1 #"E%O #91Z&

4 K\!G G! 1oF

4 J 98 NIb ; oF$;J _ # N$2 ªDTesV ' 1oF

4 2 J b 1oF

4 J b 8898 b 1]F

4 : J #%

4 2 N 4

,8988

N 4 : ' %%#' $# )#"' ''')1_&

4 2

O:0 2 $# G )1_&

4

:+O:0 4

K

# !G ?!/.' E%# ' VNgÐ] 'K_ & # 1]F

4 2 J

b8898b 1oF

4

:J )' %_<^Z& _ ?!

bEX`ed³XNdr|]\fUS¦6Xwc]Vp]G[ghbEXd^\V_h=sªDTes¡A

j

ghveweV8dfV:nW]\«ebc]Gn`eVpdfbcXNwc]t^\_S[v=_|Vd³XNdr_|b(_h;Xwc]sªDTesV

ghq=]\fdfbc2Xwc]|]

j

Xd^ ]6V[¨]\Xghf_SbeXNwc]veghXweV(dfb Xwe]GV]

j

ghvcweVG¢ _SXd^ ]XNwegX61]F

4 2 J

b58885b 1]F

4 : J

[gIU^ _SbEXxghdfb2gSbPg

j

qcdrX

j g j

UbE`e[aq=]

j

_StsªDTesVG¦eqc`WX¤gX©[_|VpX©_|bc](_hXwe]GV]¨sªDTesVdV©gSbPªDTesl¢

b ] ¬cgS[¨ver]_S©g0bc_|bW¡AVNgÐ]sª Tes¡+

j

gSvcwádV6U8ZF$0 NxN#1oN0?

4 2 YiN?

4 4 YnJ(we]

j

];0 8b?

4 2 N 4 4 Y|¦

4 2 4 4

¦eXNwc]sªDT4s<1]F

4 2

4 4 J

w4gSVagDVpdfbcSf]]GS]\bEXaghq=]\f]Gn drXw A;CBDqF^HJ¢ benW]\]6n¯Xwc]XYt_D]\S]GbEXNVa^Gghbcbe_hXaq=][gXx^xwc]Gnáq;U=

dfb1]F

4 2 J b 1]F

4 4

ª TesV\¢#st_|be^\ghX]\b4gXdfbc?>A@ gSben Xwc] r_W^Ggh]GS]\bEX (_ ; SdfS]6Vghb°ªDT4sdrXw ( ]\S]GbEXNVG¢ `wc]

¢ [lbXNwc](^ _SbEX j g j U|¦hXwe]¤]GS]Gb|X (_ ;

gSbenXwc] j ]G^\]\vWXNdr_|b_S D $'' g j ]l_ j nc] j ]GnÐdfbCS¢

dVg j ghvcwPdfb¯wcdf^xw ]Gg|^xwDbc_WnW]dVlghq=]\f]Gn drXw gVdrbeSf]¨]GS]Gb|X6¦æVp`4^xwPXw4gXSoF$;J]8GoF$S2J¢m b

gIUg j ]GS`cg jj ]\v j ]GV]\bEXxgXdfS]V] XÐ_ j ]F;J¢

(10)

b_ j nW] j XN_[g|VYXN] j Xwe]^\_S[vcf] ¬WdrXYU_hnWdfVpXj dfqc`WX]6nVUWVYXN]\[nc]GVN^ j drvWXNdr_|beVG¦Wd³XdVnW]GVdj ghqer]lX_wegI|]

ghX_Sbe]VnWdVpv=_|VNgh=g^ _|[v4_EVpdrXdf_Sb_|v4] j ghXdf_Sb¨XweghXgSrf_VX_at]6gIS]nWdr=] j ]GbEXgSVv=]G^XxVK_SgaVpUWVpX]\[2¢

® we]\bVUWVYXN]\[g|Vpv=]G^ XNVtg j ]lsªDTes¡A j ghvcweVKd³XNwnWdVÐkY_|drbEXtV] XxVK_hv j _W^ ]6VV]GVG¦Xwe]l^ _|be^\ghX]GbegXNdr_|b¨_S

XNwc]\dj ª Tes¡+ghbeS`egSS]GV^Gghb0q=]a`eV]Gn0X_XNwcdfVl] 8]G^ XG¢ fV]S¦8Vp_|[]veg j ghff]\^\_S[v4_EVpdrXdf_Sb2dV©be]\]Gnc]Gn.

]v j _|v4_EVp]wc] j ]X_áVpU;be^xw j _|bcdG]Vweg j ]Gn ]\S]GbEXNVghben VwE`%a]bc_|bW¡AVweg j ]6ná]\|]\bEXNV¨v=] j v j _;^\]GVNV\¢

rVweg j ]Gn0]GS]Gb|XxV©g j ]dfbEX] j begS]GS]Gb|XxV Ë[¨]6VVNgh|]GVlg j ]bc]\|] j Vpweg j ]6n$¢ `wc]adfbEX] j V]G^ Xdf_SbPdrXwDg

j ]\|`cg j fgSbcS`4ghS]^ _|`cnq=](`eV]Gndfbvefg|^ ]_h:Xwc]Vweg j ]6n]GS]\bEXxVX_^ _|bEXj _S=Xwc]Vw;`Ua]S¦cqe`WXXwedfV

_S`efnbc_hX^xwegSbcS](Vdr|bcdr«4^\gSb|XNrUXNwc] j ]GV`c³XxV_h:XwcdVvegSv4] j ¦W]\¬c^ ]\vcXÐ_ j wc]GgI;df] j v j _;_hËVG¢

±:d

j

VpXG¦t]

j

]G^\gSr:XNwc]nW] «4bcd³XNdr_|b _SXNwc]

# ' %

_SXY_ghbeS`egSS]GV

N

_S

_

j

ncV ,Vp]G] W}ZY ¦=nW]\«ebc]6n_|b2XYt_gSrveweghq=] XxV

N

bc_hXlbc]G^\]GVNVg

j

dfrUnWdfVËkY_SdfbEXG¢ ]\X.8

:

¢

±e_

j

!8M> N-f] X C c&c

C

q4]XNwc]`cbcd¥E`c][_Sbc_|dfn[_

j

vcwcdVp[#V`e^xwXweghX C FJ 8Ð_

j

=O C

gSben CFJ 8_hXwe]

j

dfV]S¢d`wc]Gb

8?

1

L C F1 JO

C N@!8 ? > N-Y YldfVtXwe]V] X_Sghf8t_

j

ncV

1

Oc¤drXw

j

]GVv4]6^XdfS]¤v

j

_hkY]6^Xdf_Sb4V C F1 Jdfb

C ¢ ¢4¢r¦k?ne! pY ? =

e#"Y8 ? = e! "lN

=

e"# pYE¢

uµsv

,

-Ð.-¹ , D

R?_ !8X??>iN-fY k^ ' C G! . _ $1Z 6 C 5& # #%_$ O+6

Z<6 '2#&%k''

$ 8jAFIefJ _K)#" AMNBe

K

#% [¨dr¬W]Gn2v j _WnW`e^ X '

%

' ' y<;9= F_"!$#F+'

J *!^#F^' JVJ ;t'q'

" ?!/. ^_ $1Z 6

:R6

XNwegX(Vweg

j

]_SberU2dfb|XN]

j

Xwe]sªDT4s¡+

j

gSvcweV N#

_h±:dfS`

j

]GVK]S¦Û}W¢

`we]VU;be^xw

j

_SbcdGghXdf_Sb_|bXNwc](Vpweg

j

]6n]GS]\bEXxV

(_

]\beV`

j

]GVXweghXdfb2ghb;UªDTes drb)oF$

J ]F

J¦

XNwc]lV]

j

S]

j

bc]GS]

j

ghb4Vp]

j

VgVp]6g

j

^xw

j

]G¥E`c]6VYXt

j

XNwegX]GS]Gb XNwc_S`eSw

ghben0 g j

]ªDTesVG¦?

Y ? Y[gIU ^ _|bEXNghdfb¯[¨_

j

]XNweghb _|bc]ªDTesl¢

fV_(bc_SX]Xw4gX

1 1 /*!$#Ð_

j1

O\*!$#2gSben

1 O\*!$#@¢:ª0dr¬Wdrbeghfcrdfbc]6g

j

d6gXdf_Sb4Vveghd

j

dV]

U;df]\ncVghffdrbc]6g j d6gXNdr_|beV_h@gv j _WnW`e^ X9.

8 ¹ E ¹ -Ë- ¹ , )

*!$#F+'

&

' J8B"!$#F+'

J "!$#F+' JG8 U"!$#F+'

J "!$#F+' J W

8 ¹æ¹;: ®¯] V;bc_ XNwegX@Ð_ j ghb;UaªDT4s ¦?"!$#F+'RJ@dfVKgSb]6¥E`cdrgSr]Gbe^ ]^\fg|VVG¦hwc]Gbe^ ]5"!$#F^'

'JnJ8

U"!$#F^'

J "!$#F+'JnJ$WdVdf[¨[]6nWdfghX]|¢

*!^#F^'

J "!$#F+'

J5/Y*!$#F+'

' '

JghVp_¨Ð_|rf_V

j

_|[XNwc]v

j

_Sv=]

j

Xdf]GV_S*!^#F^'RJ¦4q4]6^\gS`eVp]

'

( ' 8

y<;=

F%*!^#F^'

J *!$#7F^'

JBJ¢ _f] X

1 O *!^#F_ J¨ghben O

y<;=

F_"!$#F%

J

*!$#7F_ JBJKÐ_

j

Vp_|[¨] C O ' C _!78 >iN-¢ Eghdfbæ¦;`eVpdfbcXwc]v

j

_Sv=]

j

Xdf]GVt_h"!$#F+'RJ ¦c]NV;bc_ XNwegX

b8

y<;9=

F1 J¢ `we]

j

] Ð_

j

]S¦

1 O "!$#F%

J "!$#F% JqEUr]G[¨[g ] ËV]\](q=]\f_¢

)tµ )

"!$#F%

J "!$#F% J ' 0^_\U ; #% f'21_) O oK0+* $

8 ¹æ¹;: ] X 1 O *!^#F_

y<;= F1 J(ghb4n y<;= F1 2J(g j ]dfV_S[_ j vcwcd^h¦Xwc]Gb 1 oO *!^#F_

J "!$#F_pJ¢ ]\X 1 8 6 8988

6:8¢

± j _|[ ol] Y¢@}W¦ 1 q8-6

8988

6: ghb4n¯Xwc] j ]]\¬WdfVpXNVg2qcdkY]6^XNdr_|b-,x ??>iN

8898

N@#7YK ? > N

888

N #7YVp`4^xw

XNwegX 6 C 8 6

4/.

C10

¢ ±c_ j D 8 >iN- f] XK|

H

8[?9! L >7 ![ #32 6 C O 6 H

Y¯gSbenx| H 8 ?9! L >T

!I #42N6

C

OT6

H

YE¦Xwc]Gb5, j ]6VYX j d^XxVghb4n ^ _h¡j ]GVpX j df^ XNVXN_ qcdkY]G^XNdr_|beV6, H |

H | H

¦wc]Gbe^ ]