Online Abstraction of Distributed Executions

(1)

HAL Id: inria-00070282

https://hal.inria.fr/inria-00070282

Submitted on 19 May 2006

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

Online Abstraction of Distributed Executions

Thomas Gazagnaire, Loïc Hélouët, Claude Jard

To cite this version:

Thomas Gazagnaire, Loïc Hélouët, Claude Jard. Online Abstraction of Distributed Executions. [Re- search Report] RR-5736, INRIA. 2005, pp.28. �inria-00070282�

(2)

ISRN INRIA/RR--5736--FR+ENG

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

Online Abstraction of Distributed Executions

Thomas Gazagnaire, Loïc Hélouët, Claude Jard

N˚5736

Octobre 2005

Systèmes communicants

(3)

(4)

-+./103254$67258925:5;<25=?>A@9BDCEF/HGJI7KLNM?/1OPNQSRTCVUWM?25OX@ZY12H>[X<\

]9^`_badcegfA_&hiDegekjmlonphAqrlsad_

tu irvbfa&wxny_ba u npz5{|iDe

} qD~m~5i u a&mf u f[hJmf u hJmflksNSNh!adiDz u frDsDW~oqrNfA_

$ASmDD

mny_

u

fA~Hi

u

aW~

u

iD~5iN_fA_kqDliDlm?pn lofhiDeg~

u

fA_d_¡npiDlqD Ni

u

n¢adme¤£¥i

u

mnp_¡a

u

n zoj`af[f¦9

f[hj`adn iNlo_A§©¨ªl©f¦`fAhjmanpiDl©np_+`f[hiNeW~5iN_fA3nplNadi«qraiNeWnyh#hiNeWe¬jmlmnyhqranpiDl©~oqSaaf

u

lo_A§3V®DflsaJ_+q

u f

h jH_badf

u

fA¯adiDDfamf

u

qNhhi

u

mn lm7aiamf£¥iDp iS°&nplm7~5iDpnyh^1±+aofnplmn anyqr,~oq

u

anyqr,i

u

`f

u

_ba

u

jHh!aj

u

fnp_

~ u f[_¡f

u

®NfA²1qrlo7®TqD ny7N iNzoqr_baJqSadfA_q

u

f¬`fafAhaf[7nplZi

u

`f

u

adi´³oloqhiDmf

u

fAlsaªDpiDzoqD_¡adqraf¬n¢£|q

_n af&£µqDn y_§ °|i®Nf u _¡npiDlo_iD£1amfªqD Ni u n¢adme¶oqT®Nf&zHfAfl´`fA®DfA iN~Hf[§ of&³ u _baV®Nf u _¡npiDlWny_iDlo nplmfFqrlH

hflsa u qrpnp·fAqrlH¸`i9fA_&lmiDax`fA~HfAlo#iDl¸f¦9f[hj`adn iNl#i u `f u iD£<qDl9^hiNlohj uu flsa&f®Nflsad_A§|¹¸i u fAiS®Df u ²9n £

h jH_badf u _Vq u f&z5iDjmlomfA+npl$_n ·AfD²radmfªegfAeWi u ^g_n ·AfFlmff[`fA+£¥i u npl`³olon¢adfªf¦`f[hj`adn iNlo_ny_VqDp_iz5iDjmlomfA§

of_fAhiDloº®Nf u _¡npiDl»np_g`ny_ba u npzmj`adfA©qrlo»np_g`iNlmf$z9^º~mnpDN^9zoqDhJ¼9nplmZ_jmzo_fagir£x_n¢adfA_W¼9lmiS°&pfA`Nf

nplsaiegfA_d_qDDfA_A±&jmlomf u hf u aJqrnplhiNlo`n anpiDlo_A²_n ·Af¬iD£V~mnpDD^9zoqNhJ¼Df[#eWf[__dqrNfA_xnp_z5iDjmlH`fAqrloZamf

qD Ni u n¢admehqDlz5ff½1fAhanp®DfA ^n eg~mpfegflsadfA§

¾¸¿sÀ1ÁdÂkÃ

SÄD qDzo_¡a

u

qDh!adn iNl²mhiNeg~

u

f[__npiDl²9iDlo nplmf`ny_ba

u

npzmj`adfA#qrpDi

u

n ame

ÅyÆÇÈÊÉAËÌÇ&ÍÎpÈÊÏ?ÐÑ

ÒÓ¥ÔÓµÕAÖ¯×|ÔØbÙTÙTØbÚ|Û!ÜAÝ?ÞTß!àFáJÚ¡âãáJä¡áJã!ÙSáJåçæèØéåçæµåçÚÊá[âê æ

ë

Ó¥ÔÓµÕAÖ¯×VÓ¥ì ÔÓíÖVÜSîçß!åçï!âÞTØbîçß!ðTØñÝñéåçæµåçÚÊá[âê æ

ò

Ó¥ÔÓµÕAÖ¯×|óHìÕôáJïÊÞTáJÙsÜSïbîõáJðTöTØ!â÷èáJæèöréåçæµåçÚÊá[âê æ

Unité de recherche INRIA Rennes

(5)

{|fF`i`hjmegflsa~ u _flsadf,jolmf&e aoi9mfF`f&hiDeg~ u fA_d_n iNl¬~5iDj u mfA_a u qNhfA_f¦ hj`adn iNl

mnp_¡a u n zoj fN§f¦ hj`adn iNlfA_¡a hiNeW~5iN_ fVflegiradn¢£µ_ lmfÌhiNjm~oqrlsa~HqD_mf|egfA_d_dqrDf[_²sjmn9hiDlH_¡f u ®Nflsa

yq´_¡a u joh!adj u f¬i u u f~oq u anpfn lon¢adnpqD fN²Hfasjmn~Hf u egfaafAlNa`f ufa u iDjm®Nf u jml adqraxDpiDzHqr hiD AufAlsa

fAlZhqN_ª`fW~oqDlmlmf¬jml`fA__¡n af[_§wxfj`¦¸®Df u _npiDlo_Fmf¬qD Ni u n¢admegfk_iDlsaª~ u _flsa fA_A§xwjolmfk~oq ua

jolmfk®Nf u _¡npiDl¸hfAlsa u qrpnp_ f£¥iNloh!adn iNlmloqrlsa´pq$®DiD f+±ÌqDzo_¡au qDh!adn iNl7hiNlo_ba u jon¢adffA_¡aªjmlmn sjmfD²h!f[_ba

mnu f"sjfp fFlofx ~HfAlo+~oqN_V`fFi u u fFf¦ hj`adn iNl´`fA_|f® lmfAegflsad_hiDlohj udu fAlNaJ_§wªfx~mpjo_²s~5iDj u

mfA_f¦ hj`anpiDlH_ªnpl`³olmnpfA_A²yq+aJqrnp pf¬l hf[__dqrnu fpq u# qrpnp_dqSadn iNlZ`fW$qrpDi un amegf¬fA_¡az5i u l fW u&% hf

gnp`fAlsan ³HhqranpiDl'+yqg®DiN f`f~ u ³m¦`f[_"sjmnlofk_¡f u iNlsa<v¡qre+qrny_&egi``n¢³ _ªoqrlo_&pf£¥jmaj u §&w(qrj`a u f

~Hq u ajmlmf®Df u _n iNl `ny_ba unpzmj fsjmnx£¥iDlohanpiDlmlof~oq u f[_baJqreg~mnp yqrNf`f[_$egfA_d_dqrDf[_$`f$f¦ hj`adn iNl

iNzo_f u ® f±_¡iNjo_hf u aJqrnplmfWhiDlsa u qrnplsaf[__¡a u johaj u fp f[_² f[_hiDeg~5f¦`n a _adfeg~5i u fp fgfa_~oqSadnpqD f+`f

hfaFqrpDi

u

n aoeWf_iDlsa&zHi

u l

fA_,faF$qrpDi

u

n amegffA_¡aF`iDlHh

u

fA pfegfAlNaFnpeg~m

egflsadqDzmpfD§

) Ã [ Á !* qDzo_¡a u qDh!adn iNl²`hiNeW~ uf[__n iNl²`qrpDi un amegf[_+Wyqg®DiN fxfaª`np_¡au npzmj _

(6)

0 kk&k

132$4

A Ã Är65Ã 4 7

8:9<;

¿ ! =5Ã 4

>@?m[65µ * Ã SÄ ¿ S+

4

Ä*`ASmD=5Ã 4 A

m§CB V®Dflsa<D u qr~m §§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§

m§ ¨ªzo_¡a u qDh!a& u qD~m §§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§

EGF

¿ 4

S *5H ¿ Ä*`ASmr65Ã 4 *I Ã .5¥=J

1%8

7LK

5µA.5¥ ¿ Ä *I Ã .5µ=J

1M7

N §CB t q u qD pfhiDeg~His_¡n anpiDl§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§OB N

N § i`hqrqDloDpiDzoqDhiDof

u

flohf §§§§§§§§§§§§§§§§§§§§§§§§§§§§OBS

N § P,iNjmlom_ §§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§§

N

ALF Ã 4 *=5Ã 4 8Q

(7)

¬+%"V

¨ªzo_¡a u qDh!adn iNl7ny_ªiD£íafl«q´¼Nf^s?~5iDnplsaF£¥i u aofWqDloqrp^`_¡ny_ªqDlo¸jmlomf u _baJqrlo`nplmir£|`ny_¡a u n zmjmafAZ_¡^`_¡afe+_

f¦`fAhjmanpiDlo_A§Êa¬e+qT^¯_¡f u ®Nfgab°|iZiDz`vbf[h!anp®Df[_±Wadmf´³ u _¡akiDlmfnp_ai¼DffA~ºn l3q u fA_¡a u nphafA¯®9ny_¡npiDlºiD£

q¯_^`_badfe f¦9f[hj`adn iNl»admf¸iDlo ^npl`£¥i u e+qSadn iNl»lmfAfA`f[3ai¯®Sqrpnpmqraf¸q«~ u iD~5f u ab^i u f¦`mnpzmn a+£µqrjm ab^

z5fHqT®snpi u _Ì_¡jHhJ#qN_ u qDhf[_ÌiDl¸_oq u fA®Sq u npqDzm f[_§ of_¡f[hiDlHiNz`vbfAhanp®Dfny_&ai+f¦`~m iNn¢a u fAmjmlomqDloh^

adi´hiNeW~ uf[__Ìf¦9f[hj`adn iNlo_A²mmflHhf u fA`john lo¬admfegfegi u ^´loffAmfAai$_¡ai u fi u _badjo`^$f¦`fAhjmanpiDlo_&iD£

qW~ u iD u qDe#§

]9i´£µq u ²mekjohJ7qra¡adflsanpiDl¸oqN_&z5ffl¸~Hqrnyai´hiNeg~ uf[__npiDl#qrlo¸qDzo_ba u qNh!adn iNliD£<_fsjmfAlsanyqr~ u ir

u qDe+_Ìf¦`fAhj`anpiDlo_A²mzmjmax®Df u ^$ n a¡ad f¬°|i u ¼$qNm u fA_d_¡f[_,amfk~ u iNzmpfe iD£qrzo_¡a u qDhanpiDl£¥i u mnp_¡a u n zoj`af[

_^`_badfe+_A§ª~

u

iD~5iN_fA_+qDl*qDmqD~`adqranpiDlir£k]9

} BAqrlo©iD£xadmf tt

õx£¥i

u

~Hq

u

qr

pf&~

u

iN

u

qre+_ghiDege¬jmlmnyhqSadn lo®9nyqº_¡oq

u

f[®Sq

u

nyqrzmpfA_A§

}

iDjmNmp^»_¡~5fAqD¼9n lmH²admf¸f¦`fAhj`anpiDlH_+q

u f

~Hq

u

an anpiDlmf[¬nplsaik_¡a

u

nplmN_<iD£f®DfAlsad_<f¦9f[hj`adfAgz9^¬amfª_dqregf&~

u

i`hf[__A§ ofA_fF_ba

u

nplmN_Vq

u

fÌamfAl$hiNe¬

~ u

f[__fA§ CB!|~

u

iN~His_¡f[__¡fA®Df

u

qDqD~m~

u

iNqNhJmfA_xai7hiDeg~

u

fA_d_~oq

u

anyqrpp^7i

u

`f

u

fA«_¡a

u

n lms_§ mf+e+qrnpl

ny`f[q$ny_ai#hiNlo_¡ny`f

u

qyqrz5fpfAZ~oq

u

anyqri

u

`f

u

qN_q_¡a

u

n lo#"»°&n¢ad¯qhiNegekj`aJqSanpiDl

u

fApqranpiDl%$o§&"

qDlo'$+mf³olmfqDl$fsjmnp®SqrpflohfhyqD_d_"(ir£_ba unplmN_|adoqSaFq u ffsjmnp®TqD fAlsa|adi)"Zjm~ai+hiNeWe¬j`adqranpiDl§

of&np`f[qzHfAmn lHkadmfFqrpDi u n aoeg_iD£*B+ony_ai~ u iS®9ny`f,qhiDeg~ u fA_d_¡npiDl¬egfAhJoqDlmnp_e-,$_johJWaoqra<amf

mfAhiNeg~ u f[__fA_ba u nplm.,0/2134,536"8797):"(ñ§$¨ªzo_¡a u qDh!adn iNliD£,~Hq u qrp fA<~ u iN u qre f¦9f[hj`adn iNlo_ u qrny_¡f[_q

lof°~ u iDzmpfe aoqra|`i9fA_VlmiraVf¦`np_¡a<£¥i u _¡f Njoflsanyqrm~ u iN u qre+_±amfªhiDeg~ u fA_d_¡npiDl u qSafÌ£¥i u qDlWiNlmpn lmf

qD Ni u n¢admepn ¼Nf´]9; } `f~5flHm_iNladmf+i u `f u ir£ÌiDzo_f u ®SqSanpiDl«ir£Ìf®Nflsad_A±ab°,if sjmn ®SqD fAlNa

_¡a u nplmN_,e+qT^´oqT®Nfmn¢½1f u flsaFhiNeW~ u f[__n iNl u qSadfA_A²mqrloqg`n¢½1f u flsaªhiDeg~ u fA_d_¡f[ u f~ u fA_flsadqranpiDl§

«fÌ~ u iN~His_¡f,qxmnp_¡a u n zoj`af[iDlo nplmf&qrpDi u n ame adoqSa<hiNeW~oj`af[_qDlkjmlonsjmf&qrzH_ba u qNh!anpiDliD£Hf¦9f[hj`

adn iNlo_£¥i u `np_¡a u npzmj`af[k_^`_badfe+_ hiDegekjolmnphAqSadn lmx®9npqxqD_^slHhJ u iNlmiDjH_egfA_d_qDDfA_A§ mf,e+qrnplny`fAqxnp_ai

mfAhiNeg~His_¡fÌadmfFf¦`f[hjàdn iNl+iDlgaof=<o^Wn lsai¬_¡e+qrpH_jmzo_fa|ir£f®Nflsad_A²NhAqrp f[WqraiNeg_A²D°&n aoiDjàÌhjàdn lm

egf[__dqrNfA_A§

mfA_fÌqSaiNe+_mf³olmf&qxlmf°©qrp~moqDzHfaA²DqDloadmf&`np_¡a

u

npzmj`af[kf¦`fAhjmanpiDlkny_<qrzH_ba

u

qNh!af[ai

qWyqrz5fpfA~oq

u

anyqri

u

mf

u

iS®Df

u

admny_Fqrp~moqDzHfaA§|{|iDeg~

u

fA_d_n iNlhiNegfA_|£

u

iNeadmf

u

f[`jmlooqrloh^+°&n¢admn l

_fNegflsad_Vir£f¦`f[hj`adn iNl§<¨Fl´nplsaf

u

fA_¡anplm~

u

iN~Hf

u

ab^Wir£admfxqDzo_ba

u

qNh!adn iNl+np_VaoqraVadmfmfAhiNeg~

u

f[__npiDl

iD£Fqrl9^~

u

f³m¦«iD£&amf$~oq

u

anyqr|i

u

`f

u

ny_Wq7`ny_ba

u

npzmj`adfAhiDlsa

u

iD~5iDnplsa>?Ìir£Ìamff¦`fAhj`anpiDlA@µnè§fq

N iNzoqr_baJqSadf¬°&n amiNj`aeWf[__dqrNfA_&npl7a u qDlo_n¢a!B!§DCFiDafWmiS°|fA®Df u aoqraxadmny_qDzo_¡a u qDh!adn iNl¸iDlmp^¸qr~m~o npfA_

°&ofl«amf´_^`_badfe _hiDlHhf~manpiDl¯flo_j u fA_xaHqSa¬_johJ¯hiDlsa u iN~5iDnplsad_qD~m~5fAq u £u iDeanpeWf´aianpegfD±

£¥i u _¡johJhqD_fA_A²1aofWqraiDeqD ~ooqrz5fair£|qDl9^¸f¦`fAhj`anpiDlnp_x³olmn af+qDloZq_¡^`_¡afAe egqT^#lmiDaf¦`mnpzmn¢a

npl`³olon¢adfqSaiNe+_§

iz5ff+E´hnpflsaA²amf¸qrzH_ba u qNh!anpiDlqD Ni u n¢admeoqD_kai¯_dqSany_¡£¥^7e+qrnpl3h u n af u nyqm±Fnu _¡aA²n a+oqD_

adi¸zHf 54

r ¿ ¿ 4

A * §>Fmi u fAqNhJ«hiDeg~mj`aJqSadn iNl_badf~²°|f+°Ìqrlsaadi u f[`johfgadn egf$hiDeg~mpf¦`n ab^qrlH

u fjH_¡f°&oqraª°ÌqD_FqDu fAqN`^hAqryhjmyqSadfA#npl¸~ u f[hf[`flsax_¡afA~o_§ mfAl²5n¢aoqD_Ìadi´z5f Ä@5µA.5¥ ¿ Ä ²Hnè§fD§

f[qDhJ¸lmi``f¬°&n p hiDeg~mj`adfknplsaf u loqD u fA_jm¢aJ_xqDlo¸_flo¸n aªadi$iDamf u lmi``f[_§Foj u amf uegi u fD²H°|f¬°,qDlsa

adi u fA`johfádmf$jo_fíD£&amflmfab°,i u ¼hJoqDlmlmfAp_A²nè§fD§Zamf_¡np·fíD£Fn lm£¥i u egqranpiDlºf¦`hJHqrlmNfA¯qregiDlo

loi9mfA_A§ mf³Hloqr u f Njonu fegflsa&ny_&ai »`A J*6J ¿ Ã 4 5µDm=5Ã 4 `S6J@5¥ ¿ r ¿ ²5n?§fD§,°|f`i

loira|°Ìqrlsaadi¬qNm+lmfA°*eWf[__dqrNfA_<i u hiDegekjmlonphAqSanpiDlhJoqrlmlofy_<aikamfxiDzo_f u ®Df[g_¡^`_¡afe#²9zmj`a,iDlmp^

qNmqDm`n anpiDlHqrmqradq¬ai´qD

u

fAqN`^+f¦`ny_badn lmgegfA_d_dqrDf[_§

mf

u

f~5i

u

anp_i

u

sqrlmnp·f[kqD_ £¥iN piS°F_± _¡f[h!anpiDl+xn lsa

u

i``johfA_zoqN_¡nyhÌ`f³olon¢adn iNlo_iDlW~oq

u

anyqr`i

u

mf

u _

qDlo¯`ny_ba

u

npzmj`adfA«f¦`fAhj`anpiDlH_§]`fAh!adn iNl #~

u

iD~5iN_fA_qDl«nploh

u

fAeWfAlsadqr<zoj`a¬hfAlsa

u

qrpn ·AfA«qrpDi

u

n ame

(8)

£¥i

u

f¦`fAhjmanpiDlo_,`fAhiDeg~5iN_n¢adn iNl§]`fAh!adn iNl

N ~ u

iN~His_¡f[_Vq¬`np_¡a

u

npzmjàf[ńpeg~m fAegflsadqranpiDlíD£amny_ÌqrpDiD

u

n ame#§V]9f[h!anpiDl¸ghiNlohpjo`f[_|amny_&°,i

u

¼5§

')´&|"$ k#º%Ì% k

ofq

u

hJon¢adfAh!adj

u

fqN__jmegfAn laonp_&°,i

u

¼+ny_&q¬lofab°,i

u

¼+ir£lmi``fA_,adoqSaªhiDegekjolmnphAqSadfx®9nyqWqN_¡^9l`

hJ

u

iNlmiDjo_xegfA_d_qDDf[_§ mny__fair£|loi9mfA_hqDlz5fgegqD~m~5fAiS®Df

u

q_¡faiD£|nplNadfNf

u

_

N^§W¨

hiDegekjolmnphAqSadn iNlpn lo¼Zz5fab°,ffl«fAqNhJ~Hqrn

u

ir£Ìlmi``fA_`i9f[_lmiraloffAadif¦`np_¡aA§´¨_jm~5f

u

®9np_i

u

hiN¢

pfAhad_¬n lm£¥i u egqranpiDl¯£u iDe aoflmi``f[_kiD£&amflmfab°,i u ¼1²<qrloºzojmn ym_WiDlo nplmfqDl»qrzH_bau qNh!anpiDl¯iD£Famf

f¦`fAhjmanpiDl§FnpDj u f Bk_miS°F_Ìadmf¬q u hJon¢adfAh!adj u fir£q$_jm~5f u ®9np_fA#lmfab°|i u ¼ir£´loi9mfA_A§x{|iDegekjmlon¢

hAqSadn iNlZpn lm¼`_z5fab°,ffAllmi``f[_q u f u f~ u f[_¡fAlNadfA¸z9^Zq~myqrnplpnplmfD§ CFi``f[_hqrl¯qry_i_flsa u f[_¡jo¢aJ_xiD£

pi`hqDiDzo_f u ®SqSadn iNlo_ai7q7_jm~5f u ®9np_i u § mny_k_jm~5f u ®sny_i u ny_nplhJoq u DfWir£FhiNeg~mj`anplmZqDlºqrzo_¡a u qDha

u f~ u f[_¡fAlNaJqSadn iNl307,ir£admf u jmlmlmnplmgf¦`fAhj`anpiDl§ mf u jmlo_,ir£qg_¡^`_¡afe `np_¡a u npzmj`af[$iS®Nf u aonp_

¼9nploir£|lofab°,i u ¼#hAqrl«zHf u f~ u fA_flsadfAZqN_~oq u anyqri u `f u _A§ mf+qDzo_ba u qNh!adn iNl7egfAhJoqDlmnp_e¤`f³olmf[

of u fAqS£íadf u ~ u iS®sny`f[_|qWhisq u _¡fF u qDn l`fA_dh u n ~manpiDl$iD£ qrlf¦`fAhj`anpiDlqD_,qrli u `f u n lokir£ ~moqD_fA_|ir£ amf

jolo`f u p^snplm¬~ u iDai`hiNè§5Fmi u ~Hq u anyqr5i u `f u _²sqrzo_¡a u qDhanpiDl$hAqrl´z5f`f³olofA$qN_|q¬~oq uadn¢adn iNl²N~ u iS®9ny`n lo

q sjmiradn fAlsa~Hq u anyqri u `f u iDln eg~5i u adqDlNa~mHqD_fA_ir£|q u jml u qSadmf u adoqrl¯qrli u `f u n lo$iDl¯q_¡faiD£

fA®DfAlNaJ_§¨ ~5iN_d_n zmpf¬qDzo_¡a u qDh!adn iNl#np_xaihiNlo_¡ny`f u qSadiDe+_ 9² N Ê²1nè§fD§xaofW_e+qrp f[_bahiDege¬jmlmnyhqSadn iNl

h is_¡f[#_¡jmzH_¡fad_FiD£fA®DfAlNaJ_§&¨ªl¸i+n lofkqrzo_¡a

u

qDhanpiDl#qrpDi

u

n amehqD pfA#qSadiDegnyh`fAhiDeg~5iN_n¢adn iNl°ÌqD_

~ u

iN~His_¡f[+n l%çÊ§ ñl$admnp_

u

f~5i

u

aA²9°,fx~

u

iN~His_¡fqrliDlmpn lofD²m`ny_ba

u

npzmj`adfAqrlonploh

u

fegflsaJqrqr~m~

u

isqDhJ

iD£admnp_ªqrzo_¡a

u

qDhanpiDl§

"!#"$&%('*),+.-

«fF°&np 1hiNlo_np`f u qrl+npl`³olon¢adfª_¡fa|iD£1fA®DfAlNaJ_`fAlmiradfAgz9^

EâdoqSa û^fA~ û f[_¡fAlsad_qD ohiDeg~mjàJqSadn iNl´_badf~o_

adoqSa+hqDl3i`hAhj u iDl3lmi``fA_giD£xqZlofab°,i u ¼5§¨ªl3fA®DfAlNagny_¬fAn¢admf u qDl3nplsaf u loqD,qNh!anpiDl²VqZegf[__dqrNf

fAegnp_d_¡npiDl«i uufAhf~`adn iNl²f¦9f[hj`adfAz9^Zq¸_¡nplmN fglmi``fN§ onp_ny_egi``fpfA«°&n aºqab^s~on lm£¥jmlHh!anpiDl

/10 E 2436587897;:=<

aoqraWqN__i`hnyqSaf[_q¸ab^9~5f @µn lsaf u lHqr?²fAegnp_d_¡npiDl² u f[hf~manpiDl BadiZf[qDhJºf®NflsaA§ f

mflmiDafzs^

E^> ^² E^? ^qrlo E^@ ^admf¸hi ^uu fA_~HiNlo`nplmZ_jmzo_faJ_¬iD£

E§©]`n egnppq u p^D²°,fmf³olmf¸q i`hAqrpn¢ab^

£¥joloh!adn iNlA

0 E² ^{B C}oadoqSaÌqD_d_¡i`hnpqrafA_Vq_¡~5fAhn¢³5hª_n¢adfªl9jmekz5f

u

ai¬fAqDhJ+fA®DfAlNa[§<{|iNegekjmlmnyhqranpiDlo_

q u

f¸`f³olmf[*qD_+qD_^9lohJ

u

iDlmiNjo_WegfA_d_qDDfA_A²adoqSa´ny_gadmf^q

u

f¸`f³olofA*qD_g~Hqrn

u

_giD£fAegnp_d_¡npiDlqrlH

u

fAhf~`adn iNl»fA®DflsaJ_§ Foj

u

admf

u

egi

u

fD²°,f#_¡jm~o~His_¡faoqragamf

u

fnp_+qDl»jmlonsjmf¸_n NloqSadj

u

fnpmflsan £¥^9n lm

f[qDhJ¯egfA_d_qDDf+_flsakiDl¯admf´lmfab°|i u ¼1§¸]9io²°,f$`f³Hlmf$q£¥jmlohanpiDlED

0 E^? ² E^@ adoqSaW~oqrnu _amf fAegnp_d_¡npiDlqrlo$aof u fAhf~`adn iNl$iD£qWegfA_d_qDDfªnpl

E^§FD np_,adiradqDqrlozmnvbfAh!adn ®NfD²mqDlo´£¥i u qrl#q u zmn¢a u q u ^ _faG iD£fA®DflsaJ_²|amf#£¥joloh!adn iNlHD ~oqrnu n lm¯fAeWny_d_¡npiDlo_+qDlo u f[hfA~`anpiDlo_giD£IG ny_+jmlmn sjmfD§F u iDe

loiS° iDl² °,f+°&n p|hiDlo_ny`f u adoqSaadmf N ?ajo~m f3

E⁷ ^A ⁷ ^/ ⁷ ^D 7ny_qrp°ÌqT^9_`f³olmf[§¹7i u fiS®Df u ²°,f+°&np _dqT^¯aHqSa$qrl©f®Nflsa´_¡faGJ

E ^ny_ ^Ã ⁴ ^5µN`=5^Ã ⁴ ^!*^Ã ^¿ ^Ä ^n¢£KD ^3LGNM E^? ^7POQGNM E^@ ^qrlH

D /21 3LG&M

E^@ ^7ORG&M E^? ^§

¨ `fA_dh u np~ànpiDlíD£qk_^`_badfe f¦`f[hjàdn iNlńp_|jo_joqrpp^WNn ®Nfl´loira|iNlmp^Wnpládf u e+_ViD£ _¡jozo_¡fa|iD£

E^zmj`a

qDp_in l«af u e+_iD£ÌhAqrjo_dqr<~ u fAhfA`fAlohfgqregiNlmamf+fA®DflsaJ_§+¨Fl ¿=SH¿

4 IHS%? J np_q#~Hq u anyqri u `f u

UT3LG

76V

7!²9°&n aGW

E^qrlo ^V XGZY1G+²9_¡johJ´aoqra

V

ny_ u f+<of¦`n ®NfD²Na u qrlo_n¢adn ®NfD²9qrlsany_^segegfa u nyhr²

qDlo_qrany_b³of[_,amfab°,iW£¥iDp iS°&nplmgqS¦`npiDe+_±

(9)

"!$#&%

F npDj u f BD±¨ u hJon¢adfAh!adj u fiD£admfqrzo_¡a u qDhanpiDleWf[hJoqrlonp_e

(10)

4 Ã ¿

*

Á Ã 4

! T

¿ 4 À

£¥i

u

qrpN²: G´²A93 7.TWA 37IT

V

s§¬n?§fD§´qrp<f®Nflsad_

f¦`fAhj`af[iDl#q¬loi9mfq

u

fhiDeg~oq

u

qrzo fN§

¿ A[ I ¿ N A *5¥À £¥i u qrps²): G+²Fn £ T D 37Waofl

V

¥§-Ê£ A93 7T A937+qrlH

V ²9admflamf u ff¦9ny_¡ad_&qW_¡f Njoflohf 3

>? 7 >@

7

>

1 !" #

z5fpiDloDnplmkadi 3

E^? ^Y E^@ 7$"W_johJ$adoqSa D%3

>? 7 T%

>@

²FA93

>@ 7 T A93

>'&

1

?

7²<qrlo(

V 1? V 1@ V )

?

V "@ V

* ñlºiDamf

u

°,i

u

m_A²n £

ab°|i¬f®Nflsad_V i`hqraf[+iDl`n¢½1f

u

flsa,lmi``fA_

7

5q

u

fxhiDeg~oq

u

qrzo fN²raofl´admf

u

fªny_,qk_fsjmflHhfªiD£

egfA_d_qDDfA_|£u iDe ai 1adoqSaFnpeg~His_¡f[_,amny_FhAqrjo_dqr1~ u fAhfA`fAlohfN§

+ f u îr£íafAl¯n lº`ny_ba u npzmjàdfA¯_^9_¡afAe+_² °|fgjo_fgamf´qNm`n anpiDloqDVqD_d_jmeg~ànpiDlaoqraegfA_d_qDDfA_iNl

admfF_dqregf&hJoqrlmlofm`ilmiDaiS®Df u adqD¼DfN±5n £D%3

1 7 T,

1

²D 3

)

7"T-

)

²CA 3

1

7"T&A93

)

7!²sqrloA93

1 7 T&A 3 ) 7

admfl

1 V )/.

1 V

) § mny_ªqN__jmeg~`adn iNlny_Floiraªf[__flsanyqrn l7iNj u £u qregf°,i u ¼1§ CªirafkmiS°|fA®Df u

adoqSa°&ofl¬amny_<~ u iD~5f u ab^miNpm_A²regfA_d_dqrDf,fegny__npiDlo_<qDlo u fAhf~`adn iNlo_<hqDl¬z5f&~oqDnu fA¬°&n¢admiDjmalmff[

£¥i u qWjmlmn NjofeWf[__dqrNf_npDloqraj u fD§

fa T-3 G 7 V

7z5fFqrlgfA®Dflsa< u qr~o§ mf ?mA ir£qrlWf®NflsaFny_`floiraf[kz9^1032'3 7qrloWny_amf

mfA_dhflH`n loghiDlmf£u iDe%N²onè§fD§042>3 7"T

3

8:G657

V <

§V]9npegn yq u ^N²m°,fhAqrl¸`f³olmfaof ¿

iD£ qrl$f®DfAlsa8z9^:932>37 T 3 : G65;

V < § fa,jo_Ì`fAlmiradfxz9^1G

> T 3 : G65 A 37 T 5 < § ofl²

,T 3LG<

76V

7xny_q ? ¿4= ; @u f[_¡~§q ?> ; Bxir£3n £|qrlHZiNlm ^#n £GO G 7 V T V

M,G,YPG<qrlH

0 2 3LG7T G@u fA_~§@9 2 3LG<7T GB§=F nploqD p^$°,f°&np `flmiDafz9^DBA4C

>

3*7@u fA_~§D

5 >

3L*79B&amf

» ; 5

@u fA_~§

54 5$ ¿=S5¿ 4 Ã 4 4 Ã Ä ¿ 5

²1n?§fN§.DBA4C

>

3*7 T DBA4C

3

: GD5UA937 T 5 <

@u

f[_¡~§ D 5 >

3L*7"T&D

5 3 :G65A93 7FT 5 <

B!§

fa"UT3LG

76V

7qrlo?T 3G

76V

7<zHf&ab°,if®Nflsa

u

qr~mH_§

mf

¿FE ¿ 4 =5µ * Ã ? Ã 65¥65 Ã 4 iD£

ºqDlo ?ny_F`floiraf[zs^HG?qDlo$ny_Ìadmff®NflsaF

u

qr~m± IT 3G-JG<

7 3 V J V KJ

VML

J

VN 7PO7!²

°&of

u

fD±

Q V LT 3 3DBA4C

>

3*7

7 D 5 >

3?7 < >

1 !R#

§ mnp_ u fApqranpiDlnp_&_j E´hnpflsa&ai+qT®NiDny$_f £íÊhiDlohj uu flHh^D§

Q V N T 3 3

7D 37975 3 :G M

E^??S ^{D%3 7:G}^7T.3 ^:G ^M E^?S ^D ^37:G7 ^< ^§ ^mny_ ^u fyqSadn iNl zmjmnppo_Ìamfjolmnsjmfegf[__dqrNf u fyqSadn iNlz5fab°,ffAlfA®DflsaJ_Ìir£ *qDlo §

«f°&npp_dqT^»adoqSa¸q»_fsjmfAlsanyqrxhiDeg~5iN_n¢adn iNl*zHfab°|fAfl 1 qrloH

)

np_ Âk¿ **Á Ä ¿3=

4 ¿ Ä n¢£ 1

qDlo )

oqT®Df´mnp_µvbiDnplsaf®DfAlsak_¡fad_kqDlo 1 G )

HqD_lmi7h^`hpf@íaonp_¬np_amf´jH_¡joqDVlmiDanpiDl¯ir£&°,fp¢

mf³olmf[+_¡f sjmflsanyqrHhiDeg~5iN_n¢adn iNlW£¥i u ~Hq u anyqr`i u `f u _adoqSa|np_Vjo_¡f[¬£¥i u f¦mqreg~mpfD²radiegf u DfF¹¸f[__dqrNf

]`fsjmflHhf{|Hq u ad_ B§ faÌjo_Ì`floirafxz9^

B^T ³ ^3LG ⁷ ^V ^O ^7M5 ^G ^:HU'3E⁷ ^S ^V ^OXG ^Y ^G ^< aof_faÌir£qD fA®DfAlNa& u qD~mo_ @VU'3

E7,np_Ìadmf_fa&ir£<qrp_¡jozo_¡fad_ÌiD£

E^B!§

¨ np_ªqW£¥jmloh!adn iNl#£u iNe

B^adi B ^Y B^±XW ^3*7T ³ ¹ ⁷ ⁾ 7&_johJaHqSa 1

ny_Fqg~ u f³m¦ir£F² ) np_

q$_¡j Eg¦#ir£F²G

1 M G ) TZYm²G 1

T[Ym²G )

TZYgqDloPG

1 J G ) T G´§=f¬°&n p `fAlmiradfkz9^

1

T[W

1

3*7

qDlo ) T6W

)

307!§.fhqrlºqDp_i¸`fAhiDeg~His_¡f´qDlºf®Nflsa

u

qr~m *nplNadiZq¸_fakiD£Ì_n loDpfaiNl¯

u

qr~mo_

3 33

<=7

Y 75\.:XG

<

°&n aºq³olmn af+l9jme¬zHf

u

ir£&_¡jHhhf[__np®Dfghj`aJ_ir£,amfg£¥i

u

e]W

1 7 6 ^W7_`a_

/81

² °&of

u f

f[qDhJbW

>

ny_WqD~m~mpn f[¯ai«q7lmiNlºa

u

np®snyqrÌhiNeg~HiNlmflsa¬iNz`adqDn lofAqr£íaf

u ~ u

fAhfA`nplmZhj`ad_A§ i«_¡npeg~m n £¥^

loiradqranpiDlo_A²m°,f°&n p`fAlmiradfz9^HWdc 3L*7FqDl¸qr~m~mpnyhqSadn iNliD£ae<f( _johhfA_d_¡np®Dfhj`ad_ÌadoqSax~oq

u

an anpiDlo_

nplsai:e´hiDeg~HiNlmflsaJ_8W c1 3*7

7W c) 3*7

7 6PW cc

3*7§|xzs®9npiDjo_p^D²9n¢£ °|f`floirafz9^g

>

admff®Nflsa,qD~m~Hf[q

u

n lo

npl¸_¡nplmN faiDlBW _`@_

>

3L*7!²T

1

6 ^4_`@_`ny_&q¬pnplmfAq

u

np·AqranpiDlir£V§

(11)

Ã ? Ã

=5µ=5

Ã 4 81

. . #%W G W(T $

B

$. . /&R :

B

UTW

1

3L*7?G8W

)

3*7

ÃÃ d

«f°Ìqrlsaadi_miS° aoqragG W T $

B

²<npfD§bG W 0

B

I

2 B ^Y B

2 B ny_kny`fAlNadn¢ab^N§faWjo_kloiraf W 1

307"T(

1

qrlHW

)

307"T(

) § «f°&np °,i u ¼+°&n aamfhiS®Df u nplm u fyqSadn iNl2$ir£amf~Hq u anyqr1i u `f u

V

@2 T 3

3

7

7:

V 5

@⁷ ^g^T- ^S ^T- ^S ^V ^V ^< B,qDlo#_¡miS° aoqra&amny_ u fyqSanpiDlny_Ìamf _dqregfnpl

1

G

)

qrlonpl §faÌjH_FhiNlo_¡ny`f u ab°,igf®Nflsad_MqDloB1n lG+§ °|i+hAqD_fA_,e+qT^$qr~m~5fAq u ±

Q

Fnu _ba[²mn £ 2<<±<n £ qDloq u fxnplamf_dqregfhiNeW~5iDloflsa

5

qS£íadf u aofhj`a[²`amfAl 2 µ²

qrlo#qN_/GW`iglmira u fegiS®DfhqDjo_dqrpn¢ab^g2!

2"Mè§ Ê£ admf^q u flmiraFnplamf_dqregfhiNeW~5iDloflsaA²

amfA^Z°,f u f¬fAn¢admf u iDlamf´_dqregfWn lo_¡adqDlohf+i u amfA^Z°,f u fW_f~oq u qraf[7z9^ZqegfA_d_qDDfD§g¨FlH(G

qDmo_,amfNisi`hqDjo_qD n ab^´°,f°,qDlNa @µn fN§

VN qrlo

VML B!§

Q

]9fAhiDlo²Nn £ 2 µ²F:2 oz5fAhAqrjo_f&admfxhj`a,`i9f[_VlmiDa,qNm+hqDjo_qD n anpfA_A§

mfl²`qN_a 2 µ²

+qrlo q

u

f¬lmira

u

f[_¡~5fAhanp®DfA ^aof¬fAeWny_d_¡npiDlZqDlo¸admf

u

f[hf~manpiDl7iD£|q´egfA_d_dqrDfN²_¡i

VN

`i

lmirakhiDlsadqDn lH_ 3

7

7i

u

3

7

7!§]9n egnppq

u

p^D² n¢£A93 7IT A937!²qD_ 2 <amfAladmf

u

f+ny_q

_¡jHhJadoqSa A37KT A 37!² #2 Vqrlo V µ§Foj

u

admf

u

egi

u

fD²?: 1 i u

: )

§$]9io²

3

7 7:

VML

§ 9jo_A²:2!

2"8 §

mny_~ u iD~5f u ab^#eWf[qrlo_adoqSa_fsjmflsadnpqDhiDeg~5iN_n¢adn iNlhqDlz5fgjo_fA¸adi u fAzmjmnpp7amf+hjmafA®DfAlNa

u qD~mo_A§ ]9iH²Sn¢£5°|f|jo_¡fÌhjmad_ ai`fAhiDeg~5iN_f,qªDpiDzoqDs_^`_badfef¦`f[hj`adn iNlknplNadi_e+qrp f u ~Hq u ad_ai_badjo`^

admfe _¡fA~oq u qSadfp^D²1°|fghqDlqD °ÌqT^`_ u fzmjon y¸admfgn lmn anyqr<f¦`fAhjmanpiDlZjH_¡nplm#_¡f Njoflsanyqr<hiNeg~His_¡n anpiDl§

onp_&qD piS°F_,jo_ÌaiW£¥i`hjH_Ì³ u _ba&iDl¸_jmzo_faJ_Ìir£ N iNzoqr1a u qNhf[_|z5f£¥i u fqN__fe¬zm nplmWaofe#§

$&%('C$ ' )*) $,+ '*),+ -

fa"UT3LG

76V

7<z5fªqrl+fA®DfAlNa| u qr~m§0«fF°,qDlsaaizojmn y´qDl´qrzo_¡a u qDhanpiDlgir£ ZhAqrp f[WqDl `ATor

IHS%? J ²n?§fD§~oq u adn¢adn iNlUG n lsai#_jmzo_fad_iD£Vf®Nflsad_ u iDjo~Hf[7qDhAhi u `nplm´adiqDnp®DfAl7~ u iD~5f uab^D²qrlH

³Hlo¬qDl¬i u mf u n lmqregiNlmªadmfA_f&_¡jozo_¡fad_A§¹7i u fV£¥i u e+qrpp^D²T£¥i u qDl¬fA®DfAlNa u qr~o ¸qrloWqxfsjmnp®TqD fAlohf

u fyqSadn iNl.- 2 qDegiDlmf®Nflsad_ ir£ ²r°,f,q u f, i9iN¼snplmª£¥i u amf sjmiDanpflsa< u qr~m */- 2 § mf,qDzo_¡a u qDh!adn iNl

~ uiN~His_¡f[Znpl«amny_~oqD~Hf u np_kqSaiNegnph+`f[hiNeW~5iN_n anpiDl±°,f´q u fg i9iD¼9nplm£¥i u admfg³olmf[_bakqDzo_¡a u qDh!adn iNl

°&onphJ$misf[_,lmira&_¡fA~oq u qSadfFfegny__npiDlo_,qrlo u f[hfA~`anpiDlo_|ir£q¬egfA_d_qDDfªqDlo´°&onphJ$mf³olmf[_ÌqrlqNh^`hpnyh

sjmiDanpflsaV u qD~m§ mfFfsjmnp®Sqrpflohf u fyqSanpiDlgadoqSaÌhJoq u qDhaf u np·f[_amfx~ u iN~Hf u adn f[_<ir£qraiNeWnyhF`f[hiNe¬

~5iN_n anpiDlnp_M!- 2

.

V1032

S

V1032

s²`°&mf ufN± C

V1032.4

n £<qrloiDlmp^´n £b± C

V54

i u CT&D%3

4 7

i

u7698

7 C V 0 2 8 V 0 2.4

§

VqNhJZhyqD_d_xir£<aofsjmiradn fAlsany_Fadmfkjolmn iNlqD fsjmnp®SqrpflsaxfA®DflsaJ_§

mfsjmiDanpflsaxi

u

`f

u

:/- 2

hiDeg~mj`adfA+ny_|a9jo_|ir£admfF£¥i

u e NT 3;

7=<

7²m°&n a>; q~oq

u

adn¢adn iNl´ir£ G+²9n fN§@? A :#;

7 3 :BA

S :

A 7 .

3!- 27ªqrlo

<

amf sjmiradn fAlNa

u

fApqranpiDl¸ir£

V

iS®Df

u

;§ ofkfpfegfAlNaJ_FiD£A;¶q

u

fir£íadfl7hAqrp f[

admf `

Ã

iD£§´¨ ~5iDp^9lmiDegnyqrqD Ni

u

n¢adme ai¸hiDeg~mj`adf´qSaiNe+_n lº¹¸f[__dqrNfg]9f sjmflohf{|oq

u

ad_

°ÌqD_,~ u iD~5iN_fAnpl%çÊ§