Towards Designing SVM Coherence Protocols Using High-level Specifications and Aspect-oriented Translations

HAL Id: inria-00072897

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

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Towards Designing SVM Coherence Protocols Using High-level Specifications and Aspect-oriented

Translations

David Mentré, Daniel Le Métayer, Thierry Priol

To cite this version:

David Mentré, Daniel Le Métayer, Thierry Priol. Towards Designing SVM Coherence Protocols Using High-level Specifications and Aspect-oriented Translations. [Research Report] RR-3765, INRIA. 1999.

�inria-00072897�

ISSN 0249-6399

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

Towards designing SVM coherence protocols using high-level specifications and

aspect-oriented translations

David Mentré, Daniel Le Métayer, Thierry Priol

N˚3765

Septembre 1999

THÈME 1

+',-(!.(/0#1324"&%5 6 0#78%9,-:% ;%<=(+&%

>4?A@=BDCFEFGIH0JLKLMON>?PHBDGIQSRG1ETMIJU?AVPGWKWNYX'ZB[GWK\K\V^]KLB[_`Q

a!b-c+dfefgihkjl\mne\oqpsrteumnvsmwuxc+dfe\m

yYzx{}|we+u~"€Sy"

jo}‚ƒ‚P{qznuS„sezneL…†bƒe+z†…†bƒe‡ ˆI‰WŠ}‹IŒhŽAe\‚sune\d ƒzxefg\Iq‘h6gL‰:‚Oo}’qeLm

“t”<•\–+—U˜ƒ™q–qš › e ‚-zn{I‚O{Wmœeouw"{}žŸmwu†o}’qeoq‚ƒ‚ƒzx{Ioq…†b ¡{qzSunbƒe „ƒe\mn¢£’I‡¤{} ¥o¦mœbOo}zxe\„§W¢¨znunp-oq©=dfe+df{qzxvqª

a!b-e«-z†mwuimwu†o}’qe ¢¨mio¦bƒ¢¨’qbƒžD©¨e+§Ie+©=‚-zn{qun{s…{I©=„se\mx…zx¢¨‚sun¢¨{q‡¬pOmœ¢¨‡ƒ’'uxbƒeWuxznpO…3unp-zneL„­&o}dfd'o' ¡{Iznd'o}©¨¢®mœd

b-¢¨…†b¢®mo}dfe+‡Oo}ƒ©¨efun{4 ¡{Iznd'o}©8§qe+zx¢£«O…+o}un¢¨{q‡-m\ª¦a!bƒe¦mne\…{I‡-„1¢¨m ounz†o}‡-mn©¨o}un¢¨{q‡1{} !unb-¢¨moq-mœunz†oq…3ux¢£{I‡

¢¨‡Wun{o}‡'oqpsun{Idfo}un{I‡:bƒ¢®…†bf…+o}‡fPeS„svA‡-o}df¢®…+oq©£©¨v©¨{Ioq„ƒe\„:¢£‡'oiznp-‡Iux¢£dfee\‡W§A¢¨zn{I‡ƒdfe+‡Wu<unb-o}uY‚ƒzn{U§A¢®„se\m

o4…+{q‡-…+e+‚su{} "’q©¨{q-oq©¥„s¢£zxe\…un{IznvIª:a!bƒ¢®m&unz†o}‡Omœ©®oUux¢£{I‡¢®m&-oqmne\„{q‡€mn‚OeL…3uœžœ¯°zx¢£e\‡Iuxe\„7yYzx{q’qz†o}dfdf¢¨‡ƒ’

b-¢¨…†b±d'o}²Ie\m&¢£u:‚P{Imxmœ¢¨ƒ©¨efun{mn‚Pe\…¢£ ¡v1¢£‡-„ƒe+‚Pe+‡-„se\‡Wun©¨v1„s¢£³`e+zxe+‡Wu:oqmn‚Pe\…3u†m{q "uxbƒe¦¢¨df‚ƒ©£e\dfe+‡Wuxo}un¢¨{q‡0ª

a!b-e&…+{qdf‚ƒ©¨euxemœvsmœune+d…+o}‡unbAp-mSOeeLoqmn¢£©¨v¦‚P{qznune\„{q‡4o‡ƒe+´e+‡A§A¢¨zn{I‡ƒdfe+‡Wu\ª

µ¤¶W·`¸x¹ º —U»<•qš Ab-o}zxe\„t¼¢¨zœuxp-o}©0½¬e+df{qzxv¬¾[A¼i½¿3ÀO…{qb-e+zxe+‡-…+e°‚ƒzx{}ux{s…{q©DÀsmœ‚Pe\…+¢Á«P…+oUux¢£{I‡0Àƒ­&o}dfd'oƒÀ

oImœ‚Pe\…uxm\ª

®Ã9ÄnÅÇÆ\È!ÄÉ<ʨÅÇËDÌÍ

Unité de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00

Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71

%= )8% w)$0#2"&% (w+ w=#78%

• š {Ip-mf‚ƒzx{q‚P{Imn{q‡-mpƒ‡ …+oI„szxe‚Pe+zxdfeuœu†o}‡Wut„se¬…+{q‡-…+e+§q{I¢£zf„seLm'dfl+df{q¢¨zneLm§W¢¨znunpƒe\©£©¨e\m

‚Oo}znuxo}’Il+eLm©o}¢®„se'„pƒ‡ƒe'mn‚OlL…¢£«O…+o}un¢¨{q‡7„ƒe‚-zn{qun{s…{I©£eLm°„se'…+{qbƒl\zne\‡-…eIª=o…{I‡-…e\‚sun¢¨{q‡me³`e\…unpƒe

e\‡ ‚ƒ©¨p-mœ¢¨e+p-zxm'‚-b-oqmne\m\ªo±‚ƒzxe+df¢¨c+zxe¤e\mœutpƒ‡ƒe„ƒe\mx…zx¢£‚sux¢£{I‡ „se¬b-oqpsut‡ƒ¢¨§qeLo}p „ƒo}‡Om¦pƒ‡ƒe§ oqzn¢®o}‡Wuxe

„ƒp4 ¡{qzxdfoq©£¢®mnde ­&oqdfdfo¦Aunzxp-…3uxpƒznl! Wpƒ¢‚Oe\zndfe+u°„e³`e\…3uxpƒe+zi…e\zœu†o}¢¨‡ƒe\m§Il+zx¢Á«P…+oUux¢£{I‡-m\ª"=o'mne\…+{q‡-„ƒe

…+{q‡-mn¢®mwuxe#¤uxzxoI„spƒ¢¨znet…+eununeoq-mœunz†oq…3ux¢£{I‡e+‡ oqpsun{Idfo}une…†b-o}zx’qeLo}ƒ©¨e'o}p mne+¢¨‡ „pƒ‡ e\‡W§A¢¨zn{I‡ƒ‡ƒe\de\‡Wu

„$e+rAlL…psux¢£{I‡ mnpƒ‚ƒ‚P{qznuxo}‡Wuf©£e4…{I‡-…e\‚su„ƒezxl+‚Pe+znun{I¢£zxet’I©£{I-o}©Dª ~euœuxetuxzxoI„sp-…un¢¨{q‡ eLmwufznlLo}©¨¢¨mnl+e‚-o}z

p-‡ƒeuneL…†bƒ‡ƒ¢% Wpƒe „se‚-zn{I’qz†o}dfd'oUun¢¨{q‡‚-o}z'&foqmn‚OeL…3u†m)(* Wpƒ¢=‚Pe+zxdfeui„ƒe mœ‚Pl\…+¢Á«Oe+zS¢¨‡-„sl\‚Oe\‡-„ƒo}dfdfe+‡Wu

…+e+znuxoq¢£‡ƒeLmt…\o}z†oq…3uxl+zx¢¨mœun¢% Wpƒe\m„se©®o/d¢®mnee+‡,+pƒ§Azne ¾…+{q‡Wunz.-q©¨e¬eu4zxe+‚ƒzxl\mne+‡Wuxo}un¢¨{q‡^„seLm„ƒ{q‡ƒ‡ƒl\e\m†¿3ª

/e\‡-mne+d -©£e„sp¤mnvAmœunc\dfei‚Pe+pƒuo}¢¨‡-mœ¢0+unzxe& oq…+¢£©¨e+dfe+‡Wu‚P{qznunl„ƒoq‡-m!pƒ‡4‡ƒ{qp-§qe+©`e\‡W§A¢¨zn{I‡ƒ‡ƒe\de\‡Wu\ª

1º –L• ¸ ™2 š ½¤l\df{q¢¨zne¼¢¨zœuxpƒe+©¨©£e4y¥o}znuxoq’ql\e¾35476ƒ¿3À‚ƒzx{}un{s…+{q©¨et„se4…{qb-l+zxe+‡-…+eqÀYmn‚OlL…¢£«O…+o}un¢¨{q‡0À

­&oqdfdfo-Àƒoqmn‚OeL…3u†m+ª

. /

:%=' )8%

0°¢®mwuxzn¢¨ƒpsuxe\„mœvsmœune\dfmdfoI„se'{} o}pƒun{q‡-{qdf{qp-mid'oq…†b-¢£‡ƒeLmb-o §A¢¨‡ƒ’4de\df{qzxvo}‡-„1‚ƒzx{s…eLmnmn{qz†m©¨¢¨‡ƒ²qeL„

Avo&‡ƒeuw"{qzx²o}zxe¢¨„ƒe+©¨v p-mne\„9ª21S{U"e+§Ie+zLÀ unbƒe\zne‚-zn{I’qz†o}dfdf¢£‡ƒ’i¢®m¥‡ƒ{}u"oimn¢¨d‚-©£eu†oqmn² oqmY{q‡ƒed:p-mwu

e+rs‚ƒ©£¢®…¢£un©¨v±„se\oq©¢£unb zneLmœ{Ipƒzx…+e¦„s¢®mwuxzn¢¨ƒpsux¢£{I‡0ª1a{¬eLoqmne'unbƒ¢®m‚ƒzx{q’qz†o}dfdf¢¨‡ƒ’-À=unbƒe¤Ab-oqzneL„¼¢¨zœuxp-o}©

½¬e+df{qzxv1¾DA¼°½7¿…+{q‡-…+e+‚subOoqm°Oe\e+‡¬‚ƒzx{q‚P{Imne\„Av 0¢o}‡-„31Sp-„ƒoq²54¨g#67Dªia!bƒ¢¨mi…{I‡-…e\‚su°{q³Pe\zxmSunbƒe

¢¨©¨©£p-mn¢¨{q‡t{q o’q©¨{q-oq©PoI„ƒ„szxe\mxmmn‚-oI…ei{U§qe+z"o:„ƒ¢¨mœunzx¢£-psuneL„oI„ƒ„szxe\mxmmn‚-oq…+eqª¥a{:¢¨df‚ƒzn{U§Ie‚Pe+zn ¡{qzxd'o}‡-…+e

{q mnp-…†bomœvsmœune\dÀsmne+§Ie+z†o}©O…+{q‚ƒ¢¨e\m"{q o ‚-¢£eL…ei{} „ƒo}uxoo}zxed'oq„ƒe°p-mn¢¨‡ƒ’…\oq…†bƒeLm+ªa!bƒe\zne+ ¡{qzxe°o…+oq…†b-e

…+{qbƒe\zne\‡-…ei‚ƒzx{}ux{A…+{q©`¢®m‡ƒe+eL„se\„ux{’Ip-o}z†o}‡Wuxe+e&o…+{qbƒe\zne\‡Wu"§A¢¨e+´{} =uxbƒemnvAmœune\d4ª

A¢¨‡-…+eSunb-eS«-z†mwu‚ƒzn{qun{s…{I©[ÀWmœe\§qe\zxoq©s{q‡ƒeLmYb-o §IeOe\e+‡¦‚ƒzx{q‚P{Imne\„©¨¢£²Ieunb-e©®o8+vzxe+©¨e\oqmneS…{I‡-mn¢¨mœune\‡-…v

4Š#78{Iz&unbƒe¦mx…{I‚Oe'…+{q‡-mn¢¨mœune\‡-…v94‹7Ǫ:1S{U"e+§Ie+zo‚ƒzx{}un{s…+{q©Yo}¢¨d'moUu{q‚ƒun¢¨d¢;8+¢¨‡ƒ’¬o©¨¢£df¢£une\„1z†o}‡ƒ’Ieo

oq‚ƒ‚ƒ©¨¢¨…\oUux¢£{I‡mnb-o}zx¢£‡-’:‚-o}uœuxe+zx‡-m+ª¥a!bƒe\zne+ ¡{qzxeio’Ie+‡ƒe\zxoq©P‚-pƒzn‚P{ImneA¼°½ d pOmwuS¢¨‡Wune+’Izxo}une&mœe\§qe\zxoq©O‚ƒzx{}ž

ux{s…{q©®m\ª<1S{U"e+§Ie+z!uxbƒ¢¨mmwu†oUun¢®…oq‚ƒ‚ƒzx{Ioq…†b…+oq‡ƒ‡ƒ{}uu†o}²Ie¢£‡Wun{oq…+…+{qpƒ‡Wu‡ƒe\Fuxe\…†bƒ‡-{q©¨{q’qvt©£¢¨²qeje\df{}une

½¬e+df{qzxv¦€…+…+e\mxm=4Œ7DªYa!bƒe\zne+ ¡{qzxe°‚-zn{qun{s…{I©¨m!mnbƒ{qpƒ©®„Oe„svA‡-oqdf¢¨…\o}©¨©£vtoI„ƒ„seL„t¢¨‡unbƒe A¼i½±ª

½¤{Izne\{U§qe\z=ois¼°½5d:p-mœu<Pe8ux¢£’Ibƒ©£uwvi¢¨‡Wune\’qz†oUuneL„¢£unbuxbƒe"{q‚Pe+z†oUun¢¨‡ƒ’imœvsmœune+d´ux{ioI…†bƒ¢£e\§qeY{I‚sun¢¨d'o}©

‚Pe+zn ¡{qzxd'o}‡-…+e47Dª?>pƒuioqm°otmnvsmwuxe+d …{qdf‚P{q‡ƒe\‡Wu\À`of o}pƒ©£uwv4¢£df‚ƒ©¨e+dfe\‡Iu†oUux¢£{I‡¬{} Yos¼°½ …\o}‡¤b-o §Ie

„ƒ¢¨mxoqmœunzx{qp-mfe+³PeL…3uLª´€‡^o}‚ƒ‚ƒzx{IoI…†b ux{ ¢¨‡-…zxe\oImœe¤…{I‡s«O„se\‡-…e¤©¨e+§Ie+©S¢¨‡^o A¼i½;…{Id‚P{q‡-e+‡Wu¦¢¨m¦unbƒe

pOmœe7{} :o bƒ¢£’IbsžÇ©£e\§qe+©° ¡{qzxd'o}©¨¢¨mnd  ¡{qzunbƒe±A¼i½6„seLmœ¢¨’q‡0ª a!bƒ¢®m4o}-mœunz†oq…un¢¨{q‡ bƒe\©£‚Omtuxbƒe„se\mn¢£’I‡ƒe+z

 ¡{s…+p-mY{I‡funbƒei…{qb-e+zxe+‡-…+e‚ƒzn{qun{s…{I©ƒ©¨{q’q¢®…¢£unbƒ{Ipsu"„ƒe\o}©¨¢¨‡ƒ’¢Áuxb¦©¨{U!žD©¨e+§Ie+©ƒ¢¨df‚ƒ©£e\dfe+‡Wuxo}un¢¨{q‡¦„se+uxo}¢¨©®m+ª

½¬{qzxe+{U§qe\z\ÀLuw"{oq„s§Uo}‡Wu†o}’qeLmoqzne!’Wo}¢¨‡ƒe\„:¢Áuxb'o ¡{Iznd'oq©ƒo}-mœunz†oq…un¢¨{q‡ {q Ouxbƒe‚ƒzx{}ux{A…+{q©DªA@<¢¨zxmœun©¨vqÀ}¢£unb

oq‡ oq„se Wp-oUuxe¦mœvsmœune+d o}OmwuxzxoI…3un¢¨{q‡=À<mn{qdfe¦o}pƒun{qd'o}un¢®…'§qe\zn¢£«O…+o}un¢¨{q‡±…+oq‡±Oe„s{q‡ƒe34£gIg7Dªse\…{I‡-„s©¨vqÀ

¢£unb/o¤‚ƒzx{q‚Pe+zuxzxoq‡-mn©¨o}un¢¨{q‡dfe\…†b-oq‡ƒ¢¨mnd un{©¨{U!žÇ©£e\§qe+©8¢£df‚ƒ©¨e+dfe+‡Wu†oUun¢¨{q‡=Àuxbƒemxo}dfe¦‚-zn{qun{s…{I©8…+oq‡

Pe¬u†o}zx’qe+une\„/ux{ mœe\§qe\zxoq©S¢£‡Wuxe+z†…{q‡-‡ƒe\…un¢¨{q‡ uneL…†bƒ‡ƒ{q©¨{q’I¢£eLm+ª €S‡O„ ¢Á uxbƒe‚-zn{qun{s…{I©Se+‡A§A¢£zx{q‡-de\‡Wu¦¢¨m

mnpCB¦…¢¨e+‡Wux©£vmœd'o}©¨©-oq‡-„e\©£©ƒ„se+«-‡ƒeL„9Àquxbƒebƒ{I©£eA¼i½…{Id‚P{q‡-e+‡Wu8…+oq‡:PeSe\oImœ¢¨©¨v‚O{Izœuxe\„{q‡'o&‡ƒe\

mnvsmwuxe+d4ª

a!bƒ¢®m‚-o}‚Pe+zf‚ƒzxe\mne+‡Wu†muxbƒe¤mwu†oUune{} °{qpƒzf…pƒzxzxe+‡Wu:zxe\mne\oqzx…†b±{I‡ unb-e4„ƒe\mn¢£’I‡ {} ‚-zn{I’qz†o}dfd'o}ƒ©¨e

s¼°½±ª

›

e‚-zn{I‚O{Wmœeiun{¦„ƒe«-‡ƒe:…{qb-e+zxe+‡-…+ei‚-zn{qun{s…{I©¨m!¢¨‡4uw{'‚Oo}znuxm\ªa!bƒe&«-z†mœu¢¨mofbƒ¢£’Ib4©£e\§qe+©£žÇ©£e\§qe+©

„ƒe\mx…zx¢£‚sux¢£{I‡' ¡zxe+e{q o}‡Av¢£df‚ƒ©¨e+dfe\‡Iu†oUux¢£{I‡„se+uxo}¢¨©Dªa!b-eimne\…+{q‡-„'{I‡ƒe°„ƒe«-‡ƒeLmounz†o}‡-mœ ¡{qzxd'oUux¢£{I‡'¢£‡Wun{

oq‡ o}psux{qd'oUux{q‡  ¡{q©¨©£{U¢¨‡ƒ’±…e\zœu†o}¢¨‡ ¢£df‚ƒ©¨e+dfe+‡Wu†oUun¢¨{q‡ …†bƒ{I¢¨…+e\m\ªFa!bƒ¢®m¦oqpsun{Idfo}un{I‡ …\o}‡ Pe¬©£{Woq„seL„

„ƒvW‡Oo}df¢¨…\o}©¨©£vt¢£‡Wun{'ozxpƒ‡Wun¢¨deIª

› e‚ƒzxe\mne+‡Wu<¢¨‡'mœeL…3ux¢£{I‡ED°{}uxbƒe+z‚ƒzx{q’Izxoqdd'oqƒ©£e"…{Ibƒe+zxe+‡-…+e‚-zn{qun{s…{I©A„ƒe\mn¢£’I‡ e+‡A§A¢¨zn{I‡ƒdfe+‡Wuxmo}‡O„

uxbƒe+¢¨z&©£¢¨df¢Áu†oUux¢£{I‡-m+ªGFŸ‡mne\…3ux¢£{I‡‰e’q¢¨§qeot’I©£{I-o}©<{U§qe\zn§A¢¨e+ {} 8{Ipƒz&o}‚ƒ‚ƒzx{IoI…†b0ªa!bƒe+‡7¢£‡1mœeL…3ux¢£{I‡

H Àƒ"e‚ƒzneLmœe\‡Wuunbƒe=¢=o}‡O„I1p-„ƒoq²…+{qbƒe\zne\‡-…e&‚ƒzx{}ux{A…+{q©9bƒ¢®…†b4¢¨mp-mne\„unbƒzx{qp-’qbƒ{Ipsu!unbƒ¢®mS‚-oq‚Oe\zun{

¢¨©¨©£p-mœunz†oUuxe&{qpƒzoq‚ƒ‚ƒzx{IoI…†b0ª › euxbƒe+‡¬mnbƒ{UF¢£‡¤mne\…3ux¢£{I‡¬Œbƒ{UFo'…+{qbƒe\zne\‡-…e&‚ƒzx{}ux{A…+{q©9¢®m! ¡{qzxd'o}©¨¢J8\e\„9ª

FŸ‡ mne\…3ux¢£{I‡ ‹-À8"e¤„se\mx…zx¢£Peunbƒe4uxzxoq‡-mn©¨o}un¢¨{q‡ ‚-zn{s…eLmnm:ux{1‚-zn{s„sp-…+e¤o}‡ ¢£df‚ƒ©¨e+dfe+‡Wu†oUun¢¨{q‡/ ¡zx{qd oq‡

oq-mœunz†oq…3u‚ƒzx{}ux{s…{q©„se\mx…zx¢£‚ƒun¢¨{q‡0ª4a!bƒ¢®m¢£df‚ƒ©¨e+dfe\‡Iu†oUux¢£{I‡±¢¨m ©£{Woq„seL„7¢¨‡Wun{¬o4zxpƒ‡Wun¢¨dfe¦e+‡A§A¢£zx{q‡-de\‡Wu

„ƒe\mx…zx¢£Pe\„¢¨‡4mne\…un¢¨{q‡ŠAª › e«-‡-o}©¨©¨v…{I‡-…©¨p-„se¢¨‡¬mne\…3ux¢£{I‡IKfAv’q¢¨§W¢¨‡ƒ’¦…+pƒznzxe+‡WuSmœuxoUuxe{} {qp-z{Izn²

oq‡-„‚Oe\zxmn‚OeL…3ux¢£§Ie\m\ª

LALNMPO#QSR!TU

< < (+ '< 6 =%)( 5 <

a!b-ei¢®„seLo:{q ‚ƒzx{q’Izxoqdfdfoqƒ©¨eiA¼i½ ¢®m!‡ƒ{qu!‡-e+Foq‡-„eo}zxe&o "oqzne°{} <o}u©£eLoqmœu"uw"{fe³`{qznuxm"{} mœpO…†b

e\‡A§W¢¨zx{q‡ƒdfe+‡Wu†m+À}y!~!fo}‡-„'ae\oqy<{qu\ª8oq…†bf{q Puxbƒe+d‘‚ƒzx{q‚P{Imne\mYomn‚Pe\…¢£«O…dfe+unbƒ{s„'„s¢£³Pe\zn¢¨‡ƒ’& ¡zx{qd unbƒe

{qunbƒe\z{I‡ƒe Avunbƒe:‚ƒzx{q’qz†o}dfdf¢¨‡ƒ’'©¨oq‡ƒ’qpOo}’qepOmœeL„9ÀPunbƒe:‚ƒzn{I’qz†o}dfdf¢£‡-’¦mwuwvA©¨e:o}‡O„4 oq…+¢£©¨¢Áux¢£eLm{q³Pe\zneL„

Av'uxbƒe‚ƒzx{}ux{A…+{q©`‚ƒzx{q’Izxoqddf¢¨‡ƒ’e+‡A§A¢£zx{q‡ƒdfe\‡IuLª

y"~!4£gD+7I¢®m0ozxpƒ‡Wun¢¨dfe¥e+‡A§A¢£zx{q‡ƒdfe\‡Iu9 ¡{Iz=„s¢®mwuxzn¢¨ƒpsuxe\„i«-©¨e\mnvsmwuxe+d'm\ªa!bƒ¢®m0o‡ƒ{qu=mwuxzn¢®…3ux©£v&mn‚OeLo}²A¢£‡-’

ofA¼i½ ‚-zn{I’qz†o}dfdf¢£‡ƒ’:e+‡A§A¢£zx{q‡-de\‡Wu"ƒpƒu!¢®mxmœpƒeLmo}zxe°¢®„se\‡Iux¢¨…\o}©DªyYzn{qun{s…{I©¨m!oqzne&„se\mx…zx¢¨OeL„t¢¨‡ofa<…©

©¨¢¨²qe©®o}‡-’qp-oq’qeoq‡-„¦e+rAeL…psuxe\„t¢£‡o}‡t¢¨‡Wune\zn‚ƒzxeuxe+z©£{Woq„seL„¦oqm!o ½oq…†bt‰:erAune\zn‡Oo}©Pde\df{qzxvd'oq‡-o}’Ie+zLª

se+§qe\zxoq© oI…¢¨©£¢£un¢¨e\m4oqzne7{}³`e+zxe\„ ux{/eLoqmne7‚-zn{qun{s…{I©°‚ƒzx{q’Izxoqdfd¢¨‡ƒ’±deLmnmxo}’Ie\mo}zxe7²Ie+‚su4¢£‡F{qz†„se+z

oq‡-„uxe+df‚O{IzxoqznvmœuxoUuxe\m„spƒetun{7½oq…†b ‰²qe+zx‡ƒe\©o}‡O„±dfe\mxmnoq’qe¦!o}¢£un¢¨‡ƒ’Peuw"e+e\‡±uw"{mwu†oUuxe\mo}zxe

e\©£¢¨df¢£‡OoUuneL„9ª€°m=‚-zn{qun{s…{I©¨mo}zxeY¢£‡Wuxe+zx‚ƒzne+uneL„9ÀLunbƒee+‡A§A¢£zx{q‡ƒdfe\‡Iu¢¨m§qe\znv&mœ©¨{Uª=½¤{Izne\{U§qe\z9‡ƒ{‚ƒzx{}ux{s…{q©

§Ie+zx¢Á«P…+oUux¢£{I‡t¢®m!‚ƒzx{q‚P{Imne\„9ª

ae\oqy<{qu?4‰7`¢¨m"o:s¼°½ ‚-zn{I’qz†o}dfdf¢£‡ƒ’e\‡A§W¢¨zx{q‡ƒdfe+‡WuLªyYzx{}ux{s…{q©®m8oqznei„se\mx…zx¢¨OeL„¦oqmo}psux{qd'oUu†o¢¨‡

o:„se\„ƒ¢¨…\oUuneL„¦©®o}‡ƒ’Ip-o}’Ieqª8oq…†bmwu†oUune&„seLmn…+zn¢¨OeLm8dfeLmnmxo}’Ie\m¥uxb-oUuS…\o}‡¦Pe°zxe\…+e+¢¨§qeL„¦o}‡-„oq…un¢¨{q‡-m8un{Oe

„ƒ{q‡ƒeIªa!b-e°e\‡W§A¢¨zn{I‡ƒdfe+‡Wu{q³Pe\zxm"mn{qdfe oI…¢¨©£¢£un¢¨e\mpƒ‡-„seLmœ¢¨zxe\„¦dfeLmnmxo}’IeS"oq¢Áu Wpƒe+p-eqÀso:…+{q‡Wun¢¨‡Ap-oUux¢£{I‡

dfeL…†b-o}‡ƒ¢®mnd un{f oI…3un{Izn¢;8+ei¢¨‡Iuxe+zxdfe\„s¢®oUuxemwu†oUuneLmo}‡-„dfe\mxmxo}’qeLm!o}zxei²Ie+‚su¢¨‡4{qz†„se+zLªY€ ‚ƒzx{}un{s…+{q©9…+oq‡

Pe4§qe\zn¢£«-e\„ ¢Áuxb mœuxo}une4e+‡Apƒdfe\zxo}un¢¨{q‡T¾[½¤pƒz §qe\zn¢£«-e\z†¿ª90p-e4un{…{qd:ƒ¢¨‡-oUux{qzxv1e+rs‚ƒ©£{Wmœ¢¨{q‡=ÀY{q‡ƒ©¨v

‚-zn{qun{s…{I©P¢¨‡A§q{I©£§A¢¨‡ƒ’ uw"{f‡ƒ{s„se\m…\o}‡Oe§Ie+zx¢Á«Oe\„9ª

a!bƒ{Wmœee\‡A§W¢¨zx{q‡ƒdfe+‡Wu†mb-o §qe©¨¢£df¢£uxm\ªP@¢¨z†mwux©£vIÀ} ¡{qzxd'o}©¨¢¨mndpOmœeL„ ux{„se\mx…zx¢¨OeS‚-zn{qun{s…{I©¨m¢®munb-eS©£{U!ž

©¨e+§Ie+©ƒ¢¨df‚ƒ©¨e+dfe+‡Wuxo}un¢¨{q‡'o}pƒun{qd'o}uxoƒª<a!bƒe+zxe ¡{Izne!uxbƒe©¨{q’q¢®…!Pe+bƒ¢¨‡-„'o&‚ƒzx{}ux{A…+{q©s¢®m¥b-oqzx„:un{p-‡-„se+z†mœuxo}‡O„

oq‡-„‚ƒzx{}un{s…+{q©9zx¢Áux¢£‡ƒ’'oq‡-„4„se+ƒp-’q’q¢¨‡ƒ’f¢®m‚-o}¢¨‡s ¡pƒ©Dª"se\…{I‡-„s©¨vqÀƒ§Ie+zx¢Á«P…+oUux¢£{I‡¢®me\¢Áuxbƒe+zS‡-{}uo §Uo}¢¨©¨oqƒ©¨e

¾y"~!ƒ¿8{qz©£¢¨df¢Áuxe\„¾[a=eLo}y{}u3¿3ª¥a!bƒ¢¨zx„ƒ©£vIÀquxbƒ{Imnee\‡W§A¢¨zn{I‡ƒdfe+‡Wuxm8o}zxeSO{Ipƒ‡-„¦un{ o ‡ƒeuw"{qzx² uxe\…†bƒ‡-{q©¨{q’qv

¾dfe\mxmnoq’qežÇ‚-oImnmn¢£‡-’¦ ¡{qz:a=eLo}y{}u3¿&o}‡-„7unbAp-m‚ƒzn{qun{s…{I©¨m…\o}‡ƒ‡-{}uPe¦oq„ƒoq‚suneL„ux{¬o4‡ƒe+ uneL…†bƒ‡ƒ{I©£{I’qvqª

a{'o}‡-mn"e+z"unbƒ{Wmœe&©¨¢£df¢£uxm"e&‚ƒzx{q‚P{Imne&o‡ƒe\´oq‚ƒ‚ƒzx{IoI…†b0ª

(+ ( .!.'!

› e'…{I‡-mœ¢®„se\zio‚-o}z†o}©¨©¨e+©mœvsmœune+d¢£unb„s¢®mwuxzn¢¨ƒpsuxe\„7dfe+df{qzxvqª:¯°pƒz&{Is|we\…un¢¨§qe¢¨m°un{4„seLmœ¢¨’q‡1ot‚ƒzx{}ž

’Izxoqdfdfoqƒ©¨e°A¼°½ p-mn¢£‡ƒ’ unbƒe°pƒ‡-„se\zn©¨vA¢£‡-’ ‚-oq’q¢¨‡ƒ’ dfe\…†bOo}‡ƒ¢®mœd4ª20e+uneL…3un¢¨{q‡o}‡-„t„ƒoUu†od'o}‡-oq’qe\de\‡Wu

’Izxoq‡Apƒ©¨oqzn¢£uwv1¢¨m:unbAp-m'o7‚-oq’qeqª ¯°pƒz:’I{Ioq©"¢®m:un{1‚ƒzx{q‚P{Imneo7dfeunb-{A„ un{„seLmœ¢¨’q‡ A¼°½  ¡zn{Id bƒ¢¨’qbsž

©¨e+§Ie+©<‚ƒzx{}un{s…+{q©mn‚Pe\…¢£«O…\oUun¢¨{q‡Om+ªa!bƒ¢®m°oq‚ƒ‚ƒzx{IoI…†b¤e+‡s ¡{Izx…+e\mo…©¨e\oq‡mne+‚-oqzxo}un¢¨{q‡¤Peuw"e+e+‡7…{qb-e+zxe+‡-…+e

…†b-{q¢®…e\mizxe+©®oUuxe\„¤ux{¤o‚-zn{qun{s…{I©oq‡-„7¢£df‚ƒ©¨e+dfe+‡Wu†oUun¢¨{q‡…†bƒ{I¢¨…+e\mizne\©¨o}uneL„¤un{¤o‡ƒe+uw{Izn²uneL…†bƒ‡ƒ{I©£{I’qvqª

y8zn{qun{s…{I©„seLmœ¢¨’q‡oq‡-„…†b-e\…†²A¢£‡-’¦¢¨munbAp-mid'oq„ƒe e\oImœ¢¨e+zLª&¯°p-z°"{qzx²¢®m°-oqmne\„¤{I‡o}‡e+©®o}P{qz†oUun¢¨{q‡¤{q 

uxbƒe:WuxznpO…3unp-zneL„¬­&o}dfd'o ¡{qzxdfoq©£¢®mnd 4H 7=uxb-oUu°ep-mne oImSo¦mn‚OeL…¢£«O…+o}un¢¨{q‡4©¨oq‡ƒ’qpOo}’qeIªFÇu†mSd'o}¢¨‡¬oq„Až

§Uoq‡Iu†o}’Ie¢¨m!uxb-oUui¢Áuio}©¨©£{USmSoqpsun{Id'oUun¢®…&¢¨‡W§Uoqzn¢®o}‡Wu…†bƒeL…†²W¢¨‡ƒ’'{I‡¤bƒ¢£’IbsžÇ©£e\§qe+©0„ƒe\mx…zx¢£‚sux¢£{I‡-m\ª!½¬{qzxe+{U§qe\z

uxbƒ¢®m°…†bƒeL…†²A¢£‡ƒ’„s{Ae\m°‡ƒ{}u&„se+‚Pe+‡O„¬{q‡¬unbƒe‡Apƒd Pe+zi{} Y‡ƒ{s„seLm¢¨‡A§q{I©£§Ie\„4¢¨‡¬unb-e:„s¢®mwuxzn¢¨ƒpsuxe\„7mœvsmœune+d4À

uxbAp-m:o §I{q¢®„s¢¨‡ƒ’4unbƒe4…{Id ƒ¢¨‡-o}un{qzxv1ers‚ƒ©¨{Imn¢£{I‡±{} mœuxoUuxete\‡Wp-de\zxo}un¢¨{q‡0ª @ƒpƒznunb-e+zxd{Izne…{qdfd:pƒ‡ƒ¢®…+oUž

ux¢£{I‡-moqzne‡-{}u°mn‚OeL…¢£«-e\„oUuSuxbƒ¢¨m°©¨e+§qe\©[ª€°mo¦…+{q‡-mne Wpƒe\‡-…eIÀ-d'o}‡Av¢£df‚ƒ©¨e+dfe+‡Wu†oUun¢¨{q‡Om…+oq‡¤Oe ƒpƒ¢¨©Áu

 ¡zx{qdunb-emxo}dfe oq-mwuxzxoI…3u‚-zn{qun{s…{I©[ª @¢¨‡-oq©£©¨vqÀOunbƒeers‚ƒ©¨¢®…¢£ui„se+«-‡ƒ¢£un¢¨{q‡{q Y¢£‡A§Uo}zx¢®o}‡Wuxm¢¨df‚ƒzx{U§qe\mSunbƒe

p-‡-„se+z†mœuxo}‡O„s¢£‡-’{q =uxbƒe‚ƒzx{}un{s…+{q©Dª

L

Runtime Environment Invariants

Abstract protocol definition

High-level description

Checking Translation

choices Implementation

Automaton

@<¢¨’qpƒzxefg ¥yYzx{q’Izxoqdfd¢¨‡ƒ’:e+‡A§A¢£zx{q‡ƒdfe\‡Iu

@<¢¨’qpƒzxe'gmœp-dd'oqzn¢;8+eLm!{qpƒzSoq‚ƒ‚ƒzx{Ioq…†b=ª @¢¨z†mwuS{q ¥oq©£©DÀsuxbƒe‚ƒzx{q’Izxoqddfe\z¢¨‡Wunzx{A„ƒp-…eLmSo ""

,J S,

%%'&)/{} "unbƒef‚ƒzx{}ux{A…+{q©Dªa!b-¢¨m„seLmn…+zn¢¨‚sux¢£{I‡7¢®m&d'oq„sefpƒ‚{} !o}‡ S)S) '&)*+!,< )

„ƒe\mx…zx¢£ƒ¢¨‡ƒ’mwu†oUune…†b-o}‡-’qe\m°o}‡-„9 )†ªa!b-e\mneuw"{t‚-oqzœu†m°oq©£©¨{U‚ƒzx{}un{s…+{q©!"$!}ª:a!bƒe+‡o

)$,J)'mœuxoq’qeYuxzxoq‡-mœ ¡{qzxdfm0unbƒeGS) %)'&)*+!, )f¢¨‡Iux{ioq‡ C) )Oª<a!b-¢¨m<) $,J

)¢¨mY-oqmne\„:{q‡ '&,J %) ) !"$ S:¾[o § oq¢£©®o}-©£eoqm¥€°mœ‚Pe\…uxm 4K7¡¿d'oq„ƒeWv unbƒe‚-zn{I’qz†o}dfdfe+zLª

@<¢¨‡-o}©¨©¨v'unbƒe&zxe\mnpƒ©£un¢¨‡ƒ’ C) )¬…+oq‡Pe&©£{Woq„seL„¦¢£unbƒ¢¨‡¤oIC) % +S)"oq‡-„t¢¨‡Wune\zxoI…3uxm

¢£unb4¢£u\ª › e‡ƒ{UF„ƒe\mx…zx¢£Peiunbƒe‚ƒzx{}ux{s…{q©`p-mne\„4oImo}‡erƒo}df‚ƒ©¨eiunbƒzx{qpƒ’Ibƒ{qpƒu"uxbƒ¢®mSo}znun¢®…©¨eqª

± $) !<" &%'"(

› ep-mne!unbƒe0¢-oq‡-„ 1Sp-„ƒoq²mn¢¨‡ƒ’q©¨ežÇzn¢£une\zUd pƒ©£un¢¨‚ƒ©¨ežÇzneLoq„se\zxm…{Ibƒe+zxe+‡-…+e!‚ƒzn{qun{s…{I© 4£g+67OoImYo}‡ferƒoqd:ž

‚-©£e!ux{¢£©¨©£pOmwuxzxo}une!{qpƒzo}‚ƒ‚ƒzx{IoI…†b0ª=a!bƒ¢®m¥‚ƒzx{}ux{s…{q©s¢®m¥mn¢£df‚ƒ©¨eo}‡O„:…+{q‡-…+¢¨mneo}‡-„:unbAp-m8…+o}‡fPeS„se\mx…zx¢¨OeL„

¢¨‡¦uxbƒ¢®m‚Oo}‚Pe+zLª21{Ue\§qe\z8{qp-z"oq‚ƒ‚ƒzx{Ioq…†b'¢®m"mœpƒ¢£uxoqƒ©¨eux{  ¡{Iznd'o}©¨¢;8+e°oq‡Av:uwvA‚Pe°{q …{Ibƒe+zxe+‡O…eS‚ƒzx{}ux{s…{q©

©¨¢¨²qeteLo}’Ie+z zxe+©¨e\oImœe¦…+{q‡-mn¢®mwuxe+‡-…+v 4-D7Ǫa!bƒe=¢!oq‡-„ 1p-„ƒo}²‚ƒzx{}ux{s…{q©b-o}‡O„s©£ee\oI…†b±dfe+df{qzxv‚-o}’Ie

{q uxbƒetmnb-o}zxe\„oI„ƒ„szxe\mxmmœ‚-oI…e'¢¨‡-„se\‚Oe\‡-„se+‡Wux©£vIª4€5‚-o}’Ie'¢¨me\¢Áuxbƒe+z:zn¢£uœuxe+‡±Av7o4p-‡ƒ¢ Wpƒet‡ƒ{s„se¦{qz

zxe\oI„Av7{q‡ƒe'{Izdf{qzxe‡-{A„ƒe\m\ª 8oI…†bzneLoq„s¢¨‡ƒ’4‡ƒ{s„se'd'o}²Ie\mo4©¨{s…+o}©Y…+{q‚Av{q uxbƒe¦‚-oq’qeIª › bƒe+‡ o

‚Oo}’qe'¢¨‡zneLoq„mœuxoUuxe¦¢®mzn¢£uœuxe+‡0À¥oq©£©8…+{q‚ƒ¢¨e\m{} "unbƒe¦‚Oo}’qe'd:p-mœu Oe„se+©¨euxe\„ ¾¡¢¨‡A§Uo}©¨¢¨„ƒo}un¢¨{q‡‚ƒb-oImœe ¿3ª

@<¢¨’qpƒzxeDtmnbƒ{USm°unbƒe'mœuxo}une’qz†o}‚ƒb¬{q "o‚-o}’IeqªfWuxo}unef…†b-o}‡ƒ’Ie:¢®m°unzx¢£’I’qe\zneL„¤e+¢£unbƒe\zAv¬o©¨{s…+oq©<{Izio

zxe+df{quneoq…\…e\mxm\ªA@ƒ{Iz¥e\oI…†b:‚-oq’qeIÀqo&d'o}‡-oq’qe+z¥mœun{IzneLm<unbƒe‚-oq’qemœuxoUuxeSo}‡-„f…+{q‚ƒ¢¨e\m²A‡ƒ{U©¨e\„s’Ieqª<€…+…eLmnm

zxe WpƒeLmwu†m!o}zxe&mne+‡Wu!un{'¢£uo}‡O„t¢£uunzx¢£’I’qe\zxm"‡ƒe\e\„seL„¢¨‡A§Uo}©¨¢¨„ƒo}un¢¨{q‡-m\ª

› e‡ƒ{UFmnbƒ{UFbƒ{UFo‚ƒzx{}ux{A…+{q©9…+oq‡Pe„seLmn…+zn¢¨OeL„¢£‡4{qp-z"b-¢£’IbsžD©¨e+§Ie+©` ¡{Iznd'o}©¨¢®mœd4ª

LALNMPO#QSR!TU

Local state

Allowed remote states Local event Remote event Read

Invalid

Invalid or Read

Inv or Read or R/W

Read/Write

Invalid Remote read Local write

Local write Remote write Local read

Remote write

@<¢¨’qpƒzxe D ¥y¥o}’Iemwu†oUune&’Izxoq‚ƒbt{q  =¢0o}‡-„ 1SpO„ƒo}²t…+{qbƒe\zne\‡-…e&‚ƒzx{}ux{s…{q©

<%' (± 83#%

¯°p-z°‚ƒzx{}ux{s…{q©<mœ‚Pe\…+¢Á«P…+oUux¢£{I‡¬©®o}‡ƒ’Ip-o}’Ie¢¨mio}‡e+©®o}P{qz†oUun¢¨{q‡¤{q ¥unbƒe'Wuxznp-…unpƒzxe\„1­&o}dfd'o' ¡{Iznd'o}©¨¢®mœd

4H 7Ǫ › e„ƒeuxoq¢£©0unbƒ¢®m! ¡{qzxd'o}©¨¢¨mnd5o}‡O„tuxbƒe+‡¤oq‚ƒ‚ƒ©¨v¦¢Áuux{funbƒe!=¢0o}‡-„ 1p-„ƒo}²t‚ƒzn{qun{s…{I©[ª

!"#$%&(')

a!b-e4WuxznpO…3unp-zneL„ ­&oqdd'o ¡{qzxd'o}©¨¢¨mnd 4H 7¢¨mf-oImœeL„ {I‡ unb-e4…†b-e+df¢¨…\o}©!zxe\oq…un¢¨{q‡/de+uxoq‚ƒbƒ{qzLª a!bƒe

p-‡ƒ¢ Wpƒef„ƒo}uxomwuxznp-…unpƒzxe ¢¨‡1­&oqdfdfo54¨gS7¥¢¨m°uxbƒe:d:pƒ©£un¢®mœe+u'¾[omneuiunbOo}‡7…\o}‡…+{q‡Wuxoq¢£‡1mœe\§qe\zxoq©={s…+…+pƒzœž

zxe+‡O…e\mS{} unbƒe:mnoqde e+©¨e+dfe+‡Wu†¿bƒ¢¨…†b¬…\o}‡¤Pe mne+e+‡¬oImSo+*n…†bƒe+df¢®…+oq©=mœ{I©£pƒun¢¨{q‡,3ª€ mœ¢¨df‚ƒ©¨e‚ƒzx{q’qz†o}d

¢®mo¤‚Oo}¢¨zt¾.-? S) !& )-À0/?S)9¿3ª ¥rseL…psux¢£{I‡1‚-zn{s…e\e\„ƒm\À<¢Áuxbƒ{qpsuo}‡ers‚ƒ©¨¢¨…+¢Áu:{qz†„se+zLÀ=Av

zxe+‚-©¨oI…¢¨‡ƒ’¦e+©¨e+dfe\‡Iu†mi¢£‡unbƒefd p-©Áux¢¨mneumno}un¢®mw ¡vA¢¨‡ƒ’¦uxbƒefzneLoq…un¢¨{q‡¬…{I‡-„s¢£un¢¨{q‡7Wv4uxbƒe‚ƒzn{s„spO…3uxmi{q Yunbƒe

oI…3ux¢£{I‡4¾1*œ…†b-e+df¢¨…\o}©ƒzxe\oI…3ux¢£{I‡,w¿ªa!bƒezneLmœpƒ©£u8¢®m¥{qƒuxo}¢¨‡ƒeL„fbƒe+‡¦omœuxoqƒ©£e°mwu†oUune¢®mYzxe\oI…†bƒe\„0ÀUunb-o}u8¢®m¥un{

mxo vbƒe\‡f‡ƒ{df{qzxe!zneLoq…3ux¢£{I‡-m¥…+oq‡uxo}²Ie‚ƒ©®oq…eIª={s…+o}©¨¢£uwv o}‡-„©®oq…†²:{} `{qz†„se+zx¢£‡-’ioq©£©¨{U o„ƒe\mx…zx¢£‚sux¢£{I‡

{q 0o}©¨’q{qzx¢£unbƒd'm¥¢£unbƒ{Ipsu8pƒ‡-‡ƒe\…+e\mxmnoqznvmœe Ip-e+‡Wun¢®o}©¨¢ÁuwvIª<€‡¦erƒoqd‚-©£e{q =o ­&o}dfd'o&‚ƒzx{q’qz†o}d ¢¨mY oq…un{}ž

zx¢®o}©32465(798:4<;=7)>Dª¥€S‚-‚ƒ©£¢¨e\„ux{d:pƒ©£un¢®mœe+u@?)AB5DCE5(F#5G#H¢Áu…+{qpƒ©®„¦‚-zn{s„sp-…+eiunbƒei ¡{q©¨©¨{U¢£‡ƒ’erseL…psux¢£{I‡

mne Wpƒe\‡-…e

2IAB5JFK8LFM>=mn¢£d:pƒ©Áu†o}‡ƒe\{qp-mn©¨v¦¢ÁuxbN2C5G+8POM>9uxbƒe+‡N2F5JOK8QCMGB>

a!b-e'Aunzxp-…3uxpƒzneL„1­&oqdfdfo ¡{Iznd'o}©¨¢®mœd 4H 7Y¢¨‡Wunzx{A„ƒp-…eLmuxbƒe'‡ƒ{qun¢¨{q‡1{} 8uwvA‚Pe\„7d pƒ©£un¢®mneu\ª'avA‚OeLmo}zxe

Ooqmne\„ {q‡Tzne\©¨o}un¢¨{q‡-mtOe+uwe\e+‡ uxbƒe7e\©£e\dfe+‡Wuxm{}  o d pƒ©£un¢®mœe+u\ª ½¤{qzxe‚-zneL…¢®mœe\©£vIÀSo±uwvA‚Oe7¢£df‚P{Imne\m

zxe\mœunzx¢®…3un¢¨{q‡Om!{q‡unbƒe‡Apƒd:Oe\zS{} {s…+…+pƒznzxe+‡O…e\m!{q <§Uoq©£pƒeLmSmxoUun¢®mœ ¡vW¢¨‡ƒ’¦mn‚OeL…¢£«O…&zxe+©®oUun¢¨{q‡Om+ª8€…†b-e\…†²A¢£‡-’

oq©£’I{qzx¢Áuxbƒd o}©¨©£{USmun{„se+df{q‡Omwuxzxo}une¦uxb-oUufo7mneu{} i­&oqdfdfoznp-©£eLm:mxoUux¢¨mœ ¡v±omn‚OeL…¢£«O…¦uwvA‚Peqª FÇuf¢¨m

¢®mneun{‡ƒ{}ux¢¨…+eunbOoUuuxbƒefoq„ƒ„s¢£un¢¨{q‡¤{q 8mœpO…†bofuwvA‚Oef„s{Ae\m‡ƒ{}ui¢£‡A§Uo}©¨¢®„ƒoUuxeunb-e ©¨{A…\o}©¨¢Áuwv‚ƒzx{q‚Pe+znuwv{q 

­&oqdfdfozxpƒ©£eLm+ªFŸ‡7{Ipƒz…{I‡IuxerAu\À=­&oqdfdfozxpƒ©¨e\m&o}zxe p-mne\„un{¤mn‚OeL…¢£ ¡vo…{qb-e+zxe+‡-…+e:‚ƒzx{}ux{s…{q©o}‡O„

o7Wunzxp-…3uxpƒzxe\„ ­&o}dfd'ouwvA‚Oe„se«O‡ƒe\m ¢£‡A§Uo}zx¢¨oq‡Wuxm&{} uxbƒ¢®m‚ƒzx{}ux{A…+{q©Dª€5uwvA‚Oet…†b-e\…†²A¢£‡-’¬o}©¨’q{qzx¢£unbƒd

oq©£©¨{USm"p-m"un{'§Ie+zx¢Á ¡v¦unb-o}uo:‚-zn{qun{s…{I©`mxoUux¢¨mœ ¡vto:uwvA‚Oe¦¾¡unb-o}uS¢¨mun{'mno vo}‡¢£‡A§Uo}zx¢¨oq‡Wu†¿3ª

L

y8zn{qun{s…{I©9­&oqdfdfo'jSpƒ©£eLm

5 5 !"$#% &'(*)+

8, - 5 95. *"#/ &'(0)/1 5. *"#/ &'(0)/+

2 5 3#/456(95. *"#/ &'7*)/1

8, - 5 95. *"#/ &'(0)/1 5. *"#/ &'(0)/+

823#/496: 5+ $3;#%49(95 !"$#% &'(*)+

8, 3#/456(+5. *"#/ &'<*)/+

.=>3#/496: 5+ 5. *"#/ &'<*) 5?A@

8,BDC0E FG49H I4GJ!CH(KH L7*)

M2BDC0E F949H I649J*C(KH L6<*) 5 5+ *"$#/ &'<0)

8,BDC0E FG49H I4GJ!CH(KH L7*)

N2BDC0E F949H I649J*C(KH L6<*)OP+5.QR

8, 3#/456(+5. *"#/ &'<*):S 5.?A@

T23#/496: 5+ 5. *"#/ &'<*):. 5?A@

8,BDC0E FG49H I4GJ!CH(KH L7*):U

FŸ‡A§Uo}zx¢®o}‡Wuxm

V $3#/49(XWZY A

V [W<\ A] $3#/49(XW(^`_

V 8 $3#/49(XW(^ A] XW(^`_

V = !"$#% &';Wa-^ cb 3#/456

V M b 3;#%49O6+XY A

VDN; BDC0E F949H I649J*C(KH L6;Wdfeg_<] $3#/49(-^`_

V T !"$#% &'(*)c[W7\g_<] *"$#/ &'(0)hXW(^ *"$#/ &'WdXW

VDi; jWb 3#/45<[W<\ A

@<¢¨’qpƒzxe°‰ Aunzxp-…3uxpƒzneL„­&oqdd'o §qe+z†mn¢£{I‡¦{} =mn¢£‡-’q©¨ežÇzn¢£une\zUd pƒ©£un¢¨‚ƒ©¨ežÇzneLoq„se\zxm =¢`oq‡-„ 1p-„ƒoq²‚-zn{qun{}ž

…+{q©

Gk !"#$%&ml & !Sn !Po qp &+rn ts Ruwv !E! ! %

@<¢¨’qpƒzxe&‰ ’I¢£§Ie\m8unbƒe…{Idf‚ƒ©£e+uneWuxznp-…unpƒzxe\„­&o}dfd'o:mn‚Pe\…¢£«O…\oUun¢¨{q‡{} unbƒe 0¢9oq‡-„ 1p-„ƒoq²'‚ƒzn{qun{s…{I©[ª

jSpƒ©£eLm„se+«-‡ƒ¢¨‡ƒ’'uxbƒe‚ƒzx{}ux{A…+{q©=oqzne‡Apƒd:Oe\zneL„iun{xTqª~{I‡-mwuxzxoq¢£‡Wu†mS„se«O‡ƒ¢£‡-’'unbƒe ¢£‡A§Uo}zx¢¨oq‡Wuo}zxe

©®o}Pe+©¨e\„XViux{V i ª€ ­&o}dfd'o'znp-©£e „ƒe«-‡ƒeLm°ot‚ƒzx{}un{s…+{q©=mœuxo}une:…†bOo}‡ƒ’IeqªSa!bƒ{Wmœezxpƒ©¨e\m°p-mnezne\©¨o}un¢¨{q‡-m

b-¢¨…†b±d'o}‚ un{‚-bWvsmn¢¨…\o}©Y{Is|we\…uxm¾¡‚-oq’qe'u†o}ƒ©¨eqÀ‚-oq’qet…+{q‡Wune\‡Wu†¿3Àe+rs…+e+‚sux¢£{I‡-m{Iz dfe\mxmxo}’qeLm+ª¬½¬{qzxe

‚-zneL…¢®mœe\©£vIÀ1 $3#/49`´zne\©¨o}un¢¨{q‡ mwu†oUuxe\mfuxb-oUu¦‚-oq’qeA {q‡ ‡ƒ{s„se´¢®m'¢£‡ zxe\oI„ zx¢£uned{s„se

¾‚-o}’Ieu†o}ƒ©¨e:zx¢¨’qbWuxm†¿zy [f zxe+©®oUux¢£{I‡7mœuxoUuxe\miotzxe\oI„¤zx¢£’IbIu6y H6:[T¾zneLmœ‚Pe\…un¢¨§qe\©£v

LALNMPO#QSR!TU

3;#%49O6< =¿&zne\©¨o}un¢¨{q‡ mœuxo}une\munb-o}uo¤zxe\oI„ ¾¡zxe\mn‚OeL…3un¢¨§qe\©£v1zx¢ÁuxeL¿e+rƒ…e+‚ƒun¢¨{q‡±b-oIm{s…+…+pƒzneL„

 ¡{IzS‚-oq’qe+¬{q‡4‡ƒ{s„se(ry*. *"#/ &'Z*)1zne\©¨o}un¢¨{q‡¤mwu†oUuxe\m!uxb-oUu°of‚Oo}’qe& ¡z†o}dfe0) ¾[of‚ƒbAvAmn¢®…+o}©

‚Oo}’qe ¿…{Iznzxe\mn‚O{I‡-„s¢¨‡ƒ’&un{ §W¢¨znunp-oq©-‚-oq’qer¦e+rA¢®mœuxmY{I‡'‡ƒ{s„se.ryBDC0E FG49H I4GJ!CH(KH Lx0)<zxe+©®oUux¢£{I‡

mœuxo}uneLm!unb-o}uS‚-o}’Ie+¬¢¨mS¢£‡4¢¨‡W§Uoq©£¢®„ƒoUux¢£{I‡4‚ƒb-oqmne¢¨‡{Izx„ƒe+z!unbOoUu‚-oq’qei ¡z†o}dfe*)¬¢£©¨©=Pe oq…\…eLmnmn¢£-©£e&¢¨‡

zxe\oI„ zx¢£unedf{s„se:{I‡¬‡ƒ{s„se ry$?A@-7zne\©¨o}un¢¨{q‡mœuxo}une\munbOoUu°‚Oo}’qe¢®mi‡ƒ{}ui¢£‡7¢£‡A§Uo}©¨¢¨„-oUun¢¨{q‡¤‚-b-oqmneqª

FŸdf‚ƒ©¨e+dfe\‡Iu†oUux¢£{I‡4¾¢£‡¦oqznz†o vsm+À P{A{q©¨e\o}‡Om+ÀWmœ¢¨’q‡-oq©¨m\Àƒª¨ª£ª¿ {} Punbƒ{Wmœezxe+©®oUux¢£{I‡-m¢¨m8„se«-‡-e\„fAvuxbƒeSoqmn‚OeL…3u†m+ª

a{±„se+©¨euxe¤{qzun{ oI„ƒ„/o1zxe+©®oUux¢£{I‡ ¢¨‡ o1zxpƒ©¨e4„ƒeuxoq¢£©®mfbƒ{U¢¨mfd'oq„ƒeuxbƒe¬…{Iznzxe\mn‚P{q‡-„s¢¨‡ƒ’1mwu†oUune

…†bOo}‡ƒ’Ieqª @ƒ{IzSerƒoqd‚-©£eIÀ 3#/456<1zne\©¨o}un¢¨{q‡¢£‡¤©¨e ubOo}‡-„4mn¢¨„se-psu‡ƒ{quS¢£‡4zx¢£’IbIuSbOo}‡-„4mn¢¨„se

{q <ofzxpƒ©¨e&mœuxo}uneLm"unb-o}uunbƒezxe\oI„ zx¢Áuxe°zx¢¨’qbWu"bOoqm!Pe+e+‡4©¨{Imœu ¡{qz‚-oq’qe1¤{q‡‡ƒ{s„se(¥ªYjpƒ©¨e\m(io}‡O„

x&mwu†oUuxei…\oqmne°bƒe\znei‡ƒ{s„sezne Wpƒe\mœuxm"zxe\oq„oq…\…e\mxm8 ¡{qzo‚-o}’Ie°o}‡O„¦uxbƒ¢¨m!‚Oo}’qei¢®m"…+pƒzxzne\‡Iux©£v'pOmœeL„

¢¨‡¦zxe\oI„¾G\¿¥{IzYzx¢Áuxe:¾9x\¿Ydf{A„ƒeAvoq‡ƒ{}uxbƒe+z‡ƒ{s„seqªjSpƒ©£eLmSx8}À = o}‡O„cT°mwu†oUuxe…+oImœeSb-e+zxe

‡-{A„ƒe"d'o}²qeLmYo&zx¢Áuxe{q‡¦o&‚-oq’qeSo}‡O„ uxbƒ¢®mY‚-oq’qe¢®mS¾W¿¥e\¢Áuxbƒe+z"oq…+…+e\mxmœeL„ ¢£unb'zx¢£une ¾G8L¿{qzYzxe\oI„

¾G = ¿<Av o}‡ƒ{qunbƒe\z¥‡ƒ{s„se+!{qzS¾ \¿oI…+…eLmnmne\„ Av¢Áu†mœe\©Á ¥¾¡‡-{A„ƒe¿<¢¨‡zxe\oI„df{s„se¾9xT ¿3ª2@¢¨‡-oq©£©¨vqÀIznpƒ©¨e\m

M o}‡O„ZxNmwu†oUuxe"zxe\mn‚Pe\…3ux¢£§Ie+©¨v&unbƒe¢¨‡A§Uo}©¨¢¨„ƒo}un¢¨{q‡©£{A{I‚:{q O‚-oq’qe…{I‚ƒ¢£eLmo}‡-„ unbƒe’Izxoq‡Wu<{q Pzxe\oI„ zx¢Áuxe

oI…+…+e\mxmYbƒe\‡to}©¨©O¢¨‡A§Uo}©¨¢¨„ƒo}un¢¨{q‡-m"o}zxeSd'oq„ƒeqª8¯°‡ƒe°mnbƒ{Ipƒ©¨„¦‡ƒ{}ux¢¨…+eSunbOoUuzxpƒ©¨exN°…+{q‡Wuxoq¢£‡Om8o‡-e+’Io}un¢¨{q‡0ª

a!b-¢¨m¥…†b-oq‡ƒ’qeun{&uxbƒe!‚ƒpƒzxe­&o}dfd'o° ¡{qzxdfoq©£¢®mnd5¾¡bƒ¢®…†bf¢¨m¢£unbƒ{IpsuY’q©¨{qOo}©s…{I‡-„s¢£un¢¨{q‡O¿<eLoqmne‚ƒzx{}ux{s…{q©

„ƒe\mx…zx¢£‚sux¢£{I‡0ª¥½¤{qzxe+{U§Ie+zunbƒ¢®me+rWuxe+‡-mn¢¨{q‡4„s{Ae\m!‡ƒ{qu!¢¨df‚-oq…uS§qe\zn¢£«O…+o}un¢¨{q‡o}‡-„unz†o}‡Omœ©®oUux¢£{I‡0ª

FŸ‡¬¢¨‡A§Uo}zx¢¨oq‡Iui„se«-‡-¢Áux¢£{I‡0À9o}‡¤{U§qe\zn©¨¢¨’q‡ƒeL„zxe+©®oUux¢£{I‡¤©£¢¨²qe 3#/45ZaW'ers‚ƒzxe\mxmœeLm!unb-e {s…+…+pƒzœž

zxe+‡O…e‡Apƒd:Oe\z°{q 8‡sžÇpƒ‚ƒ©¨euxmimxoUun¢®mœ ¡vW¢¨‡ƒ’¦zxe+©®oUux¢£{I‡¬¢£unb¬’I¢£§Ie+‡oqzn’Ipƒdfe+‡Wuxm¾ W¦…\o}‡¤Pe:P{qp-‡-„¤ux{o}‡Av

§Uoq©£pƒe ¿3ªS~{q‡-mœunz†o}¢¨‡Wu 3#/457[W Y Amwu†oUuxe\m!uxb-oUuS ¡{Izof‚-oq’qe=À-unbƒe\zne¢®mSo}udf{ImœuS{q‡ƒe‡ƒ{s„se

7mœp-…†btunb-o}u 3#/45¬e+rs¢¨mœuxm\ª › ¢Áuxbƒ¢£‡uxbƒe&‚ƒzn{qun{s…{I©[ÀW¢£u!¢®m!e Wpƒ¢¨§Uo}©¨e+‡Wu"un{fmno vfuxb-oUuoUuSo}‡Av

ux¢£dfeIÀAo}udf{Imœu{I‡ƒe‡-{A„ƒe:¾¡‡-{A„ƒe=¿8…+o}‡tzn¢£une°{q‡¦‚-oq’qePª8~{q‡-mœunz†o}¢¨‡WuSVmwu†oUuneLmYuxb-oUu!oUu"d{Wmwu"{q‡ƒe

‡-{A„ƒe …+oq‡bOo §qezxe\oq„ zx¢Áuxe&oI…+…+e\mxm{q‡¬of‚-oq’qeIª1VD:mwu†oUuxe\muxb-oUu°¢Á Yo'‡ƒ{s„se b-oqmSo¦zneLoq„4oq…\…e\mxm{I‡4o

‚Oo}’qeIÀs‡ƒ{f{}uxbƒe+zS{I‡ƒe&b-o §qe&zx¢Áuxeoq…\…e\mxmun{'¢£u\ªUV 8mwu†oUuxe\m"unb-ezne\§qe+z†mnei…\oqmneqªPV = ¾[…{Id ƒ¢¨‡ƒe\„¢£unbVD

oq‡-„-VD8 ¿Smœuxo}uneLmSuxb-oUui ¡{qzie\oI…†b¤‚-o}’Ie ¢¨‡zxe\oq„4{Iz°zxe\oI„ zx¢£unedf{s„seqÀ9o¦‡-{A„ƒe:d:p-mwuib-o §qeot…+{q‚Av{q 

¢£u'¾o¦‚Oo}’qe  ¡zxoqdfeL¿3ªV M …†bƒeL…†²AmSunb-o}u&otzneLoq„¬oq‡-„¬otzn¢£une‚-o}’Ie o}p-©Áu†mi…\o}‡ƒ‡-{}u°Pefmœ¢¨d pƒ©£uxoq‡ƒe+{Ip-mn©£v

„ƒeuneL…3uxe\„7{q‡7o‚-oq’qeqª<V Nmœuxo}uneLmuxb-oUu&¢¨‡7¢¨‡A§ oq©£¢®„ƒo}un¢¨{q‡‚-b-oqmneqÀ`uxbƒe:‡-{A„ƒebOo §W¢¨‡ƒ’tunzx¢£’I’qe+zxe\„¬¢£‡A§Uo}©¨¢Áž

„-oUun¢¨{q‡¬mnbƒ{Ipƒ©¨„¬‡ƒ{}ubOo §qezxe\oI„ zx¢Áuxeoq…\…e\mxm!ux{¦unb-¢¨m°‚-o}’IeqªVDTmœuxoUuxe\mSunb-o}u°¢£ ¥unbƒe\zne¢®m°d{Izneunb-oq‡

{I‡ƒe …+{q‚Av{q 8o'‚-oq’qeqÀOunb-e+v4o}zxeunbƒemnoqdfeqª @<¢¨‡-o}©¨©£vV i …†bƒe\…†²smSunb-o}uioUui©£eLoqmœu°o¦…+{q‚Av{q Ye\oI…†b¤‚-o}’Ie

e+rs¢¨mœuxm!¢¨‡unbƒemnvsmwuxe+d4ª

FŸ‡A§Uo}zx¢¨oq‡Wu=…†bƒe\…†²A¢¨‡ƒ’!¢¨m„s{q‡ƒe¥Av&…{I‡-mœ¢®„se\zn¢¨‡ƒ’"unbƒe8e³`e\…3u{} se\oI…†bizxpƒ©¨e¥{U§qe\z`unbƒeY{s…\…pƒzxe+‡-…+e¥‡Apƒd Pe+z

{q <eLoq…†b4zxe+©®oUun¢¨{q‡=ª@ƒ{IzSerƒo}df‚ƒ©¨eqÀP…{I‡-mœ¢®„se\zV

ª"a!bƒe mn{q©¨eznp-©£e&uxb-oUuS¢¨df‚-oq…uxm $3;#%497[Wo}zxe

zxpƒ©¨e\mZ o}‡-„ N ¾¡Pe\…+oqp-mne¦unb-e+vb-o §qeo„s¢£³Pe\zne\‡Wu:{s…+…+pƒzne\‡-…et‡Wp-d Pe+z{} . 3#/456¢¨‡ ©¨e u

oq‡-„¬zx¢¨’qbWub-o}‡-„ƒemn¢¨„ƒeL¿3ªfjpƒ©¨eh „seL…zxe\oImœeLm $3#/49h'WtWv¬opƒ‡-¢Áubƒ¢¨©£eh N ¢£‡O…zxe+dfe+‡Wuxm

¢£u\ª¦a!b-e+zxe ¡{qzxehV ¢®m&unzx¢£§A¢®o}©¨©£v¬mxoUux¢¨mœ«-eL„Av7oq©£©¥zxpƒ©¨e\m&e+rs…+e+‚su7 N ª:>"psu7 N mxoUun¢®mœ«-e\moV N ‚ƒzxe+df¢®mœe

¾BDC0E FG49H I4GJ!CH(K LwW`[ e _W¿3ª&a!bWpOm+À`Pe ¡{qzxeZxNo}‚ƒ‚ƒ©¨¢®…+oUux¢£{I‡0À 3#/45 [d^_to}‡O„

$3;#%49(-^ Ao} une+z6yVi¢®m"unbAp-mS§qe+zx¢£«-e\„t¢£‡¤o}‡Avt…\oqmneqª

<%' (1%=< (&%

› ef‡ƒ{Umnbƒ{Uoq‡7{U§Ie+zx§W¢¨e+{q 8uxbƒeunz†o}‡-mn©¨o}un¢¨{q‡7‚ƒzn{s…+e\mxmioq‡-„¬¢£uxm o}‚ƒ‚ƒ©¨¢®…+oUux¢£{I‡¬ux{zxpƒ©¨e {} unbƒe

‚-zn{qun{s…{I©[ª

L

rn ')% E&!Un & 'K 6'

az†o}‡-mn©¨o}un¢¨{q‡{} Y­&o}dfd'ofznp-©£eLm¢£‡Wux{to}‡¤o}pƒun{qd'o}un{q‡4¢®m‚Pe+zn ¡{qzxdeL„p-mœ¢¨‡ƒ’¦ouxe\…†bƒ‡ƒ¢% Wpƒe¢¨‡-mn‚ƒ¢£zxe\„Av

€°mœ‚Pe\…uœžœ¯°zn¢¨e+‡Wuxe\„¤yYzx{q’Izxoqdfd¢¨‡ƒ’ 4K7ǪGFÇuid'oq²qe\m°¢£ui‚P{Imxmœ¢¨ƒ©¨eux{mne+‚-oqzxo}une\©£v4„se«O‡ƒe *noqmn‚Pe\…3u†m,uxb-oUu

oqznep-mnp-o}©¨©£vmn‚ƒzxe\oq„unbƒzx{qpƒ’Ibƒ{qpƒu=unb-e"‚-zn{I’qz†o}d ¾©£¢¨²qe!mnvW‡O…†bƒzn{I‡ƒ¢;8\oUux¢£{I‡0ÀU…{Idd:pƒ‡ƒ¢®…+o}un¢¨{q‡{Izdfe+df{Iznv

d'oq‡-o}’Ie+dfe+‡Wu†¿ªmnp-o}©<‚ƒzx{q’qz†o}dfdf¢¨‡ƒ’'„s{Ae\mS‡-{}u{q³Pe\z°o}‡Avdfe\o}‡4ux{¦’qzx{qp-‚4unbƒe\d ¢¨‡¬o}pƒun{q‡-{qdf{qp-m

e\‡Wun¢£un¢¨e\mt¾¡ ¡pƒ‡-…un¢¨{q‡0Àdf{s„spƒ©¨et{qz {qs|weL…3u†¿ªmn¢£‡ƒ’7€mn‚OeL…3uœžœ¯°zx¢£e\‡Iuxe\„1‚ƒzx{q’Izxoqddf¢¨‡ƒ’-À<o4‚ƒzx{q’qz†o}d ¢¨m

d'oI„se4{} o7Ooqmne‚-zn{I’qz†o}d o}‡O„ {I‡ƒe4{qz'df{qzxe¤oqmn‚OeL…3uxmuxb-oUutmneut…+zn{WmnmœžÇ‚ƒzn{I’qz†o}d ‚ƒzn{I‚Oe\zœux¢£eLm+ª^€

"e\o §Ie+z¥dfe+zx’qeLmY‚ƒzx{q‚Pe+znun¢¨e\m„se\mx…zx¢¨OeL„'¢£‡¦unbƒ{WmœeoImœ‚Pe\…uxm¢Áuxbƒ¢¨‡'unbƒei-oImœeS‚-zn{I’qz†o}d4ªa{unz†o}‡Omw ¡{Iznd

otbƒ¢¨’qbsžÇ©£e\§qe\©=‚ƒzx{}ux{A…+{q©¢£‡Wun{o}‡1o}psux{qd'oUux{q‡¤"e p-mneuw"{oImœ‚Pe\…uxmi„se\mx…zx¢£-¢£‡ƒ’tzneLmœ‚Pe\…un¢¨§qe+©¨v !),

oq‡-„ )* '& %%))-ª°a!bƒe+v4‚ƒzx{s„sp-…e e+©¨e+dfe+‡Wuxoqznvoq…un¢¨{q‡-mbƒ¢¨…†b¤pOmœe  ¡pƒ‡-…3ux¢£{I‡-o}©¨¢£un¢¨e\mS{q ¥unbƒe

zxpƒ‡Wun¢¨dfeSe+‡A§A¢¨zn{I‡ƒdfe+‡Wu\ª€T…+{qdf‚ƒ¢¨©¨o}un¢¨{q‡¦mœune+‚fuxzxoq‡-mœ ¡{qzxdfm¥unbƒe\d ¢£‡Wun{:o}‡3 C) ) bƒ¢®…†b¦…+oq‡¦Oe

©¨{IoI„se\„¢¨‡Iux{unbƒemnvsmwuxe+d4ª

Gk rn ')% E&!Un !Po # %

›

et‡-{U mnbƒ{U‘bƒ{U znp-©£e {q unbƒe4­&o}dfd'o4 ¡{qzxd'o}©¨¢J8LoUux¢£{I‡1{q !unbƒe0¢!o}‡-„ 1p-„ƒo}²‚ƒzx{}ux{s…{q©8¢¨m

uxzxoq‡-mn©¨o}une\„4¢¨‡Wun{¦¢£uxm°©¨{U!žD©¨e+§Ie+©=…+{qpƒ‡Wune\z‚-oqzœuLªa!bƒe «-zxmœu°oImœ‚Pe\…u\ÀP ),ÁÀP’I¢£§Ie\mSotbƒ¢¨‡Iu&o}P{qpsuibƒ{U

uxbƒezxpƒ©¨e7…\o}‡ Pe¢¨‡-mœe\zœuxe\„ ¢¨‡ uxbƒezxpƒ‡Wun¢¨dfee+‡A§A¢¨zn{I‡ƒdfe+‡Wu\ª @-{qz ¢Áu¢¨mzn¢£uœuxe+‡ *

! "B,3ª FÇuimwu†oUuneLm!unbOoUu ¢®muxbƒe&unzx¢£’I’qe\zn¢¨‡ƒ’fzne\©¨o}un¢¨{q‡¢£‡4uxb-oUuSzxpƒ©¨e\m\ÀsunbOoUu¢®m!un{

mxo vSuxb-oUu<¢£‡Wuxzn{s„sp-…un¢¨{q‡{q sunbƒ¢®me+©¨e+dfe+‡Wu¢¨‡uxbƒe8d:pƒ©Áux¢¨mneu<¢£©¨©Amwu†o}znu={}uxbƒe+z<znp-©£eYzxe+©®oUux¢£{I‡-m+e+§Uoq©£p-o}un¢¨{q‡0ª

a!bƒe7mœeL…{q‡O„/oImœ‚Pe\…u\À )* *' SS%))OÀSmwu†oUuxe\m'bƒ{Uzne\©¨o}un¢¨{q‡-m'oqzne4¢¨df‚ƒ©£e\dfe+‡WuneL„ ¢Áuxbƒ¢£‡

uxbƒe¬zxpƒ‡Wun¢¨dfe¬e+‡A§A¢£zx{q‡-de\‡Wu\ªF€‡ erƒ…e\zn‚ƒu¦{} &unbƒ¢®mtoImœ‚Pe\…ut‡ƒe\e\„seL„ un{unz†o}‡Omœ©®oUuxe-¢®m¦’I¢£§Ie+‡ ¢¨‡

«O’qpƒzxe H ª 8oI…†b4unz†o}‡-mn©¨o}un¢¨{q‡4zxpƒ©£e ¡{q©¨©£{USm!uxbƒe ‚OoUuœuxe+zx‡ *())*%$##% /?%)$ ):)+ ! ,3ª @ƒ{qz

eLoq…†b ‚-o}uœune\zn‡=Àunbƒe7oqmn‚OeL…3umœuxo}uneLmtoq…un¢¨{q‡-m'un{/„ƒ{-ª €…3ux¢£{I‡-m¦pOmœe¬‚-zn¢¨df¢Áux¢£§Ie\m' ¡zx{qd unb-ezxpƒ‡Wun¢¨de

e\‡A§W¢¨zx{q‡ƒdfe+‡WuLª € *'&)(

*+',+-.0/21 ,‚-oUunune+zx‡ mwu†oUuxe\m'oq…un¢¨{q‡-mux{±erse\…+psune¤¢¨‡ {qz†„se+zux{ …†bƒe\…†²

uxbƒe4ers¢®mwuxe+‡-…+e{q Sunbƒ¢®mfzxe+©®oUun¢¨{q‡=ª €$*

*',+-3./54'%.-!,+6(

*',+-77/1 ,t‚-o}uœuxe+zx‡/mœuxoUuxe\m

oI…3ux¢£{I‡-miun{4erseL…psuxe'¢Á Sozne\©¨o}un¢¨{q‡1ers¢®mwu†m&¢£‡©¨e u b-oq‡-„se'mn¢¨„se'-psu ‡ƒ{qu&zx¢¨’qbWub-o}‡O„7mn¢¨„ƒe'{} ozxpƒ©¨eqª

a!b-ezxe+§Ie+z†mœe ¡{qz*8-!,+6(

*',+-.0/134'%

*','-37/ ,3ª@-{qz&e\oI…†b‚-o}uœuxe+zx‡0À9unb-e+zxe:¢®momneu

{q Soq…3ux¢£{I‡-mb-¢¨…†b oqzne'{q "uw"{¬²A¢¨‡-„ƒmy()*S)¦¾¡zx¢Áunune+‡*2( !# 91 ,w¿oq‡-„±mœuxoUuxet…†b-oq‡ƒ’qe¬¾zn¢£uœuxe+‡ *':

!+ <; ,œ¿3ª¥€FuneLmwud'o}²Ie\m!oq…un¢¨{q‡-m ¡{I©£©¨{U¢£‡-’ ¢£uSpƒ‡-„se\z"¢£uxm…+{q‡-„ƒ¢Áux¢£{I‡0ªY€…3ux¢£{I‡-m!…{s„se&¢¨m"zx¢Áunune\‡¢¨‡o

…+©¨oImnmn¢®…©®o}‡ƒ’Ip-o}’Ie¾¢£‡4{Ipƒzerƒo}df‚ƒ©¨e ~=>=&¿3ª

a!bƒeunz†o}‡-mn©®oUun¢¨{q‡'‚-zn{s…eLmnm¥une\mœuxm"mnp-…+…+e\mxmœ¢¨§qe\©£v:unbƒe°‚-oUunune\zn‡'{q 0e\oq…†bfuxzxoq‡-mœ ¡{qzxdfo}un¢¨{q‡'oqm8unb-e+v'o}‚sž

‚Pe\oqz¥¢£‡:unb-eSoqmn‚OeL…3u\ª FÇ 9o°d'o}ux…†b{A…\…pƒz†m\ÀUunz†o}‡-mœ ¡{qzxd'oUux¢£{I‡:oq…un¢¨{q‡-moqzneoq„-„se\„ un{iunb-ezneLmœpƒ©£un¢¨‡ƒ’…{s„se

¢£unb§Uo}zx¢¨oqƒ©¨e\m!mœp--mwux¢ÁuxpsuneL„9ªYa!bAp-m"unb-ei{Izx„ƒe+z!{} unz†o}‡-mœ ¡{qzxd'oUun¢¨{q‡Om8¢£unbƒ¢¨‡unbƒeoqmn‚Pe\…3uS„se+une\zndf¢¨‡ƒe\m

uxbƒe&mœe Ip-e+‡Wun¢®o}©P{qz†„se+z{} oI…3ux¢£{I‡-m8¢¨‡¦uxbƒe&zneLmœp-©Áux¢£‡ƒ’…{s„seIªa!b-e°©¨¢¨mœu!{} oI…3un¢¨{q‡OmY ¡zx{qdj(!uxzxoq‡-mœ©®oUux¢£{I‡

¢®m!’q¢¨§qe\‡¢¨‡«-’qp-zneŒsª

? @):% BA^.'3 :%

a!b-eizxpƒ‡Wun¢¨dfe&e+‡A§A¢£zx{q‡ƒdfe\‡Iu!¢®m…{qdf‚P{Imne\„t{} =uw"{‚-o}znuxm¥o}‡ C) )5% &'¾[…3 wª¥«O’qpƒzxei‹-À2CEDF¡¿

oq‡-„o ,;!, !%)*GCIH8FŸªta!b-e¦o}psux{qd'oUux{q‡e+‡ƒ’I¢£‡-e¢®m oI…3ux¢£§Ie\„7bƒe+‡±o}‡e\§qe+‡Wu¢®mzxe\…e\¢£§Ie\„9À¢Áu

„ƒeune\zndf¢¨‡ƒe\moI…3ux¢£{I‡-m"un{ferseL…psuxe¢Áuxb¢¨‡Wune\zn‡-oq©0mwu†oUuxe\mo}‡O„¦uxbƒe+‡4erseL…psuxe\m"unb-{Imneoq…3ux¢£{I‡-m\ª

LALNMPO#QSR!TU

& (

"

-21

##%

($+- (

!*+

-2101

& (

-21

##%

( +,

+++%+6(

- 131

-!,6(

-21

-!,6("!8-*!',"-#!'

-1

'%$

-

##%

:%,

'%

**+,! ( -&

1';(

-!,6(

-21)+%

-

##%

:%,

'%! + ( -&

1';

: +,

+++%++6(

- 1';*

+

-+,+%-+

+

-'.

##%

:%,

'%

+,

# ( -+/

-0.1

1';(

@<¢¨’qpƒzxe H 0ioUu†o:zxe+‚-zneLmœe\‡Iu†oUux¢£{I‡oqmn‚Pe\…3ue+rs…+e+zx‚su‡ƒe+eL„se\„ ¡{Iz

L

5 5 !"$#% &'(*)+

8, - 5 5. *"#/ &'(0) 5. *"#/ &'(0)

¶ • 2¡–:™ º » ¶ 1 ¶ ˜

($+- (

+ *'&

-'.101

jeLoq„ ‚-oq’qe o}pƒ©£uzxe\…+e+¢¨§qe\„  ¡{Iz‚Oo}’qeT{I‡

‡ƒ{s„se(

( +,

+++%+6(

-+ 101 FŸ‡uxo}-©£e +,

++`À}©¨{A{q²f ¡{Iz!oq‡ƒ{}uxbƒe+z"‡ƒ{s„se

bƒe+zxe4‚-o}’IeZ ¢®m¢£‡ zxe\oq„ df{A„ƒe¾

mœuxoUuxeL¿

(-'.#7-+ 1 ~bƒeL…†²'unb-o}u

o}‡-„

o}zxe&„s¢Á³`e+zxe+‡Wu

:%,

'%

**, ( -0.1

1'; y¥o}’IežD ¡zxoqdeYoq©£©¨{s…+o}un¢¨{q‡i{q‡‡ƒ{s„seP

 ¡{qz0‚Oo}’qe

:%,

'%! + (-'.

1'; y¥o}’Ief{q‡:‡ƒ{s„se+ ’Io}¢¨‡-m &oI…+…eLmnmzx¢£’IbIu

: +,

+++%++6(

-'.1 1'; Wux{qzxe8¢¨‡ +,

+uxoqƒ©£e!oq…\…eLmnm=zn¢¨’qbWudf{s„Až

¢£«O…+o}un¢¨{q‡

:%,

'%

+,

( - + -'.

1' ;

yYbAvsmœ¢®…+oq©=…{I‚Av¦ ¡zx{qd*‚Oo}’qe{q‡&un{'‚Oo}’qe

¤{q‡

@¢¨’qp-zneŒ YjSpƒ©£e<(io}‡O„¦uxzxoq‡-mœ©®oUuxe\„…{s„se

€…un¢¨{q‡-mip-mne'o¦’q©¨{qOo}©¥„s¢¨zneL…3un{Iznvux{df{s„s¢£ ¡vmœvsmœune\d mwu†oUuneLm<C F¾oI„ƒ„szxe\mxm°mn‚-oq…+e\m\À9‚-o}’Ie:oI…+…eLmnm

zx¢¨’qbWuxm\À-e+ux…}ª¿4o}‡O„4un{tmœun{Izne ‚ƒzn{qun{s…{I©0¢¨‡s ¡{qzxd'oUun¢¨{q‡ C +FŸªa!bƒ¢®m’I©£{I-o}©=„ƒ¢£zxe\…un{qzxvt¢®mimœe\e+‡¤¢®„se+‡Wun¢®…+oq©£©¨v

Av¬eLoq…†b7‡ƒ{s„seqªEFÇuunzx¢£’I’qe\zxmi…{Idd:pƒ‡ƒ¢®…+o}un¢¨{q‡7oq‡-„1„ƒoUu†oe+rƒ…†b-o}‡ƒ’Ie\m°Oe+uwe\e+‡1‡ƒ{s„se\m\ªfa!bƒ¢¨m&’I©£{I-o}©

„ƒ¢£zxe\…un{qzxv…\o}‡Pe8¢¨d‚-©£e\de\‡Wune\„&¢¨‡§Uo}zx¢£{Ip-m9!o vsm0„se+‚Pe+‡O„s¢£‡-’S{q‡&uxbƒe8o §Uo}¢¨©¨oqƒ©¨e¥‡ƒeuw"{qzx²uneL…†bƒ‡ƒ{I©£{I’qvqª

()=+ T!<=#78%3.

› eib-o §qe°¢£‡Wunzx{s„sp-…+e\„to  ¡z†o}dfe+"{qzx²  ¡{Iz"unbƒe&„se\mx…zx¢¨‚sun¢¨{q‡{} <A¼i½ ‚-zn{qun{s…{I©¨m"o}‡-„¦unbƒe\¢£z!¢¨df‚ƒ©£e\dfe+‡sž

u†oUux¢£{I‡0ª2FÇu!¢®m"-oqmne\„¦pƒ‚O{I‡tuxbƒeWunzxp-…3uxpƒzxe\„4­&o}dfd'o ¡{qzxd'o}©¨¢¨mnd  ¡{qz!o}OmwuxzxoI…3u!‚ƒzn{qun{s…{I©P„ƒe\mx…zx¢£‚sux¢£{I‡

oq‡-„1pƒ‚P{q‡unb-et€mn‚OeL…3unžD{Izn¢¨e+‡WuneL„1¢£‡-mn‚ƒ¢¨zneL„1uneL…†bƒ‡ƒ¢% Ip-efun{¤uxzxoq‡-mœ©®oUuxefunbƒ¢®m oq-mœunz†oq…3ux¢£{I‡7¢¨‡Wun{¬o¬…+{q‡sž

…+zne+une¦¢¨df‚ƒ©¨e+dfe+‡Wuxo}un¢¨{q‡0ªa{oImœ‚Pe\…uxm\ÀY…{I‡Iuxzn{I©oq‡-„±„ƒoUu†o¬zxe+‚ƒzxe\mne+‡Wu†oUun¢¨{q‡=À<oqzne¦pOmœeL„un{1oq…†bƒ¢¨e+§Ie

uxbƒ¢®m!unz†o}‡-mn©®oUun¢¨{q‡=ª

a!bƒe'¢¨df‚ƒ©¨e+dfe+‡Wuxo}un¢¨{q‡{} unbƒ¢®m& ¡z†o}dfe+"{qzx²¤¢®m…pƒzxzxe+‡Wun©¨v¤¢£‡‚ƒzx{q’IzneLmnmip-mn¢¨‡ƒ’¤o…+©£pOmwuxe+z{q !s½¤y

r$KI‹&{Izn²smœuxoUux¢£{I‡-m<znp-‡ƒ‡ƒ¢¨‡ƒ’unb-e)0¢¨‡Apsr{I‚Oe\zxo}un¢¨‡ƒ’mœvsmœune\d‘oq‡-„f¢£‡Wuxe+z†…{q‡-‡ƒe\…une\„p-mn¢¨‡ƒ’&unbƒe&s…+oq©¨oqƒ©¨e

~{Ibƒe+zxe+‡Wu FŸ‡Wuxe+zn oq…ei¾[-~<Fœ¿ªI¯°‡unb-e§Ie+zx¢Á«O…\oUux¢£{I‡mœ¢®„seqÀ uxbƒe!…†bƒe\…†²A¢¨‡ƒ’o}©¨’q{Izn¢£unb-d mn²qe+ux…†bƒeL„¢¨‡ mœeL…3ux¢£{I‡

ŒƒªD:mnbƒ{qpƒ©®„Oe„ƒe\mx…zx¢£Pe\„t ¡{qzxd'o}©¨vto}‡-„‚ƒzx{U§qeL„9ª

FŸ‡ unb-e ¡pƒunpƒzxeqÀ"unb-¢¨mf‚ƒzx{q’Izxoqdfdfoqƒ©¨eA¼i½mnvsmwuxe+d ¢¨©¨©Oe¤p-mne\„ un{ …+{qdf‚-oqzne‚ƒzn{qun{s…{I©¨m{I‡

uxbƒe:mxo}dfeo}z†…†bƒ¢Áuxe\…unpƒzxeqªSa!bƒ¢®m°{Ipƒ©¨„o}©¨©£{U p-mun{¦e+rAunz†oq…3ui‚ƒzx{}un{s…+{q©0‚ƒzx{}«O©£eLmS¢¨‡{qz†„se\zun{dfoq²qe o

LALNMPO#QSR!TU

Test Action Test Action 1 Action 2

[d]

[c]

[b]

[a]

Automaton Engine Events

Global Directory

Address Space

Protocol Data

R R

Node 1

Node 2

Copy Copy Triggering

Access rights Change

@<¢£’Ipƒzxe&‹ ¥yYzx{}un{s…+{q©`erse\…+psun¢¨{q‡4e\‡W§A¢¨zn{I‡ƒdfe+‡Wu

df{Iznemnvsmwuxe+d'oUux¢¨…¦¾{qzSe\§qe\‡¬o}psux{qd'oUux¢¨…L¿!…†bƒ{q¢®…e{q ¥‚ƒzn{qun{s…{I©` ¡{qzio'’q¢¨§qe\‡4„-oUuxo'mnb-oqzn¢¨‡ƒ’'‚-o}uœune\zn‡¤{q 

o‚-oqzxoq©£©¨e+©9oq‚ƒ‚ƒ©¨¢¨…\oUun¢¨{q‡=ª

@ U!"

4£g%7OªžDyªC>!o}‡}unzxe°o}‡O„:0 ª =e°½¤l+uxo vIe+zLª0yYzx{q’qz†o}dfdf¢¨‡ƒ’Av¦½¤pƒ©£un¢®mœe+u!azxoq‡-mœ ¡{qzxdfo}un¢¨{q‡0ª

!)$=)"@/ ¤À-‰I‹-¾wg ¿KPgqgIgqÀIoq‡0ª9g\Iq‰ƒª

4D7OªP>iªY~"oqzœuxe+zLÀ-ªfª2>e\‡ƒ‡ƒe+uœu\À"o}‡-„ › ªP"oqe+‡ƒe\‚O{Ae\©[ª FŸdf‚ƒ©£e\dfe+‡Wuxo}un¢¨{q‡/oq‡-„±‚Pe+zn ¡{qzxd'o}‡-…+e

{q "½¤p-‡ƒ¢£‡=ªFŸ‡ +! ! )" / '$! A'S) !) &%'&,JS3À

‚Oo}’qeLm&gLŒDA‹ H ªA€mxmœ{s…+¢¨o}un¢¨{q‡¦ ¡{Iz°~{qdf‚ƒpsux¢£‡-’¦½¬oq…†bƒ¢¨‡ƒe\znvtFœ­¯°y"`ÀP¯i…3uLª9g\Iƒgqª

4‰79ª"~b-o}‡O„szxo-À<>iªYj¢®…†b-o}z†„ƒm\Àoq‡-„Oª8jª o}zxp-m\ª ae\oq‚O{qu =oq‡ƒ’qpOo}’qe4Apƒ‚ƒ‚P{qznu' ¡{qz › zx¢Áux¢£‡ƒ’

½¬e+df{qzxv ~{qb-e+zxe+‡-…+ey8zn{qun{s…{I©¨m\ª FŸ‡ / SS S A %

S! & '&,J %)) "!UÀƒ½¬o vg\qI‹ƒª

L

4H 7&yª$@-zxoI„seu!o}‡-„:0:ª 0e&½¤lu†o vqe\z\ª=WuxznpO…3unp-zneL„t­&o}dfd'oƒªP S %&! P ' C)*% E qÀ

‰-gI¾DA‰W¿-D}‹I‰ CDKq-À qp-©£v¬gLqKƒª

4Œ7G0:ª >iª­ipOmwu†o §Amn{q‡=ª1a!bƒe4s…+oq©¨oqƒ©¨e4~{qb-e+zxe+‡WuFŸ‡Wune\zœ oI…eo}‡-„ jSe+©®oUuneL„/Wu†o}‡-„-o}z†„ƒm y8zn{q|we\…3u†m+ª

%}À-‚-oq’qe\mig+6 CDƒgqÀC@ƒe\0ª0gLqDƒª

4‹7 8ªFÇ ux{s„seqÀ -ªOyª`A¢¨‡ƒ’Ib0ÀPoq‡-„ fª 0¢Dªs…{I‚Oe~{I‡-mn¢¨mœune\‡-…v !€ >"zn¢®„s’qe Oe+uwe\e+‡¬je\©£eLoqmne~{q‡sž

mn¢®mwuxe+‡-…+voq‡-„ Y‡Wunzxv~{q‡-mn¢¨mœune\‡-…vIª FŸ‡ + !! )")" /? , / '

,,JS, /?, )" & 9/?!")!S)CS†ÀIpƒ‡ƒe'gLqq‹-ª

4Š7&yª &e\©£e\bƒe+zLÀ0€ª7Yª~{ r9À=`ª0°"oqzn²Uoq„-oqm\À0o}‡-„ › ª P!o}e+‡-e+‚P{We\©[ªa=zxe\oI„ƒ½¬oqzn²sm 0¢®mœunzx¢£ƒpƒune\„

sb-o}zxe\„¤½¤e\df{qzxv{I‡7Wuxoq‡-„ƒoqzx„ › {qzx²smwu†oUun¢¨{q‡OmSo}‡-„1¯°‚Oe\zxo}un¢¨‡ƒ’tAvsmwuxe+d'm\ª FŸ‡ #!!! E

)"$I) S %% S%%&!+À-‚-oq’qe\migIgLŒ`g\‰-gqÀ Ioq‡0ª9g\I H ª

4K7­ª&¢®…S8Lo}©¨e\m\À-ª o}df‚ƒ¢¨‡ƒ’-Àq€ ª}½¤e+‡O„sbƒe+²Uoqz\ÀI~°ª}½¬oqe\„ƒo-ÀI~°ª 0{I‚OeLm+À OªžÇ½±ª ={q¢¨‡ƒ’}ux¢£e\z\À}oq‡-„ OªFŸzœž

¢¨‡0ªq€°mœ‚Pe\…uœžÇ{qzx¢£e\‡Wune\„i‚ƒzx{q’Izxoqdfd¢¨‡ƒ’Oª#FŸ‡½±ªL€S²smœ¢£uoq‡-„`ª\½¬o}uxmnpƒ{q²Uo-À\eL„s¢Áux{qz†m+À

%!S)

S)*! )" C '! S%%&!+ÀU§q{q©¨pƒdfeSgD H g{q  A!S)C )*S

' C) S= S%&!+Àƒ‚-o}’Ie\m DD6 $D H DsÀ IvA§qmn²WvA©ƒÀ@<¢£‡ƒ©®o}‡O„9À- `g\‰ qp-‡ƒefg\qAŠAªƒA‚ƒzx¢¨‡ƒ’qe\z\ª

47 ª=oqbU|w{qdfzx¢ƒo}‡-„fa&ª}yYzx¢¨{q©Dª ¯€ }€ mnb-oqzneL„ §A¢¨zœuxp-o}©sdfe+df{Iznv ¡{Izunbƒe¢£yO~ =DbAvA‚Pe+z†…pƒPeqª

A!S)C )S= P ' C)*%G S%&!+À-‹q‰

H HH

g IÀ-gLqDƒª

4¨g#67 fª 0¢Dª $"$! 3A),$3 E A#%S, +'&,; C,)'&+!!%!°ªPy8b0ª0:ªAa!bƒe\mn¢¨m\À 8oq©£e

‡ƒ¢¨§qe+z†mn¢ÁuwvIÀ-Ae+‚suLª0g\Kq‹-ª

4¨gqg%7iyª`a=p-©£©¨d'o}‡ƒ‡0À -ªPa=pƒzx‡ƒe\z\ÀOª-½¬… ~{qz Wpƒ{s„ƒo}©¨eqÀ Oª 0e\‚ƒzxe\o}p=À-€ª9~bƒ¢Áununpƒzx¢DÀOo}‡O„4­ª&>!oq…†²`ª@ƒ{Izœž

d'oq©¨m½¤e+unbƒ{s„ƒmY€´yYz†oq…3ux¢¨…\o}©9a{W{I©` ¡{qz¯& FŸd‚-©£e\de\‡Wun{qz†m\ªAFŸ‡ +! ! =)"!)" "

"$ '9$# )G ' '%) )*†ÀO½¬o v¤g\IWŠAª

4¨g+D7 fª'e+b-oqzxo-Àq`ªFŸ‡ƒ{Ib-o}z†oƒÀ1 ªq½¤¢¨vIo8Lo "o-ÀLoq‡-„ fª8o}d'o}df{}ux{-ªƒ€ @ƒz†o}dfe\{Izn²i ¡{qz~pOmwux{qdf¢J8\¢£‡-’

~{Ibƒe+zxe+‡O…eiyYzn{qun{s…{I©¨m"{q 20°¢¨mœunzx¢¨ƒpsuneL„ @<¢¨©£e:~"oI…†bƒe\m\ª FŸ‡ #!!! %!)" S)S

) , P S%%&! ) C) P ' C)3)* &%! !UÀ<‚Oo}’qeLmGKq‰A6-À=½¬o v

gLqI‹ƒª

LALNMPO#QSR!TU

Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex

Unité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

Éditeur

INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)

D

ISSN 0249-6399