Enabling Transparent Data Sharing in Component Models

HAL Id: inria-00101363

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

Submitted on 26 Sep 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.

Enabling Transparent Data Sharing in Component Models

Gabriel Antoniu, Hinde Lilia Bouziane, Landry Breuil, Mathieu Jan, Christian Pérez

To cite this version:

Gabriel Antoniu, Hinde Lilia Bouziane, Landry Breuil, Mathieu Jan, Christian Pérez. Enabling Transparent Data Sharing in Component Models. 6th IEEE International Symposium on Cluster Computing and the Grid (CCGRID ’06), May 2006, Singapore, Japan. pp.430-433. �inria-00101363�

&%('*)+,'*.-/'$0

13254687:9<;>=?A@CBD?7:EGFIH7:?J9LK7M;:7N2POBDEQ<7M2R?95FSKT2R?J6 UOV689WE7M;XFSYZ2[@C\7:9<EZ]D2R?GFI^V\6_7M` @C7N25?badc<6_9<Q

efge h

=i

ejfge

=Fk^l2RmonE`$J9OV9<2RE;:7M9<E>FpAqRr5st

f

9W??9<`guW9<J9wv>FyxS6C2R?u<9

z|{~}W€ƒ‚S„R

…D†[‡ˆ‰CŠŒ‹Žw‘“’S‹”†(•ˆ†—–˜C†—™•š›‰wœR“’S–žw‹Ÿ† ’S–ž¡‡ ™•‰“X‡›‰bœR‡ ‹:™

’k“X¢“Š£†ƒ‰CŠb‡ œR¤›w¥X‰ <‡›¦‹”†ƒ‡§¡‡ ¨C‡ ©ª›«R¬$‡œ5‹­•ˆ®¤›“¬d«R¥‹¯‰“™

‹:–žwœR‰“©T¡Œ–žCŠ °±…5|¡‡›‰“©’S–Ÿ‹”†b‹Ÿ†[‡P–ŸœR¤ X‡›‰CŠŒ–Ÿœ—²¤‘w¬T«D©ª‡‘³¡–Ÿ‹M´

µˆg¡Œ–žo‰‘«W«R©¶–ž¤›‰w‹:–žwœƒŠ›·$‹Ÿ†[‡¸Š µˆ›‹M’k‰“‘‡,¤›“¬d«[“œR‡ œ[‹‹N‡›¤›†—œD“©¶™

X¡´Š‡›‡ ¬*ŠV¨C‡ Œ´3‰‘«W«ƒ‡›‰w©¶–Ÿœ<LŠŒ–ŸœR¤›‡$–Ÿ‹‡¬d«ƒ†[‰CŠŒ–ª¹8‡ŒŠlŠ µˆ›‹M’k‰“X‡

¤‘w¬T«[CŠŒ–Ÿ‹M–ž“œ.‰“œDZX‡ ™¯¥—Š‡8°+º*“’k‡ ¨“‡›·­¤¥ŒX‡ œ[‹Š µˆ›‹M’k‰“X‡

¤‘w¬T«[“œD‡œ5‹G¬l8¡‡ ©»ŠVwœ[©¶´$ŠŒ¥8«W«ƒwŒ‹d¼½¾ƒ¿ÁÀÃÂÀªÄ$W‰“‹¯‰Ž‹MX‰wœƒŠ”ˆ‡›Š

š‘‡ ‹M’k‡‘‡ œ®¤›“¬d«ƒwœR‡ œ[‹:Š ° …D†[‡,w–Ê›‹MŒ–žš ¥‹N‡›,ŠX†ƒ‰wX‡›­¬$‡¬$“Œ´

«ƒ‰wX‰¡w–˜w¬"†[‰CŠ²¡‡ ¬lwœƒŠŒ‹:‘‰“‹¯‡‘b–Ÿ‹:Šo¥‹M–Ÿ©¶–Ÿ‹:´§š´¦‡ œR‰¡š ©¶–Ÿœ—Å‰

ÄXƛÇwÈ[ÉX¾[ÇwƑ¼ È<Ä3‰¡¤›¤›‡Š‘Š¸‹¯Ê¡‰w‹N‰o¨8–ž‰o‰3¡©ªWš‘‰w©Ÿ©¶´­ŠX†ƒ‰wX‡›ËW‰“‹¯‰

Š:«[‰¡¤›‡8°Ê…D†—–Ê~«ƒ‰›«ƒ‡ Ì«RX›«ƒ“Š ‡ŒŠl‹N3‡X³W‹¯‡œDŠ•ˆ›‹:’k‰wX‡Ž¤›w¬T«[“™

œR‡ œ[‹k¬$8¡‡ ©»Š*’S–Ÿ‹”†ŠX†ƒ‰wX‡›¬l‡ ¬lwŒ´¤›‰‘«[‰¡š –Ÿ©¶–Ÿ‹M–ž‡ŒŠ›·d‡œD‰¡š ©¶–Ÿœ<

‹:X‰wœƒŠM«[‰“X‡ œ[‹Ž‰W¤‘¤›‡Š›Š,‹¯ËŠ•†[‰“X‡›²W‰“‹¯‰‰¡¤ XCŠ›Š­¤‘w¬T«[“œD‡œ5‹žŠ

‰“œRÊ©ª‡›‰¡w–Ÿœ<Ë‹Ngˆ›¥Œ‹Ÿ†[‡3W‡‘¤ X‡›‰CŠ ‡›ÊŠ•ˆ›‹:’k‰wX‡¤‘w¬T«D©ª‡‘³¡–Ÿ‹M´¡°

Í Î<Ï

€ƒÐÑ~Òd„RƒÓµÐ

Ï

ÔkÆXÕW֡ƛÇw×l×lÀªÈƒÖ¸ØÀÃɕÄXƑÀªÙƒÚƒÄX¼_Ø­ÉXہɵđ¼ ×$ÉÜ5Ç¡ÉÇ¡¿ªÝGÇCہÉÙ5¼_¼ È

ɕ¼_¼ È3ÇWÉÌÇgÄX¼8؁ÀªÕWÚ[ÉÇ¡ÂÄXÀÁÞ<ÀªÄµÛߔաÆǾƒÆXÕW֡ƛÇw×l×l¼ Æ8àáÌƑÀÃØLÀÁȁâ

ߔƑÇWɵđÆXÚ[ÂÄXڃƑ¼_É_ãIÇ¡Éđ܃¼¿ÁÇwÄX¼_ɕÄlÀªÈ[Â_ÇwƑÈ[ǓđÀªÕWÈoÕ¡ß~؁ÀÃɵđÆXÀÁكځđ¼_Ø

ɕہɕÄX¼ ×$É_ãRÇ¡ÆX¼ÈƒÕwÄ̼½ƒÂ¼_¾ÄXÀÁÕ¡ÈLÄXÕÄX܃ÀÃÉdƑ¼_Ç¡¿ªÀªÄµÛ¡àÌä¯È,ÇW؃؁ÀªÄXÀÁÕ¡È

ÄXÕgđ܃¼l؁À˜åg ڃ¿˜ÄµÛ¸Õ¡ßyÂՁ؁ÀÁȃÖÀªÈƒÜ[¼ Ƒ¼ È<Ä~đÕgđ܃¼VÇ¡¾ƒ¾ƒ¿ÁÀÁÂ_ǓđÀªÕWÈã

ÄX܃¼$¾ƒÆ‘Õ¡ÖWƑǡ×l×V¼_ÆÕwߟÄX¼_ÈPÜ[Ç¡ÉđÕL؁¼_Ç¡¿SÝÀ˜Ä‘Ü­¿ªÕ“ÝGâN¿Á¼ Þ¡¼_¿S¾ƒÆ‘Õwâ

֡ƛÇw×l×lÀªÈƒÖlÇwÈ5؎ƑڃÈ<ÄXÀÁ×l¼ÌÀÃɑɕڃ¼8ÉɕÚ5›ÜÇWÉÂÕ¡×l×ڃȃÀàǓđÀªÕWÈ[É

Ù5¼ ĵÝy¼_¼ Èl؁À˜æD¼ Ƒ¼ È<ÄS×lՁ؁ڃ¿Á¼_ÉSÕ¡ß[ÄXÜ[¼TÇw¾ƒ¾ƒ¿ÁÀàǓđÀªÕWÈÕWÆI؁¼ ¾[¿ªÕ“Û<â

×V¼_È<ÄGÕ¡ß×lՁ؁ڃ¿Á¼_ÉÇ¡×lաȃÖ$Çlɕ¼ ÄTÕwßÇCÞCÇ¡Àª¿ÃÇwÙ[¿ª¼ÌÆX¼8ɕÕWڃƛ¼_É_à

ç ¼ Þ¡¼_Ƒǡ¿5Ç¡¾ƒ¾ƒÆ‘ÕWǡ›Ü[¼_ÉđÕ؁ÀÃɵđÆXÀÁكځđ¼_ØɕہɕÄX¼ ×$Éy¾ƒÆ‘Õ¡Ö¡Æ›Çw×Vâ

×VÀÁȃ֣Ü[ÇCÞ¡¼,Ù5¼_¼ ÈZ¾ƒÚƒÆ›É•Ú[¼_Ø®ÉXÚ[›ÜZÇ¡Éè~é›êŽëìNéLíIîŒëƒïé8ð[ñwîé

òSó“ôÁôÁõ

Õ¡Æ$ö~÷

õ

ìžî‘÷NøñƒìNéCð²ùø_úé8ï_ì

õ

à|ûG܃¼_ÛÊÇw¿Á¿ªÕ“Ý.Ú5ɕÚ[Ç¡¿¾ƒÆ‘Õwâ

֡ƛÇw×l×lÀªÈƒÖ¾[Çwƛǡ؃ÀªÖW×lÉVüŸß”Ú[È[ŒđÀªÕWÈÂ_Çw¿Á¿ÁÉÌÕ¡ÆÌաكýµ¼_ŒěɑþdđÕÙR¼

Çw¾ƒ¾ƒ¿ÁÀÁ¼_حٗÛÄXƛÇwÈ[ÉX¾[Ç¡ÆX¼_ÈWđ¿ªÛÀÁÈ<ÞWÕ¡ÿ—ÀÁȃÖ3ǸߔÚ[È[ŒđÀªÕWÈoÕwßdÇ3ÆX¼ â

×VÕ¡ÄX¼¾ƒÆ‘Õ¡Ö¡Æ›Çw× Õ¡Æ$Ç,×l¼ÄXÜ[՗ØËÕwßÌÇ3Ƒ¼ ×lÕwđ¼ÕWفýµ¼_ÂÄ_ãkÇWÉVÀ˜ß

ÄX܃¼_ÛÌÝ>¼ Ƒ¼k¿ÁՁ ǡ¿:àöd÷õ ì:îX÷Nøñƒì¯é8ð 5ó îé8ð,é›êŽëCîÀÁÉÇwȃաÄX܃¼_Æ

Çw¾ƒ¾ƒÆ‘ÕWÇW›ÜÄXÜ[ÇwÄ~Ü[ÇWÉdÙR¼ ¼_ÈL¾ƒÆ‘Õ¡¾RÕWÉX¼_ØÀÁÈ3աƛ؁¼_ÆTÄXÕ܃ÀÃ؁¼Ä‘܃¼

Ç¡ÉX¾5¼8ŒđÉGƑ¼ ¿ÃǓđ¼_؎ÄXÕ$؃ÇwđÇl؁ÀÃɵđÆXÀÁكځđÀªÕWÈà

T¼_¼_È<ÄX¿ÁÛ¡ãÉ•Õ¡ßŸÄµÝ>Ç¡ÆX¼~ÂÕ¡×l¾Rաȃ¼_È<Äy×lՁ؁¼ ¿ÃÉkÜ5ÇCÞ¡¼T¼_×V¼_ÆXÖW¼_Ø

×lÀªÈƒÖLÄX܃¼gÖWÆXÀÃØAà¸ûG܃¼ŽÂ Õ¡×l¾Rաȃ¼_ÈWÄVÇw¾ƒ¾ƒÆ‘ÕWÇWÂ›Ü G¼ ȁߔÕWƑ ¼_É

¤›“¬d«ƒ“Š›–Ÿ‹M–ž“œÊÇWÉTđ܃¼V×lÇ¡ÀªÈ3¾[Çwƛǡ؁ÀÁÖ¡× ß”Õ¡Æ؁¼_Þ¡¼ ¿ÁÕ¡¾[ÀªÈƒÖ؁ÀÁɕâ

ÄXƑÀªÙ[ځÄX¼8Ø®Çw¾[¾ƒ¿ªÀàÇwÄXÀÁÕ¡È[É_à.ûG܃ÀÃÉÕwæD¼ ƛÉgđ܃¼­Ç¡ØÞ“ÇwÈ<ěÇwÖ¡¼8ÉgÕ¡ß

؁¼_ ÆX¼8Ç¡ÉXÀªÈ[ÖÄX܃¼G؁¼8ɕÀÁÖ¡È* ա×l¾ƒ¿Á¼½ÀªÄµÛÇ¡È[Øա߃Àª×l¾ƒÆ‘Õ“Þ—ÀªÈ[Öd¾ƒÆ‘Õwâ

؁Ú[ÂÄXÀÁÞ<ÀªÄµÛŽÙ—Û$ߞÇWÂÀÁ¿ªÀªÄ‘ÇwÄXÀÁȃÖ$ɕաߟĵÝ>Ç¡ÆX¼ÌƑ¼âNÚ[ɕ¼Wà

ä¯ÈWđ¼ ƛǡÂÄXÀÁÕ¡È[ÉdÙ5¼ ĵÝy¼_¼ È3 ա×l¾5ÕWȃ¼ È<ěÉdÇwƑ¼*؁ÕWȃ¼Ä‘܃ÆXÕWڃ֡Ü

Ýy¼_¿ª¿ªâ¯Ø¼[È[¼_Øb¾5ÕWÆ•Ä›É àdՓÝy¼_Þ¡¼ Æ8ãdÀÁȧ¼½ÀÃɵđÀªÈƒÖ²Â Õ¡×l¾5ÕWȃ¼ È<Ä

×l՗؃¼ ¿ÃÉ ãWաȃ¿ÁÛ*¾RÕ¡ÆXđÉS¼_È[ÇwÙ[¿ª¼¼ ½—¾[¿ªÀÃÂÀªÄk؃ǓěÇÌÄXƛÇwÈ[ɕߔ¼ Æyǡɾ[ǡƕÄ

ÕwßIÇwȸ¼ ½ƒÂ›Ü[ÇwȃÖW¼_Ø×l¼_ɑÉXÇ¡Ö¡¼WàyÕWÈ[ÉX¼<ڃ¼ È<đ¿ªÛWã[ÀªÄ~ÀÃÉTȃաÄ~ÂڃÆXâ

ÆX¼_È<ÄX¿ÁÛ£¾RÕWɑÉXÀªÙƒ¿Á¼,ÄXÕ£¼_Ç¡ÉXÀÁ¿ªÛ²ÉXÜ[ÇwƑ¼,؃ÇwđÇËÙ5¼ ĵÝy¼_¼ Ȯ ա×l¾RÕwâ

ȃ¼ È<Ä›É à¸Õ¡Æ‘¼ ՓÞW¼ Æ8ãRÇWÉɕ¼_Þ¡¼_Ƒǡ¿Â Õ¡×l¾5ÕWȃ¼ È<ěÉ~×$ÇCÛ¸ÝGÇwÈ<ÄÄXÕ

×l՗؃À˜ß”ÛÄXÜ[¼É‘Çw×l¼g؃ǓěǃãÄXÜ[¼gߔڃÈ[ÂÄXÀÁÕ¡È[Ç¡¿> Ձ؁¼gÕwßTÇL ա×Vâ

¾5ÕWȃ¼ È<ÄTÉX܃աڃ¿ÃØ؁¼_Ç¡¿AÝÀ˜Ä‘ܸ؃ǓěǾR¼ ƛÉXÀÁɕÄX¼_È[¼WãƒØƒÇ“Ä›ÇV աÈ[ÉXÀÃɵâ

ÄX¼_È[ÂÛÇwÈ[Ø,ߞÇwÚ[¿˜Äđա¿Á¼ ƛÇwÈ[ ¼VÀÃɑɕڃ¼8É àûG܃ÀÁÉÄX܃¼_ÆX¼ ߔաƑ¼V¿Á¼_ÇW؃É

ÄXÕ$ÇwÈÀÁÈ[ÂƑ¼_ÇWɕ¼8؎ǡ¾ƒ¾ƒ¿ÁÀÁÂ_ǓÄXÀÁÕ¡ÈÂÕW×l¾ƒ¿ª¼ ½À˜ÄµÛWà

ûG܃ÀÁÉk¾[Çw¾R¼ ÆS¾[ÆXÕW¾5Õ<ɕ¼8ÉÄXÕ¼ È[ÆXÀÛÜ$ÂڃƑÆX¼_È<Ä>Š •ˆ›‹:’k‰wX‡¤›“¬V™

«ƒwœR‡ œ[‹¬l8¡‡ ©»Š¸ÝÀ˜Ä‘ÜÇ£‹:X‰wœƒŠM«[‰“X‡ œ[‹W‰“‹¯‰o‰W¤‘¤›‡Š›Š¬$8¡‡ ©¶ã

ɕÕW¿ªÞ—ÀÁȃ֎ÇwߔաƑ¼ ×l¼ È<ÄXÀÁÕ¡È[¼_ظ¾ƒÆ‘Õ¡Ù[¿ª¼_×lÉÌÇ¡ÉdÄXÜ[¼V ա×l¾ƒ¿Á¼½À˜ÄµÛÕ¡ß

ÇwÈlÇw¾ƒ¾[¿ªÀàÇwÄXÀÁÕ¡ÈVÀÁÉđ܃¼ Ƒ¼ß”ÕWÆX¼>¿ÁՓÝy¼_ÆX¼8ØAà¸ÕWÆX¼G¾ƒÆ‘¼_ ÀÁÉX¼ ¿ÁÛ¡ã“ÕWڃÆ

¾ƒÆ‘Õ¡¾RÕWɑÇw¿WÇ¡Àª×$ÉǓľƒÆ‘Õ“Þ<ÀÃ؁ÀÁȃÖdÇdÄXƛÇwÈ[ÉX¾[Ç¡ÆX¼_ÈWÄÇ¡Â Â ¼_ɑÉđÕ~؃ÇwđÇ

ɕÜ5ÇwƑ¼_ØlÇ¡Â ÆXÕ<ÉXÉS ա×l¾5ÕWȃ¼ È<Ä›É àûG܃ÀÃÉIÀÃÉkǡ›Ü[Àª¼_Þ¡¼_ØVٗÛV¼½—ÄX¼_È[ؗâ

ÀªÈ[ÖoÂÕW×V¾RÕ¡È[¼ È<Äg×l՗؃¼ ¿ÃÉgÝÀªÄXÜǭȃ¼_Ý ÿ<ÀÁÈ[Ø|Õ¡ß¾RÕ¡ÆXđÉ$ߔաÆ

؁¼_Ç¡¿ªÀÁȃÖlÝÀªÄXܸɕÜ5ÇwƑ¼_؎Ø[ǓđÇlÇW ¼8ÉXÉ_à

ç ¼_ÂÄXÀÁÕ¡ÈÀªÈ<đÆXՁ؁Ú[ ¼_Éo‹:X‰wœƒŠM«[‰“X‡ œ[‹¸¡‰w‹N‰§‰¡¤›¤›‡Š‘Š|ÇwÈ[Ø

! #"%$ ÀÁÈP¾[ÇwÆXÄXÀÃÂڃ¿ÃÇwÆ8à$ûG܃¼ È ã ç ¼8ŒÄXÀÁÕ¡È'&¾ƒÆ‘¼_ÉX¼ È<ěÉ~ÕWڃÆ

Ö¡¼_ȃ¼ ƛÇw¿R¾ƒÆ‘Õ¡¾RÕWɑÇw¿5ÄXÕV¼ È[ǡك¿ª¼~ÄXƛÇwÈ5ɕ¾[Ç¡ÆX¼_È<Ä>؃ÇwđÇVɕÜ[Ç¡ÆXÀÁȃÖÀªÈ

ÂÕW×V¾RÕ¡È[¼ È<Ä×lՁ؁¼_¿ÁɸǡÈ[ØÀªÄ‘ɾƒÆ‘Õwýµ¼8ŒđÀªÕWÈÄXÕ)(*+$ Ú[ɕÀÁȃÖ

! #"%$à ç ¼_ÂÄXÀÁÕ¡È-,$ÂÕ¡È5¿ÁÚ[؁¼_É>đ܃¼¾[Ç¡¾5¼_Æ

.

z&€ƒ‚

Ï

}0/d‚€%1

Ï

|ÑT‚‚(‚S„A„21 }—}43 ÐÑ165

2.1 Benefits of transparent access to data

ûG܃¼×lÕWɕÄTÝÀÁ؃¼ ¿ÁÛWâNÚ[ÉX¼_ØÇw¾[¾ƒÆXÕ<ǡ›܎ÄXÕ$×$ÇwÈ[Ç¡Ö¡¼ØƒÇwđÇlÕ¡È

؁ÀÃɵđÆXÀÁكځđ¼_ؼ ȗޗÀÁÆXÕWȃ×l¼ È<đÉSü:ÇwÈ[ØÕWÈÌÖWÆXÀÃØ̾ƒ¿ÃǓĕߔÕWÆX×$ÉAÀÁȾ[ǡƕâ

ÄXÀÃÂڃ¿ÃÇwƌþGƑ¼ ¿ÁÀª¼8ÉTÕWÈÄX܃¼‡‘³«R©¶–ž¤ –Ÿ‹~W‰“‹¯‰‰W¤›¤‘‡Š›Š¬l8¡‡ ©¶ãDÝ܃¼_ÆX¼

¿ÁÀª¼_È<đÉSÜ[ÇCÞW¼kđÕ×lՓޡ¼ØƒÇ“Ä›Ç~ÄXÕÂÕW×l¾ƒÚÄXÀÁȃÖÉX¼ Ƒޡ¼_ƑÉ_à67£ÄµÛ—¾â

ÀÁÂ_Çw¿5¼½ƒÇw×l¾ƒ¿Á¼TÀÃÉSÄXÜ[¼dÚ[ÉX¼TÕwßDđ܃¼ÌáÌƑÀÁØ8ûGÔo¾ƒÆXÕ¡ÄXՁÂÕW¿9 ;:Nàä¯È

աƛ؁¼ Æ~ÄXÕ¸ÇW؃Ø3ÉXÕ¡×l¼l؁¼ ÖWÆX¼_¼Õ¡ßk¾5¼_ƑÉXÀÃɵđ¼ È[ ¼*ߔÕWÆØ[ǓđǎÄXÜ5ǓÄ

×$ÇCÛ­Ù5¼Ú[ÉX¼ß”Úƒ¿GđÕ,×ڃ¿ªÄXÀÁ¾ƒ¿ª¼¸Â Õ¡×l¾ƒÚÄ›Ç“ÄXÀÁÕ¡È5É ãIÜ[ÀªÖW܃¼ ÆXâM¿Á¼ ÞW¼ ¿

>Ǔđǡ¿ªÕWÖWÉ ×$ÇCÛ*Çw¿Á¿ªÕ“Ýo×*ڃ¿ªÄXÀÁ¾ƒ¿Á¼TÂÕ¡¾[Àª¼8ÉÕwßRÄX܃¼TɑÇw×l¼ØƒÇ“Ä›Ç~ÄXÕ

Ù5¼Æ‘¼ ÖWÀÁɕÄX¼_ÆX¼8ØAãw܃ՓÝ>¼ ÞW¼ ÆÄX܃¼dÚ[ɕ¼_ÆIÜ[ÇWÉÄXÕ×$ÇwȗÚ[Ç¡¿ª¿ÁÛ*Ü5ÇwÈ[؁¿Á¼

ÄX܃¼¿ªÕÂ_Çw¿ÁÀ8ǓÄXÀÁÕ¡ÈËÕwßTđ܃¼ÆX¼_¾ƒ¿ÁÀÁÂ_Ç¡ÉVÇwÈ[ØoÄX܃¼_ÀªÆ$ աÈ[ÉXÀÁɕÄX¼_È[ÂÛWà

ç Ú[›ÜÇ*¿ªÕ“ÝGâN¿Á¼ Þ¡¼_¿RÇ¡¾ƒ¾ƒÆ‘ÕWÇW›Ü$×lÇ¡ÿ¡¼8Éy؃ÇwđÇ×$ÇwÈ[Ç¡Ö¡¼ ×l¼_ÈWÄ>Õ¡È

֡ƑÀÁ؃É>ƛǓđ܃¼ ÆT ա×l¾ƒ¿Á¼½Aà

ä¯ÈPÕWƑ؁¼_ÆdđÕՓޡ¼ ƛÂÕW×l¼ÄXÜ[¼_ÉX¼V¿ÁÀÁ×VÀªÄ‘ÇwÄXÀÁÕ¡È[É*ÇwÈ[Ø,×$Çwÿ¡¼lÇ

ɵđ¼ ¾Ä‘Õ“Ý>ǡƑØ[É ÇTƑ¼_Ç¡¿WޗÀÁƕđÚ[Çw¿ÁÀ_ǓđÀªÕWÈÕwß[ÄX܃¼G×$ÇwÈ[Ç¡Ö¡¼_×V¼_È<Ä Õwß

¿ÁÇ¡ÆXÖW¼â¯ÉXÂ_Çw¿Á¼*؁ÀÃɵđÆXÀÁكځđ¼_ØP؃ǓěǃãDđ܃¼gÂÕWÈ[¼_¾ÄÕwßG¡Œ–ž3W‰“‹¯‰“™

Š•†[‰“Œ–Ÿœ—¸Š ‡ Œ¨_–ž¤›‡$Ü5Ç¡ÉÙR¼ ¼ ȾƒÆ‘Õ¡¾RÕWÉX¼_Ø4 Mà$ûG܃¼lÀÃ؁¼_ÇÀÃÉÌÄXÕ

¾ƒÆXՓޗÀÃ؁¼ÇˋMX‰wœƒŠM«ƒ‰wX‡ œ[‹W‰“‹¯‰o‰¡¤›¤›‡Š‘Š¸¬$_W‡©¸ÀÁÈ£ÄX܃ÀÃÉgÇ¡¾â

¾ƒÆXÕ<ǡ›ÜãGđ܃¼Ú[ɕ¼_Ƹǡ  ¼_ɑɕ¼8Ɏ؃ÇwđÇoÞ<ÀÃÇÊÖW¿ªÕWÙ[Çw¿ÌÀÃ؁¼ È<ÄXÀ[¼_ƑÉ_à

ûG܃¼dÉX¼ ƑÞ<ÀüdÝ܃ÀÁ›Ü$ÀÁ×l¾ƒ¿Á¼ ×l¼ È<đÉkÄXÜ[ÀÁÉy×l՗؃¼ ¿RÜ[ÇwÈ[؃¿ª¼8Ék؃ÇwđÇ

¿ªÕÂ Ç¡¿ªÀ_ÇwÄXÀÁÕ¡ÈZÇwÈ[Ø®ÄXƛÇwÈ[ɕߔ¼ ÆÝÀªÄX܃ÕWځÄLÇwȗÛ܃¼_¿ª¾bß”Æ‘Õ¡× Ä‘Üƒ¼

¾ƒÆXÕW֡ƛÇw×l×l¼ Æ8à.äNÄÄXƛÇwÈ[ÉX¾[Ç¡ÆX¼_ÈWđ¿ªÛ²×$Ç¡È[ÇwÖW¼_É؃ǓěÇo¾R¼ ƛÉXÀÁɕâ

ÄX¼ È5¼3ÀÁÈbÇË؁ۗÈ[Çw×lÀÃÂwãT¿ÃÇwƑ֡¼ âNɑ ǡ¿ª¼Wã؁ÀÁɕÄXƑÀÁكځÄX¼8ؼ_È<ޗÀÁÆXÕWȁâ

×V¼_È<Ä_àûG܃¼ØƒÇwđÇɕÜ[Ç¡ÆXÀÁȃ֎ÉX¼ ƑޗÀÁ ¼*ÂÕWÈ[¼_¾Ä~ÀÃÉ~Ù[Ç¡ÉX¼_ظÕWÈ3Ç

Ü<ۗكƑÀÃØgÇw¾ƒ¾[ÆXÕ<ǡ›Ü$ÀÁÈ[ɕ¾[ÀªÆ‘¼_Ø$ٗÛ~ÀÁɕÄXƑÀÁكځÄX¼8Ø ç Ü5ÇwƑ¼_Ø L¼ ×Vâ

աƑÛgü ç 3þIÉXہɵđ¼ ×$ÉüŸß”ÕWÆSÄXƛÇwÈ5ɕ¾[Ç¡ÆX¼_È<ÄÇW ¼8ÉXÉ Ä‘Õ؃ǓěÇÇwÈ[Ø

ÂÕ¡È5ɕÀÃɵđ¼ È[ Ûg×$ÇwÈ[Ç¡Ö¡¼_×V¼_È<ěþ>ÇwÈ[ؾR¼ ¼_ƕâMÄXÕ¡âM¾R¼ ¼_ÆüžÔ “Ô>þɕہɕâ

ÄX¼ ×$ÉüŸß”Õ¡ÆTÄX܃¼_ÀªÆÌÉXÂ_Çw¿ÃÇwكÀÁ¿ªÀªÄµÛÇ¡È[ØÞ¡ÕW¿ÁÇwÄXÀÁ¿ªÀªÄµÛ$đա¿Á¼ ƛÇwÈ[ ¼8þŒà>ä¯È

ǡ؃؁ÀªÄXÀÁÕ¡ÈPđÕ,؃ÇwđÇ3¾5¼_ƑÉXÀÁɕÄX¼_È[¼WãÄX܃¼É•¼_ÆXޗÀüŽÉX¾5¼8ÂÀ5 ÇwÄXÀÁÕ¡È

ÀªÈ[ ¿ªÚ5؁¼_Éđ܃¼Gߔա¿Á¿ÁՓÝÀªÈƒÖ¾ƒÆ‘Õ¡¾R¼ ÆXÄXÀÁ¼_É ØƒÇwđÇ աÈ[ÉXÀÁɕÄX¼_È[ÂÛÇwÈ[Ø

ߞÇwڃ¿ªÄÄXÕW¿ª¼_ƑǡÈ[¼؁¼_ÉX¾ƒÀªÄX¼ßžÇ¡Àª¿ÁڃƑ¼_É , Mà

2.2 Overview of ^{9 #"%$}

ûGÜ[¼~ÂÕWÈ[¼_¾ÄyÕ¡ß؃ǓěǓâ¯É•Ü[Ç¡ÆXÀÁȃÖÉX¼ ƑޗÀÁ ¼TÀÁÉkÀª¿Á¿ÁÚ[ɵđƑÇwÄX¼8Ø$ٗÛ

ÄX܃¼ #"$ ÉXÕwߟĵÝGÇwƑ¼~¼ ½¾5¼_ÆXÀÁ×l¼ È<đǡ¿¾ƒ¿ÃǓĕߔÕWÆX×à>ûG܃¼

Ö¡¼ È[¼ ƛÇw¿wÇwƛ›܃ÀªÄX¼8ŒÄXÚ[ÆX¼Õwß 4"%$P×lÀªÆ‘Æ‘Õ¡Æ›ÉAÇ>ߔ¼_؁¼_ƑÇwÄXÀÁÕ¡ÈÕwß

؁ÀÁɕÄXƑÀÁكځÄX¼8Ø, ¿ªÚ5ɵđ¼ ƛÉÌÇ¡È[ØLÀÃÉÌÄXÜ[¼ Ƒ¼ß”Õ¡Æ‘¼l†–ž‡‘‰“X¤›†—–ž¤›‰“©˜àgûG܃¼

Ö¡ÕWÇ¡¿ ÀÃÉÌÄXÕÇ¡Â_ÂڃƛǓđ¼ ¿ÁÛ×lÇ¡¾3đ܃¼l¾ƒÜ—ہɕÀàǡ¿È[¼ÄµÝ>աƑÿđա¾RÕ¡¿ªâ

Õ¡Ö¡ÛWã¡ÀÁȎÕWƑ؁¼_ÆIđÕ*¼åg Àª¼_ÈWđ¿ªÛlÚ[ÉX¼Tđ܃¼ÌڃÈ[؁¼_ÆX¿ÁۗÀªÈƒÖ܃ÀÁÖ¡Üg¾R¼ ÆXâ

ߔաƑ×lÇ¡È[¼­È[¼ÄµÝ>աƑÿ—ɸÇCޓǡÀª¿ÃÇwك¿Á¼­Õ¡È§ÖWÆXÀÃاÀªÈƒß”Æ‘ÇWɵđÆXÚ[ÂÄXڃƑ¼_É_à

yÕ¡È[ÉX¼<ڃ¼_ÈWđ¿ªÛWãkđ܃¼3ǡƑ›܃ÀªÄX¼8ŒđڃÆX¼Õ¡ß 4"%$ Ƒ¼ ¿ÁÀª¼8É$Õ¡È

ȃՁ؁¼ÌÉX¼Ä›É>ÄXÕV¼½¾ƒÆ‘¼_ɑÉyÄX܃¼ÜƒÀÁ¼ ƛÇwƛ›܃ÀàÇw¿5È[ǓđڃƑ¼ÌÕ¡ßÄXÜ[¼~ěÇwÆXâ

Ö¡¼Ä‘¼_ØLÄX¼_ɕÄXÙR¼_Øà7dȗÛLȃՁ؁¼l×$ÇCÛLÚ[ÉX¼*đ܃¼gɕ¼_ÆXޗÀüÄXÕ¸Çw¿Á¿ÁÕwâ

 Ǔđ¼¡ãyÆX¼8Ç¡ØËÕ¡Æ$ÝƑÀ˜Ä‘¼Ø[ǓđÇPÇWÉL¤©¶–ž‡ œ[‹:ŠŒãyÀÁȲǾ5¼_¼ ÆXâ:đÕwâN¾5¼_¼ Æ

Çw¾ƒ¾ƒÆ‘ÕWÇW›Üà ûGÜ[ÀÁÉ>Çwƛ›܃ÀªÄX¼_ÂÄXڃƑ¼TÜ[ÇWÉkÙR¼ ¼_ȎÀÁ×l¾ƒ¿ª¼_×l¼ È<ÄX¼8ØgÚ[ɕâ

ÀªÈƒÖVđ܃¼ Ìû7 ;: Ö¡¼_ȃ¼ ƑÀÁÂ~Ô wÔ£¾[¿ÁÇwĕߔաƑ×à

ûGÜ[¼ 9 #"%$ 7TÔkä.¾ƒÆ‘Õ“Þ<ÀÃ؁¼8É ÄXÕ±Ú[ÉX¼ ƛÉ¿ÃǡɑÉXÀÁÂ_Çw¿

ߔڃÈ[ŒđÀªÕWÈ[É>ÄXÕ$Ç¡¿ª¿ÁՁ Ǔđ¼ÇwÈ[Ø×$Çw¾“ڃȃ×$Çw¾×l¼ ×lաƑÛ$ك¿Á՗›ÿÉ_ã

ɕÚ[›ܭÇWÉ "!ãD¼Ä›Âwà¸ûG܃¼g×l¼_×VÕWÆXÛÇw¿Á¿ªÕÂ_ǓÄXÀÁÕ¡È

Õ¡¾R¼ ƛǓÄXÀÁաȲƑ¼Ä‘ڃƑÈ[ÉÇoÖ¡¿ÁÕ¡Ù[Ç¡¿~؃ÇwđÇoä#*àûG܃ÀÃɎä# Â_ÇwÈÙR¼

Ú[ɕ¼8ØÊٗÛÊÕ¡ÄX܃¼_ÆVÈ[՗؃¼_ÉlÀÁÈËÕWƑ؁¼_ÆVÄXÕ­Ç¡Â_¼_ɑɼ½ÀÁɕÄXÀÁȃ֭؃ÇwđÇ

ÄX܃ƑաڃÖWÜÄX܃¼VÚ[ÉX¼Õ¡ßSÄX܃¼$%& '$ߔڃÈ[ÂÄXÀÁÕ¡Èàû ՎÕWفâ

đÇwÀÁÈ$Ƒ¼_Ç¡Ø$Ç¡È[Ø(“Õ¡ÆIÝƑÀ˜Ä‘¼~ÇW ¼8ÉXÉIÕ¡ÈgÇ*Ø[ǓđÇ[ãWÇ*¾ƒÆXՁ ¼_ɑÉÄXÜ[ÇwÄ

Ú[ɕ¼8É! 4"%$oÉX܃ÕWڃ¿ÁØÇ¡ÂWÚ[ÀªÆ‘¼SÄXÜ[¼>¿ÁՁ›ÿǡɑɕՁÂÀÃǓđ¼_ØÌđÕdđ܃¼

؃ǓěÇÄX܃ƑաÚ[Ö¡ÜP¼ ÀªÄX܃¼_Æ) *!%+,-."3üž¼½ƒÂ¿ÁÚ[ÉXÀªÞW¼g¿ªÕÂ›ÿƒþ

Ñd‚—‚ ‚S„A„21 }—}#/ÐI€ƒ}

:IÞ¡¼_ÈÊÄXÜ[աڃÖWÜÊÀ˜ÄlÀÃÉ*¾RÕWɑɕÀÁك¿Á¼gđÕ,ÉXÀª×ڃ¿ÁÇwÄX¼ØƒÇ“Ä›Ç3Ç¡Â_¼8ÉXÉ

ٗۼ ½—¾[¿ªÀÃÂÀªÄd×l¼_ɑÉXÇ¡Ö¡¼¼ ½Â›Ü5ÇwȃÖW¼_ÉGđ܃ÆXÕWڃܸ֡ ¿ÁÇWÉXÉXÀÁÂ_Çw¿¾RÕ¡ÆXđÉ_ã

Ǹ×lաƑ¼g¼åg Àª¼_ÈWÄlÇwÈ[Øʼ_Ç¡ÉXÀÁ¼ Æ*ÉXÕ¡¿ÁځÄXÀÁÕ¡ÈÊߔաÆØ[ǓđÇL×lÇ¡È[ÇwÖW¼â

×l¼ È<ÄÀÁÈÊÂÕW×V¾RÕ¡È[¼ È<Ä*×lՁ؁¼ ¿ÃÉÉX¼ ¼_×$ɾRÕWɑɕÀÁك¿Á¼gٗÛ,Ƒ¼ ¿ÁۗÀªÈƒÖ

Õ¡ÈÇwȎ¼ ½—ÄX¼ ƑÈ[Ç¡¿DØ[ǓđÇVÉXÜ[ÇwƑÀªÈ[ÖÉX¼ ƑÞ<ÀüWãÉ•Ú[›ÜÇ¡É 9 #"%$à

T¼_È[¼Ì×$ÇwÈ[Ç¡Ö¡¼ ×l¼_ÈWÄ>Õwß Â Õ¡È[ ڃƑÆX¼_ÈWÄ>Ç¡Â Â ¼_ɑɕ¼8ÉIđÕ؃ÇwđÇVÇwÈ[Ø

ɕۗÈ[›Ü[ÆXÕWȃÀ8ǓđÀªÕWÈ[ÉDÀÁÉÆX¼_×VՓÞW¼_Ø~ߔƑա×đ܃¼IߔÚ[È[ŒđÀªÕWÈ[Çw¿<ÂՁ؁¼IÕ¡ß

ÄX܃¼ÌÂÕW×V¾RÕ¡È[¼ È<ÄyÇwÈ5Ø$Çw¾ƒ¾R¼_ǡƑÉđƑǡÈ[ÉX¾[ÇwƑ¼ È<ÄSÄXÕÄX܃¼d ա×l¾RÕwâ

ȃ¼ È<Ä ÀÁ×l¾ƒ¿Á¼ ×l¼ È<ÄX¼_Æ_àû ÕGđ܃ÀÃɾƒÚƒÆ‘¾RÕWÉX¼¡ã8Ýy¼IÀÁÈ<ÄXƑՁ؁Ú[¼Iǝ¡‰“‹¯‰

«ƒwŒ‹S¬l8¡‡ ©Ç¡ÉyÇwȎÇwĕđ¼ ×l¾Äkđռ È[ÆXÀÛÜ$¼½ÀÃɵđÀªÈƒÖ¤›“¬d«ƒwœR‡ œ[‹

¬l8¡‡ ©»ŠkÝÀªÄX܎‹:X‰wœƒŠM«[‰“X‡ œ[‹ W‰“‹¯‰‰¡¤›¤›‡ŒŠ›ŠŒàûGÜ[¼ Èã8ÄXÜ[ÀÁÉ Ö¡¼_ȃ¼ ƑÀÁÂ

ÇwÙ[ɕÄXƛǡÂÄk×lՁ؁¼ ¿DÀÃÉyÀÁÈ[ɕđǡÈ[¼8ØlÄXÕÄX܃¼ (<;>=?*@ yÕ¡×l¾5ÕWȃ¼ È<Ä

¸ÕØ¼ ¿ü(*+$~þŒàBA¼ Ä>Ú5ÉyÈ[ÕwÄX¼~܃ՓÝ>¼ Þ¡¼_ÆSÄXÜ5ǓÄ>ÄX܃ÀÃÉGÇw¾ƒ¾ƒÆ‘ÕWÇW›Ü

ÂÕWڃ¿ÁØ$Ç¡¿ÁÉXÕÙR¼dÇw¾ƒ¾[¿ªÀÁ¼_ØVđÕÕwđ܃¼ Æ>ÂÕ¡×l¾Rաȃ¼_È<ÄI×VՁ؁¼_¿ÁÉ_ã—É•Ú[›Ü

Ç¡É(*(@ C Õ¡Æ8[ƑÇWŒđǡ¿ D Mà

3.1 An abstract data port model

E

ڃÆ3¾ƒÆ‘Õ¡¾RÕWɑÇw¿VÂÕWÈ[ɕÀÃɕđɸÀÁÈÅÀÁÈWđÆXՁ؁Ú5ÂÀÁȃ֮Ǯ؃¼_؁ÀàÇwÄX¼_Ø

ߞÇw×lÀÁ¿ªÛÕwßI¾RÕ¡ÆXđÉdÈ[Çw×l¼8Øo¡‰w‹N‰*«[“Œ‹:ŠŒãDǡك¿Á¼ÄXÕ¿ªÕWÖ¡Ààǡ¿ª¿ÁÛÇwĕâ

đÇW›ÜLÇgɕÜ5ÇwƑ¼_Ø؃ǓěÇlÄXÕÇgÂÕW×V¾RÕ¡È[¼ È<Ä_à ç Ú[›Ü,Çgɕ¼_×$ÇwÈ<ÄXÀàÉ

ÂÕWڃ¿ÁØPÙR¼ŽÕWفđǡÀªÈ[¼_ØPٗÛPÆX¼_¿ªÛ—ÀÁȃָաȭđ܃¼L‹MX‰“œ[ŠM«ƒ‰wX‡œ5‹¡‰“‹¯‰

‰¡¤›¤›‡ŒŠ›Š$¬$_W‡©Ø¼8ÉX ÆXÀÁÙ5¼8ØÀªÈ ç ¼8ŒđÀªÕWÈ'ƒàû ÕÄX܃ÀÃɼ_È[ØAãÝy¼

؁¼5ȃ¼ÄµÝyÕ$ÿ—ÀÁÈ[؃ÉÕ¡ßS¾5ÕWÆ•Ä›É à E ÈÕWȃ¼Ü[ÇwÈ5ØAã5NJX†ƒ‰wX‡Š¾5ÕWƕÄ

Ö¡ÀÁÞ¡¼8É~Ç¡ÈÇW ¼8ÉXÉdÄXÕÇɕÜ[Ç¡ÆX¼8Ø3؃ÇwđÇ[à E È3đ܃¼lÕwđ܃¼ ÆÜ[Ç¡È[ØAã

ÇwÈP‰¡¤›¤›‡ŒŠ›Š ‡ŒŠÌ¾5ÕWƕÄG¼ È5Çwك¿Á¼_É>Ç ա×l¾Rաȃ¼_ÈWÄ>ÄXÕlÇ¡Â_¼8ÉXÉ>Ç*؃ÇwđÇ

¼½¾RÕ¡ÆXÄX¼_؎ÄXÜ[ÆXÕWڃ֡ÜNJ•†[‰“X‡Š¾5ÕWƕÄ8à

ä¯È աƛ؁¼_ƲÄXÕ Ç¡Â Â ¼_ɑɮÇ.Ø[ǓđÇ[ãĵÝyÕĵÛ<¾R¼_É®ÕwßÊÀÁÈ<ÄX¼ ÆXâ

ߞǡ ¼_ÉÇwƑ¼Æ‘¼<ڃÀÁƑ¼_ØÌաȃ¼VߔÕWÆÇW  ¼_ɑɕÀÁȃÖÄX܃¼$؃Çwđǃã È[Çw×l¼_Ø

¡‰w‹N‰F†[‰“œD—©¶–Ÿœ<ã5Ç¡È[Øաȃ¼ÌߔաÆd×lÇ¡ÿ—ÀªÈƒÖVđ܃¼ØƒÇ“Ä›Ç$ÇCޓÇwÀÁ¿Áǡك¿ª¼

ÄXÕÊÕ¡ÄX܃¼_Æ ա×l¾5ÕWȃ¼ È<Ä›É ãGÈ[Ç¡×V¼8Øŝ¡‰w‹N‰F*‘‡žˆ‡ X‡ œR¤›‡GFl‡‘³«ƒwŒ‹ à

ûG܃¼g¡‰w‹N‰F†[‰“œD—©¶–Ÿœ<ÀÁÈ<ÄX¼ ÆXߞǡ ¼~ÀÃÉÇwÈÀÁÈWđ¼ ƑÈ[Çw¿A ա×l¾5ÕWȃ¼ È<Ä

ÀªÈ<đ¼ ÆXߞǡ¼ÇCޓÇwÀÁ¿Áǡك¿ª¼3ÄX܃ƑաÚ[Ö¡Ü ‰W¤‘¤›‡Š›Š‡ŠP¾5ÕWƕěÉÇWÉÝ>¼ ¿Á¿Ç¡É

ÄX܃ƑաÚ[Ö¡ÜgŠX†[‰“X‡Š>¾RÕ¡ÆXđÉ_à ä¯È5؁¼ ¼8ØAã¡ÇÂÕW×V¾RÕ¡È[¼ È<Ä Ä‘Ü[ǓÄGŠX†ƒ‰wX‡Š

ɕÕW×l¼ØƒÇ“Ä›Ç$×$ÇCÛÇw¿ÃÉXÕ$ȃ¼ ¼8ØÄXՎÇW ¼8ÉXÉÄX܃¼*Ø[ǓđÇ[à 8 ÀÁÖ¡Ú[ÆX¼ :

ɕÜ[ՓÝTÉRÄX܃¼ 7TÔIäDÕwߗđ܃¼~¡‰w‹N‰F†ƒ‰“œD—©¶–Ÿœ—ÀÁÈWđ¼ ÆXߞǡ ¼SÕwæD¼ Ƒ¼_Ø~ÄXÕ

ÄX܃¼Ž¾ƒÆXÕW֡ƛÇw×l×l¼ Æ8àläNÄ*¾ƒÆ‘Õ“Þ<ÀÃ؁¼8ÉIH,J*'**-&KJ",."%H"J*L-&M

¾ƒÆ‘Àª×lÀªÄXÀÁÞ¡¼_ÉÊÄXÕÅƑ¼_ÉX¾R¼_ŒđÀªÞW¼ ¿ÁÛ Æ‘¼Ä‘ÆXÀÁ¼ ÞW¼ÇžRÕ¡ÀÁÈ<ÄX¼ ÆoÄXզđ܃¼

ɕÜ5ÇwƑ¼_ØZ؃ǓěDzÇwÈ[اÀªÄ‘É,ɕÀ ¼Wà äNÄ,Ç¡¿ÁÉXÕ|¾ƒÆXՓޗÀÃ؁¼_É3ɕۗÈ[›܃ƑÕwâ

ȃÀ_ǓđÀªÕWÈ˾[ÆXÀÁ×lÀ˜Ä‘ÀªÞW¼_É_ãy¿ÁÀªÿW¼N*!%+,-.",Ç¡È[ØO." *L[à|ûG܃¼

*!%+,-."." 0¾ƒÆ‘Àª×lÀªÄXÀÁÞ¡¼É•¼ đÉTÇV¿ÁՁ›ÿ$ÀªÈƑ¼_ǡ؁âMÕWȃ¿ªÛ$×lՁ؁¼

ɕÕVđÜ[ǓÄ×*Ú[¿˜Ä‘Àª¾ƒ¿Á¼Æ‘¼_ǡ؃¼ ƛÉ>Â_ÇwÈɕÀÁ×*Ú[¿˜Ä›Çwȃ¼_Õ¡Ú[ÉX¿ªÛgÇW  ¼_ɑÉkđ܃¼

؃ǓěǃãÝ܃¼_ÆX¼8Ç¡ÉP*!+-."Vɕ¼ đÉÇV¿ªÕÂ›ÿgÀÁȼ½ƒÂ¿ÁÚ[ÉXÀªÞW¼×VՁ؁¼Wà

ûG܃¼W‰“‹¯‰QFX‡:ˆ‡‘‡œD¤‘‡RFl‡X³«[“Œ‹TÀÁÈ<ÄX¼_ƕߞÇW¼ÀÃÉ~Ç¡ÈL¼½—Ä‘¼ ƑÈ[Çw¿

ÂÕW×V¾RÕ¡È[¼ È<ÄÀªÈ<ÄX¼_ƕߞÇW¼ÕWȃ¿ªÛŽ¾ƒÆXՓޗÀÃ؁¼_Øٗ۸ŠX†ƒ‰wX‡ŒŠ¾RÕ¡ÆXđÉ_àSäNÄ

ÇwÀÁ×$ÉkǓÄ>Çw¿Á¿ªÕ“ÝÀÁȃÖÇ ա×l¾5ÕWȃ¼ È<ÄkÝÀªÄXÜÇwÈ3‰¡¤›¤›‡Š‘Š ‡Šd¾RÕ¡ÆXÄIÄXÕ

ÆX¼ ÄXƑÀª¼_Þ¡¼ÇVÆX¼ ߔ¼ Ƒ¼ È[ ¼ÌÄXÕgÉXÕ¡×l¼ØƒÇ“Ä›ÇV¾ƒÆXՓޗÀÃ؁¼_ØٗÛNJX†ƒ‰wX‡Š

¾5ÕWƕÄ8àûyۗ¾ƒÀàÇw¿Á¿ÁÛ¡ã¡ÀªÄ> աÈ<đǡÀªÈ5ÉIÇwÈ$ÕW¾5¼_ƑÇwÄXÀÁÕ¡ÈlÝ܃ÀÛÜ$ÆX¼ ÄXڃƑÈ[É

!

"#%$&!

' ')( * +,-./+10234 0/+65&.087&0 4 09:;

<

%=>?@%&!

<

%=>?@% !

<

%A #&!

B

Figure 1.CEDGFHD@I%JKLNMOJQPRSJK%J TGI%PUI%VWJYX&K%P1ZKM[\[\JK^]@_

TWMIM`XaPKI%bcedfVWJgbVWMK%J T6TMIMhFHbEMDiMKKM_jPLlkWPmMI c

n#%m) SoNp qSosrqa

' 'ut/75/+:+14;-3.0+vw3x 343;853, :my

zu#)

##i#%mu {m#

' 'ut/75/+:+14;0871|&}34 0+v~3"/ x*&y

z{ n)

# ##6#%m€ z@#a

B

Figure 2.CEDg‚ƒ…„‡†gˆŠ‰1‹ŒJM[\XWŽJEPL^TWMIMGXaPKI%bc

3.2 Case study: extending ^(*+$ via

4"%$

-based data ports

ûGÜ[ÀÁÉ>ɕ¼8ŒđÀªÕWÈg؁¼_ɑÂƑÀªÙR¼_ÉkǾƒÆ‘Õwýµ¼_ÂÄXÀÁÕ¡È$Õ¡ßRđ܃¼d¾[ÆX¼_Þ<ÀÁÕ¡Ú5ɕ¿ÁÛ

ÀªÈ<ÄXƑՁ؁Ú[ ¼_Ø­ÇwÙ5ɵđƑÇWŒÄ؃ÇwđÇ3¾5ÕWƕÄ*×lՁ؁¼_¿ÌüµŠ•†[‰“X‡ŠÇ¡È[Ø®‰W¤™

¤‘‡Š›Š ‡ŒŠ|¾5ÕWƕěɑþ,ÕWÈWđծđ܃¼ (*+$ ÂÕ¡×l¾Rաȃ¼_È<Ä×lՁ؁¼ ¿ÇwÈ[Ø

4"%$àBA ¼ÄÚ[É 5ƑɕÄÖ¡ÀÁÞ¡¼ÇVكÆXÀÁ¼ßՓޡ¼_ÆXޗÀÁ¼ ݲաß(*+$à

(*+$  ÀÁɾ[ǡƕÄÕwßđ܃¼4(<;>=?(@ ‘ gü’I“¬V¬$“œ”“Tš™

•

‡‘¤ ‹—–d‡˜ ¥[‡ŒŠŒ‹—™TX_¢W‡›š~X¤›†—–Ÿ‹¯‡›¤‹M¥X‡‘þŽÉX¾5¼8ÂÀ5 ÇwÄXÀÁÕ¡È[ÉPüžÞ¡¼ ÆXâ

ɕÀÁÕ¡È &WþàyûG܃¼ (* $Åɕ¾R¼_ À5Â_ǓđÀªÕWÈ[ÉTÇw¿Á¿ÁՓÝÄXÜ[¼*؁¼ ¾[¿ªÕ“Û—×l¼ È<Ä

Õwß[ÂÕW×l¾5ÕWȃ¼ È<Ä‘É ÀªÈ<đÕ~ÇT؁ÀÃɕÄXƑÀªÙƒÚƒÄX¼_ØÇwÈ[Ø܃¼Ä‘¼ Ƒա֡¼_ȃ¼ ÕWÚ[ÉA¼_ȁâ

Þ<ÀÁƑաȃ×l¼ È<Ä8à7 (<;>=?*@¸Â Õ¡×l¾5ÕWȃ¼ È<Ä8ã¡Â Ç¡Èl؃¼[ȃ¼ 5Þ¡¼ÿ—ÀªÈ5؃É

Õwß¾5ÕWÆ•Ä›É àœ ‰¡¤›‡ ‹žŠ3Ç¡È[اX‡›¤›‡N«D‹N‰W¤©ª‡Š3¾ƒÆ‘Õ“Þ—ÀÁ؃¼ÄX܃¼LƑ¼ ×lÕ¡ÄX¼

×V¼ ÄX܃ՁأÀÁÈ<ÞWՁ ǓđÀªÕWÈ˾5Çwƛǡ؁ÀÁÖ¡×à 7TÈ|¼_Þ¡¼ È<Ď ա×l×*ڃÈ[ÀÁÂ_Ǔâ

ÄXÀÁÕ¡È×VՁ؁¼_¿IÀÃÉÕwæD¼ Ƒ¼_Ø,Ù<Û,¼ ÞW¼ È<ÄlŠw¥X¤›‡ŒŠ$ÇwÈ5ØʊŒ–Ÿœ—¢“ŠŒà€š~‹M™

‹:Œ–žš ¥‹N‡ŠŒãSÝ܃ÀÛÜoÇwƑ¼Ž¾ƒÆ‘ÀÁ×lÇ¡ÆXÀÁ¿ÁÛÀÁÈ<ÄX¼_È[؁¼_ØÊÄXÕ,Ù5¼Ú[ÉX¼_حߔÕWÆ

ÂÕ¡×l¾Rաȃ¼_È<Ä*ÂÕ¡È%[֡ڃƛǓđÀªÕWÈã Ç¡ÆX¼$ޓǡ¿ªÚƒ¼8ɼ½¾RÕWÉX¼_Ø,ÄXÜ[ÆXÕWڃ֡Ü

Ç¡Â Â ¼_ɑɕÕWÆÌüžÆX¼8Ç¡Ø[þ>Ç¡È[Ø×*ځěǓÄXÕWÆü”ÝƑÀ˜Ä‘¼8þ>Õ¡¾R¼ ƛǓđÀªÕWÈ[É_à

(*+$ ÕwæD¼ ƛÉÌǎ؁¼8ɕÀÁÖ¡È,×VՁ؁¼_¿ÄXÕ؁¼_ɑÂƑÀªÙR¼Â Õ¡×l¾Rաȃ¼_ÈWěÉ

ÇwÈ[Ø(ÄX܃¼_ÀªÆ­¾RÕ¡ÆXđÉPÚ5ɕÀÁȃÖZÄX܃¼ (<;>=?(@ &ZÞ¡¼_ƑÉXÀÁÕ¡È(աߎđ܃¼

ž $`Ÿ,ä¯È<ÄX¼_ƕߞÇW¼Id¼ [ȃÀªÄXÀÁÕ¡È A ÇwÈ[Ö¡Ú[Ç¡Ö¡¼ü8 ¡^¢<þŒàäNÄTÇw¿ÃɕÕV¾ƒÆ‘Õwâ

Þ<ÀÃ؁¼8É>Ç¡ÈÇWÉXÉX¼ ×ك¿ªÛl×lՁ؁¼ ¿MãƒÇ¾5ǡ›ÿ“ÇwÖWÀªÈƒÖVÇwÈ[Ø؁¼ ¾[¿ªÕ“Û—×l¼ È<Ä

×VՁ؁¼_¿:ãRÇwȸ¼ ½—¼8ÂځđÀªÕWÈ×VՁ؁¼_¿ Ç¡È[ظÇ$ÂÕW×V¾RÕ¡È[¼ È<Ä£ÉT¿ÁÀ˜ß”¼ÂÛ<â

¿Á¼×lÇ¡È[ÇwÖW¼ ×l¼ È<Ä×lՁ؁¼ ¿Mà :kÇW›Ü×VՁ؁¼_¿ ؁¼8Çw¿ÃÉGÝÀ˜Ä‘ÜLÇl¾[ÇwÆXÄ

ÕwßÇ (*+$§Çw¾[¾ƒ¿ªÀàÇwÄXÀÁÕ¡È¿ªÀªß”¼Âہ ¿ª¼Wà

¤¼d¾[ÆXÕW¾5Õ<ɕ¼Gđռ½—ÄX¼_È[Ø (*+$|ÝÀªÄXÜ,W‰“‹¯‰«[“Œ‹:Šd ǡ¾[ÇwÙ[Àª¿ªâ

À˜Ä‘Àª¼8É¥RÄXÜ[ÀÁÉ~ÆX¼ <ڃÀªÆ‘¼_ÉTÄXÕg¼_ȃÜ[Ç¡È[¼À˜Ä›Édä#<A6&Ž¿Áǡȃ֡Ú[Ç¡Ö¡¼Wà

E

ڃÆ

¾ƒÆXÕW¾5Õ<ÉXÇ¡¿¡Ä‘܃¼ Ƒ¼ß”ÕWÆX¼GÂÕWÈ[ÉXÀÁɕđÉÀÁÈÀÁÈ<ÄXƑՁ؁Ú[ÂÀÁȃÖÌĵÝ>Õ~ȃ¼_ÝoÿW¼ Û<â

ÝyÕWƑ؃ÉdÀªÈ,ÄXÜ[ÀÁÉÌ¿ÃÇwȃÖWÚ[ÇwÖW¼ŠX†ƒ‰wX‡ŠVÇwÈ5Øˉ¡¤›¤›‡Š‘Š ‡ŠŒà ç Ú[›ÜÇwÈ

¼½—ÄX¼_È[؁¼_Øu ¡^¢VÀÃÉÈ[Ç¡×V¼8؀¦§G¨Q©aªà

<

m

<

a®

# ##%m1# a

%a

B<

%­ n‡z¬® ®²? ³#%mWu

SoNqa

)´6#%m SµN!

#%m1# Sµs>?!%

¶—´"·¬ ¸6¹6pa ¸—º ºmj

»¼°z ?mW‡So8qm!

B

#%m1# SµN#!

#%m Sµs>?@&8So8%qm!

? ½? ³#%mW‡ So¾% qm&

#%m SµN #&!

B

Figure 3. ¿Y‹g‹ÀF[\XWŽJ[\JD@IMI%FPD"PLQMjÁÃÂÄ]aP!T&_"MXXWŽFÅ OMI%FP1D6ÆQFÅI%VTMIMGXaPKI%bc

ÄXÀÁÕ¡ÈߔաÆIǸÇâNÙR՗؃Û*ɕÀÁ×*Ú[¿ÁÇwÄXÀÁÕ¡Èà!7>ÄI¼_ǡ›ÜVɵđ¼ ¾VÕwßRÄX܃¼ÉXÀª×ځâ

¿ÁÇwÄXÀÁÕ¡ÈãCđ܃¼>¾5Õ<ɕÀªÄXÀÁÕ¡ÈÕwß[ÙRՁ؁Àª¼8ÉÀªÈÄX܃¼GÉX¾[Ç¡Â ¼yÇwƑ¼GÂÕ¡×l¾ƒÚƒÄX¼_Ø

Ç¡Â_Âաƛ؁ÀÁȃÖÄXÕÄXÜ[¼$֡ƛÇCÞ<ÀªÄ‘ÇwÄXÀÁÕ¡È[Ç¡¿ß”աƛ¼_ÉÇ¡¾ƒ¾ƒ¿ÁÀª¼8Ø3ÕWÈÄX܃¼_×

ٗێÕwđ܃¼ ÆdÙ5Ձ؁ÀÁ¼_É_à 7dÉđ܃ÀÃÉT¼½ƒÇ¡×V¾[¿ª¼ÀÃÉߔÕWÆdÇwÈÀÁ¿ª¿ÁÚ[ɕÄXƛǓÄXÀÁÕ¡È

¾ƒÚƒÆ‘¾5Õ<ɕ¼ÌÕ¡È[¿ªÛWãÝy¼ÂÕWÈ[ÉXÀÁ؁¼_ÆÇ*ÞW¼ ƑÛ$È[ÇwÀÁÞ¡¼É•ÕW¿ªÚƒÄXÀÁÕ¡ÈÄXÕÄX܃ÀÃÉ

¾ƒÆ‘Õ¡Ùƒ¿Á¼ ×à 7§ÙRՁ؁ÛÀÃÉƑ¼ ¾ƒÆ‘¼_ÉX¼ È<đ¼_ØÙ<ÛÇlÂÕ¡×l¾Rաȃ¼_È<ÄgÈ" 0WÉ

Ý܃ÀÛÜÇ¡Â_¼8ÉXÉX¼_ÉyÄXÜ[¼ÌÖW¿ªÕWÙ[Çw¿DÇwƑƛÇCÛVÕ¡ß ¾RÕWÉXÀ˜Ä‘ÀªÕWÈ[É>ÕwßÇ¡¿ª¿AÙRՁؗâ

Àª¼8ÉÀªÈ—ÞWÕ¡¿ÁÞ¡¼_Ø3ÀªÈđ܃¼gɕÀÁ×*Ú[¿ÁÇwÄXÀÁÕ¡ÈàÇTÕ¡ÄX¼VÄXÜ5ǓÄÄXÜ[¼$È<Ú[×*ÙR¼ Æ

ÕwßgÈ* 0WɎÂÕW×V¾RÕ¡È[¼ È<đÉdÀÁÉTÉX¼Ä~Ý܃¼ ÈLÇWÉXÉX¼ ×ك¿ªÀÁȃÖlđ܃¼*Çw¾[¾ƒ¿ªÀªâ

 ÇwÄXÀÁÕ¡Èà 8ÀªÖWڃÆX¼ &ŽÉX܃ՓÝTÉ~܃ՓÝãDÀªÈ3ÄX܃¼ß”ÚƒÈ[ÂÄXÀÁÕ¡È[Ç¡¿Â ՗؃¼Õ¡ß

Ç\È* 0WÉÂÕW×l¾5ÕWȃ¼ È<Ä_ãWÄXÜ[¼Ì؃ÇwđÇÀÃÉ>Ç¡Â Â ¼_ɑɕ¼8Ø$ǓÄ>¼_ǡ›Üɵđ¼ ¾gÕ¡ß

ÄX܃¼gÉXÀÁ×*ڃ¿ÃǓđÀªÕWÈà 8ÀÁƑɕÄ_ãÇÆX¼8ǡؗâNաȃ¿ÁÛ¸¿Á՗›ÿ¸ÀÃÉÇW <ڃÀÁÆX¼8ØLÕ¡È

ÄX܃¼VÖ¡¿ÁÕ¡Ù5Çw¿ Ç¡ÆXƛÇCÛgđՎƑ¼Ä‘ÆXÀÁ¼ ÞW¼ÄX܃¼V¾RÕWÉXÀ˜Ä‘ÀªÕWÈLÕwßkÕ¡ÄX܃¼_Æ~ÙRՁؗâ

Àª¼8ÉdÀÁÈLđ܃¼ÉX¾[ÇW¼¡ãAÉXÕgđÜ[ǓÄ~ÄX܃¼_ÛL ÇwÈ3Ù5¼VÚ[ÉX¼_ظ¿ÃǓđ¼ ÆÌÀªÈ¸Ä‘܃¼

¿ªÕÂ_Çw¿SÂÕW×V¾[ځđÇwÄXÀÁÕ¡È3Õ¡ßkđ܃¼lȃ¼ Ý ¾5Õ<ɕÀªÄXÀÁÕ¡È3ߔաÆÄXÜ[¼l ڃƑÆX¼_ÈWÄ

ɕÀÁ×*Ú[¿ÁÇwÄX¼_ØLÙ5Ձ؁ÛWàûG܃¼ ÈãÇ¡È3¼ ½Â ¿ªÚ5ɕÀÁÞ¡¼¿ªÕÂ›ÿÀÁÉÉX¼Äաȸđ܃¼

¾5Õ<ɕÀªÄXÀÁաȎÕwßđ܃¼Ì ڃƑÆX¼_ÈWÄ>Ù5Ձ؁Û$ÙR¼ß”ÕWÆX¼~ڃ¾D؃ǓđÀªÈƒÖÄXÜ[¼~ޓÇw¿Áڃ¼

ÀªÈlđ܃¼TÖW¿ªÕWÙ[Çw¿ƒÇ¡ÆXƛÇCÛ¡à ûGÜ[¼ Ƒ¼ß”Õ¡Æ‘¼¡ãwÄX܃¼dØ[ǓđÇÀÃÉIÜ5ÇwÈ[؁¿Á¼_ØlÇWÉSÀ˜ß

À˜ÄÝGÇ¡É¿ÁՁ ǡ¿ª¿ÁÛ¾ƒÆX¼8ɕ¼_È<Ä ÀÁÈÄXÜ[¼yÂÕW×l¾5ÕWȃ¼ È<ÄÝÀ˜Ä‘܃աځÄ؁¼_Ç¡¿ªÀÁȃÖ

ÝÀ˜Ä‘Ü,¼ ½¾ƒ¿ªÀÃÂÀªÄ؃ǓěÇgđƑǡÈ[ɵߔ¼_Æ_àûGÜ[¼Ú[ÉX¼_ØÉXÛ<È5›܃ÆXÕWȃÀ_ǓđÀªÕWÈ

¾ƒÆ‘Àª×lÀªÄXÀÁÞ¡¼_ÉÇ¡ÆX¼V×$Çw¾ƒ¾R¼_Ø,Õ¡È3ÄX܃¼$ÉXÛ<È5›܃ÆXÕWȃÀ_ǓđÀªÕWÈ 7TÔkä~Õ¡ß

! #"%$àjÇTÕ¡ÄX¼ÄXÜ[ÇwÄ_ãAߔÕWÆÌÄX܃¼$ɑÇwÿ¡¼VÕwß>¿ÃÇwƑÀ˜ÄµÛWãɕۗÈ[›܃ƑÕwâ

ȃÀ_ǓđÀªÕWÈ×l¼8›Ü[ÇwȃÀÃÉX×lÉGÙR¼ÄµÝ>¼ ¼_ÈÉXÀÁ×*ڃ¿ÃǓđÀªÕWÈɕÄX¼_¾[ÉÇwƑ¼ÈƒÕwÄ

ɕÜ[ՓÝÈà

3.3 A portable implementation for ^{(* $}

¤,¼>Ü[ÇCÞ¡¼SÀÁ×l¾ƒ¿Á¼ ×l¼ È<ÄX¼8Øđ܃¼y؃ÇwđǾRÕ¡ÆXÄ ×lՁ؁¼_¿WÀÁÈ<ÄXÕ (*+$

Ú[ÉXÀªÈƒÖ#LÀÁÂ Õ ü”ÞW¼ ƛɕÀÁÕ¡È à&ƒà;: :CþÇ¡È[Ø ! #"%$ üžÞ¡¼_ƕâ

ɕÀÁÕ¡È [àWþgÇWɎÇoØ[ǓđÇoɕÜ[Ç¡ÆXÀÁȃÖoÉX¼ ƑޗÀÁ ¼¡à E Ú[ÆÉXÕ¡¿ÁځÄXÀÁÕ¡ÈÀÃÉ

ÀªÈ5؁¼ ¾R¼ È[؃¼ È<Ä*ß”Æ‘Õ¡× ÇwÈ—Û (*+$ Àª×l¾ƒ¿Á¼ ×l¼_ÈWěǓđÀªÕWÈoÇwÈ[ØPÀªÄÀÃÉ

ÂÕW×V¾[¿ªÀÃÇwÈ<ÄTÝÀªÄXܸđ܃¼ (<;>=?*@­ÉX¾5¼8ÂÀ5 ÇwÄXÀÁÕ¡È[ÉߔաÆd¾RÕ¡ÆXđǡكÀÁ¿˜â

À˜ÄµÛlƑ¼_ÇWɕÕWÈ[É àe¤²Üƒ¼ Ƒ¼_ÇWÉSđ܃ÀÁÉ>ɕÄXƛǓÄX¼_Ö¡ÛV×$ÇCÛȃաÄy¿Á¼_ÇWØVÄXÕđ܃¼

Figure 4.dfVWJgFD@I%JK%DWMŽ MK%OVWFÅI%JOI

K%JgXK%P1XaPb%MŽ

աڃÆS¾ƒÆ‘Õ¡¾RÕWɑÇw¿ÝÀªÄXÜ[աځÄIđ܃¼d ա×l¾ƒ¿Á¼½Ù[ڃƑ؃¼ ÈlÕwßD×l՗؃À˜ß”Û—ÀÁȃÖ

Çwȼ½ÀÁɕÄXÀÁȃÖ-(*+$bߔƛÇw×l¼ Ý>աƑÿDà

¤²ÀªÄXÜ|Ƒ¼_ÉX¾5¼8ŒÄlÄXÕ­ÕWڃÆ$ÂÕWÈ[ɵđƑǡÀªÈ<Ä›É ãSđ܃¼¸ä#<A6&W«É•¾R¼_Ââ

À5Â_ǓđÀªÕWÈ(ÀÃÉ,¾[ÆXÕ¡ýµ¼_Œđ¼_ØÅÄXÕ¦Çb ¿ÁÇWÉXÉXÀàÇw¿Vä#<A6&bաȃ¼Wà 8ƒÕWÆ

ÄX܃¼ ÇâNÙ5Ձ؁۠¼ ½Ç¡×l¾ƒ¿ª¼WãÄX܃¼§Ö¡¼_ȃ¼ ƛǓđ¼_Ø ä#<A6& ÂÕ¡È<ěÇwÀÁÈ[É

ĵÝyÕ ÀÁÈWđ¼ ƑÈ[Çw¿Å ա×l¾Rաȃ¼_ÈWěÉQ &KJ". K*L*,.".±ÇwÈ[Ø

KJ",. K"!È*,0WÉDà5ûGÜ[¼ ÛÙRÕwÄXÜVɕÚ[¾ƒ¾5ÕWƕÄÕ¡¾R¼ ƛǓđÀªÕWÈ[ÉÈ[¼ ¼_؃¼_Ø

Ù<ÛlƑ¼_ÉX¾5¼8ŒđÀªÞW¼ ¿ÁÛđ܃¼ŠX†[‰“X‡ŠÇ¡È[Ø3‰W¤‘¤›‡Š›Š‡Š~¾RÕ¡ÆXđÉ>ÇwÈ5Øg¿ÁÕ¡Ö¡Àªâ

 Çw¿Á¿ÁÛÌÙR¼ ¿ÁÕ¡È[ÖdđÕdđ܃¼üL*.",.ÇwÈ[Ø È" 0WɃþAÂÕW×l¾5ÕWȃ¼ È<đÉ_àä¯Èâ

ÄX¼ ƑÈ[Ç¡¿ƒÂÕ¡×l¾Rաȃ¼_È<đÉIÇ¡ÆX¼G×$Çwÿ—ÀÁȃÖڃ¾$ÇwȖŸœ[‹¯‡Œ¬$‡›“–ž‰w‹N‡~ÂÕWȁâ

ÄX¼½—ÄGÇwÈ[Øg աÈ<đǡÀªÈ[¼ ÆkÙR¼ÄµÝ>¼ ¼_È$ÄXÜ[¼d¼½¼8ÂځđաÆGÇwÈ[Ølđ܃¼dÕ¡ÄX܃¼_Æ

¾[ÇwÆXđÉGÕ¡ßÇ$ ¿ÁÇWÉXÉXÀÁÂ_Çw¿ (*+$¦Â Õ¡×l¾5ÕWȃ¼ È<Ä8ã[Ç¡ÉÉX܃ՓÝÈÕ¡È 8ÀªÖ¡â

ڃÆX¼,[àSûG܃¼_Û$ÄXƛÇwÈ5ɕ¾[Ç¡ÆX¼_È<ÄX¿ÁÛ$ÆX¼8؁ÀªÆ‘¼_ÂÄ<(<;>=?(@,Â_Çw¿Á¿ÁÉyÄXÕVđ܃¼

¿ÃǡɑɕÀàǡ¿R աÈ<ÄX¼ ½<ÄÇwÈ5؎ÂÕWÈ<đÇwÀÁȃ¼_Æ_ãÇwÈ5ØgÀÁÈWđ¼ ƛ¼_¾ÄGÄX܃¼ØƒÇwđÇ

¾5ÕWƕÄ$աƑÀÁ¼ È<ÄX¼8ØËÂ_Çw¿Á¿ÁÉ_à ¸Õ¡Æ‘¼ ՓÞW¼ Æ8ãSÄX܃ÀÃÉ$¾R¼ Ƒ×lÀ˜Ä›ÉlÄXÕP¼_ÇWɕÀÁ¿ÁÛ

ɕÝÀªÄ‘›ÜÄXÕg؃À˜æD¼ Ƒ¼ È<Äd؃ÇwđÇ$Ç¡Â_¼8ÉXÉG×lՁ؁¼ ¿ Àª×l¾ƒ¿Á¼ ×l¼_ÈWěǓđÀªÕWÈ[É

ü9 #"%$㩪8¤›‰“©Ÿ©¶´“™NŠX†ƒ‰wX‡›I©ª‡Õ¡Æ`œ 5™NŠX†[‰“X‡›k©ª‡CþŒà

ÇdÕwđ¼dđÜ[ǓÄGÇwÈgÀÁÈ<ÄX¼ ƑÈ[Ç¡¿5ÀÁÈ<ÄX¼ ÆXߞǡ ¼¡ã<È[Çw×l¼8Ø3¡‰w‹N‰FV¤ X‡›‰“‹¯‡ ã

ÀÁÉVÇw¿ÃɕÕǓÄXđǡ›Ü[¼_ØPđÕÇʊ•†[‰“X‡Š¾5ÕWƕÄ8àäNÄg աÈ<đǡÀªÈ[É*աȃ¿ÁÛÊÇ

!.",J",0,J""L'*!lÕW¾5¼_ƑÇwÄXÀÁÕ¡Èã Ý܃ÀÛܾ[ÆXՓޗÀÃ؁¼_ÉÇÝGÇCÛ

ÄXÕLǡɑÉX՗ ÀÁÇwÄX¼$Ǹ؃ÇwđÇÄXÕ3Ç؃ÇwđǾRÕ¡ÆXÄ_àûG܃ÀÁÉÕ¡¾R¼ ƛǓÄXÀÁÕ¡ÈPÀÃÉ

ÀªÈ—Þ¡ÕWÿ¡¼8Ø|Ù<Û|đ܃¼,ߔƑǡ×V¼_ÝyÕWÆXÿ£Ý܃¼_ÈbÇwÈ ‰¡¤›¤›‡ŒŠ›Š ‡Š,¾RÕ¡ÆXÄÀÃÉ

ÂÕ¡È[ȃ¼_ÂÄX¼_ØLÄXÕÇLŠX†[‰“X‡ŠV¾RÕ¡ÆXÄ_à 7 Ø[ǓđÇÉXÜ[ÇwƑ¼_Øđ܃ƑաڃÖWÜ,Ç

Š•†[‰“X‡ŠØƒÇwđÇ3¾5ÕWƕÄl ÇwÈo܃¼ È[ ¼ŽÙR¼Â ÆX¼8Ǔđ¼_ØPÕ¡ÈÊÄX܃¼[Û¡à 7

×VÕWÆX¼Ø¼ đÇwÀÁ¿Á¼_ؾƒÆ‘¼_ÉX¼ È<đÇwÄXÀÁաȎÀÃÉÖWÀªÞW¼ ȎÀÁÈ & Mà

Ð Ï

„5•Ò~}—ÓµÐ

Ï

ç

ÕwߟĵÝGÇwƑ¼ŽÂÕW×V¾RÕ¡È[¼ È<đÉVÇw¾ƒ¾R¼_Ç¡ÆđÕ3ÙR¼ÞW¼ ƑÛ,¾ƒÆ‘Õ¡×lÀÃɕÀÁȃÖ

ÄXÕÊكÚ[Àª¿Ãخ ա×l¾ƒ¿Á¼½²Çw¾ƒ¾ƒ¿ÁÀàǓđÀªÕWÈ[É_à TՓÝ>¼ ÞW¼ Æ8ãGÀªÈ¼ ½ÀÁɕÄXÀÁȃÖ

ɕաߟĵÝ>Ç¡ÆX¼ÂÕW×l¾5ÕWȃ¼ È<Äd×lՁ؁¼ ¿ÃÉT؃ÇwđÇ$È[¼ ¼_ØđÕgÙR¼¼½¾ƒ¿ÁÀÁ À˜Ä‘¿ªÛ

¼½ƒÂ›Ü[ÇwÈ[Ö¡¼_ØàûG܃ÀÁÉ ¾[Çw¾R¼ Æ Ü[Ç¡ÉA¼_ȃÜ[Ç¡È[¼8ØÌØ[ǓđÇT×lÇ¡È[ÇwÖW¼ ×l¼ È<Ä

ÀªÈ3 ա×l¾Rաȃ¼_ÈWÄÌ×l՗؃¼ ¿ÃÉ àÌûG܃¼*¾ƒÆ‘Õ¡¾RÕWɑÇw¿ ¾ƒÆXՓޗÀÃ؁¼_É~Ǹ‹MX‰“œ[Š›™

«ƒ‰wX‡œ5‹k‰¡¤›¤›‡ŒŠ›ŠTđÕÉXÜ[ÇwƑ¼_Ø$Ø[ǓđÇÝÀ˜Ä‘܃ÀªÈÂÕW×V¾RÕ¡È[¼ È<đÉ_ãWÚ5ɕÀÁȃÖ

ǎ؃ÇwđÇɕÜ[Ç¡ÆXÀÁȃÖɕ¼_ÆXޗÀü¡àûG܃ÀÃÉÌÀÁÉÇW›܃Àª¼_Þ¡¼8ظٗÛL؁¼[È[ÀªÈƒÖÇ

7dɸǣ¾ƒÆ‘Õ<Õ¡ß*ÕwßlÂÕWÈ[¼_¾Ä_ãÝ>¼,Ü[ÇCÞW¼,ÀÁ×l¾ƒ¿Á¼ ×l¼ È<ÄX¼8Øđ܃¼

ÆXÚ[ÈWđÀª×l¼g¾5ÇwÆXÄ*ÕwßGÄXÜ[¼ØƒÇwđǸ¾RÕ¡ÆXÄÇ¡É*ÇwÈ­¼½—Ä‘¼ È[ÉXÀªÕWÈPÄXոđ܃¼

(<; =?(@ yÕW×l¾5ÕWȃ¼ È<Ä!L՗؃¼ ¿—ÇwÈ[Ø*Ú[ɕ¼8ØÄXÜ[¼ #"$o؃ÇwđÇ

ɕÜ5ÇwƑÀªÈƒÖɕ¼_ÆXޗÀüWãRÝÜ[ÀÁ›Ü,¾ƒÆXՓޗÀÃ؁¼_ÉdÄXÜ[¼VƑ¼<ڃÀÁƑ¼_Ø­‹MX‰“œ[ŠM«ƒ‰wŒ™

‡œ5‹*¡‰w‹N‰Ê‰W¤›¤‘‡Š›Š¬$8¡‡ ©¶à£ûGÜ[¼¾[ÆXÕ¡ÄXÕwĵۗ¾R¼Ü5Ç¡ÉVÙ5¼_¼ È|ɕÚ5Œâ

¼8ÉXɕߔڃ¿Á¿ªÛ$đ¼_ɕÄX¼8؎đ܃ƑաڃÖWÜÇlÉXÛ<È<đ܃¼Ä‘ÀÁÂÇ¡¾ƒ¾ƒ¿ÁÀÁÂ_ǓÄXÀÁÕ¡È à

¤,¼~¾ƒ¿ÁÇ¡È$ÄXÕ؁¼ ÞW¼ ¿ÁÕ¡¾gÇwÈ$ÕW¾5¼_ƑÇwÄXÀÁÕ¡È[Ç¡¿ƒä#<A6&W«®ÂÕW×l¾ƒÀª¿Á¼ Æ8à

¤,¼lÇwƑ¼lÇw¿ÃɕÕÂÕ¡È5ɕÀÃ؁¼ ƑÀÁȃÖ$ÄXÜ[¼VÚ5ɕ¼VÕwßyÉXÜ[Ç¡ÆX¼8ØL؃ǓěÇÇWÉd¾5Ǔâ

Ƒǡ×l¼ÄX¼_ƑÉyÕwß Õ¡¾R¼ ƛǓÄXÀÁÕ¡È5Ék¾ƒÆ‘Õ“Þ—ÀÁ؃¼_Ø$ٗÛgÇVÂÕ¡×l¾Rաȃ¼_È<Ä_à 8ƒÚƒÆXâ

ÄX܃¼_ÆX×lÕWÆX¼WãSÝy¼ÇwƑ¼Â ڃƑÆX¼_ÈWđ¿ªÛ­ÇW؃Çw¾Ä‘ÀªÈ[Ö,ÇÂՁ؁¼ÂÕ¡Ú[¾ƒ¿ªÀÁȃÖ

Çw¾ƒ¾[¿ªÀàÇwÄXÀÁÕ¡Èã_ÄXÕT ա×l¾[ÇwƑ¼ÄX܃¼y؃ǓěÇG¾5ÕWÆ•Ä Ç¡¾ƒ¾ƒÆ‘ÕWǡ›Ü~ÄXÕTɕđǡȁâ

؃ÇwƛØ|؃ǓěÇ×lÇ¡È[ÇwÖW¼ ×l¼ È<Ďǡ¾ƒ¾ƒÆ‘ÕWǡ›Ü[¼_É_ãkÀÁÈËđ¼ Ƒ×$É$Õwß¾ƒÆ‘Õwâ

֡ƛÇw×l×lÀªÈ[ÖV؁ÀªågÂڃ¿ªÄµÛŽÙ[ځÄdÇw¿ÃɕÕlÀÁȎđ¼ Ƒ×$ÉÕwß¾5¼_ƕߔÕWÆX×$ÇwÈ5¼¡à

1 1€%1 Ï „21 }

cjCÎHŽOP@Oc Jb¾I%JK !c"eK%JbDWMVWMD#)C cj¿ VWJK%$mJÂ

DWM&S„c('P1b¾I%JK ¿Ec()gJbbJŽH[ MD##*acS‚iJ T&JK ,+`c¬ÁEJLNJTP-$1M.

†Gc0/

JbDWJŽ1QMD¬T2*acfd

JOmJ1c †UMIM€[ MD¬MZJ[\JD@I MD¬T

IKMDWb¾LNJKYFD—VFZ1VÂÄXaJKL²PK%[ MDWOJQOP[\X

IMI%FP1D¬MŽ¬ZK%FHT\JD.$!FÅÂ

K%PDW[\JD@I%bc4365&785:9;9<=9?>?@&ACBED.F1GIH.J&EK&LNMPO:QRSUT:V-W.S:S

XK&Y:Y:K!c

K

ƒ`cQCÃD@I%P1DWF

È^c P

Z&Z:UMD¬T ‚)c1MD c[

W‚iJ[\R€CED

MTWMX&I%F]$mJGb

XWXaPKI%F]$mJhXWŽHMILNPK%[LNPKhTWMIM\bVWMK%FDWZ—P1DI%VWJ

ZK%FTSc_^`%5:9]5:ab9<c>?@UAdBED.F1GIHeJef!34785`=F1G1`<g5&HEhi?jBk<7GP<H`<

l M‰QRTeObWNO:OeSÁ P-$acmK&Y:Y:O!c

‰

ƒ`c CÃD@I%P1DWF

on`clˆ^coeP mp

FMDWJ:eˆ ceK%J

FHŽ1 ‚)co1MD#eMD¬T

¿Ec#qrZK%J

p

cs^DWM]ŽHFDZ IKMDWbXWMK%JD@I TMIM\bV¬MK%FHDZjFD"OP1[¸Â

XaPDWJD@Ij[\P!TJŽbcutÃJbJ MK%OVvtÃJXaPKI"tCtQÂwO:SUV

l

ćÁdtľCx

„ytE„z*CxNtÃJDWDJbbk'KMDOJ:Á P-$mJ[`]aJK{KUY:Y l c

T

ƒ`c^CÃD!I%PDWF

?&cÂy' c †UJ=$mJK%Z1J& MD¬T|*Sc ‚iP1DWDJI cn P ÆÀI%P

]&K%FHDZhI%PZ1JI%VJKYLsM

ŽÅIfI%PŽHJKMDWOJgMDWTjTMIM OP1DbFHb¾I%JDWO_\I%P

JDWM]ŽHJgZK%FHTiTWMIMGbV¬MK%FDWZc}>?@UH`=D.778<H`=~"5&HEh>?@UAdBED.FP5:€

F1G@UH(f34785`=F1G`<5UHh‚i?jBk<7GP<HE`<rM

S:QR W

V.#*&JX&I cmK&Y:Y:O!c

O t c CÃK%[\b¾IK%PDWZN†Gc ƒUMDWDP1D#"C c ƒ JFb¾I g)¸cƒ)gJMVWJ_e

*ac6) PVWD#Eˆ cÂiO„8DDWJbb„*Sc0q MK%mJK UMD¬T…Ec{*![\P1ŽFDWb8!Fsc

dŠP ÆfMKTwM"OP[\[\P1DOP[\XaP1DJD@I¸MK%OVFI%JOI

K%J—LNPK¸VWFZ1V&Â

XaJKL²PK%[ MDWOJgbOFJD@I%F‡†¬O OP[\X

I%FHDZc „‡D!ˆ:F;‰Š8i‹i?i2ŠHkFy<7=€

HE5&F1G@&HE5:9E^m~UAdBN@&Œ%GID.A@&HƒŽ„GJ-‰‚3{<7;b@&7Aƒ5UH`<}GIŒ%F17Ga=D.Fy<8h

>?@&ACBED.FP5&F1G@&Hk\X¬MZ1J

‰.‘tÃJ TPD¬T&P… J MOV#\¿fMŽFÅLNPK%DWFHMN

C Zc

V&V:V!c

l

sYceK

DWJI%PD#Gd c ¿ P

X¬M_@J:GMDWT’c*@I%JLsMDWFsc“tÃJO

KÂ

bF]$mJGMD¬T"T&_&DWM[\FO bPL²I‡ÆYMK%J\OP1[\XaPbFI%FPD"ÆQFÅI%V€bVWMK%FDWZ&c

„‡D”^<•&<HmF;‰’ŠHkFy<7HE5&F1G@&HE5:9c–‚@&7%—UŒz‰k@B”@&H˜>?@&AdBN@&H<HmF€

™

7GP<HkFy<%hš3478@%J&7z5&AA‚GIH.Jœ›-–>

™

3Už Ÿ j‚6MŽMZmM.*!X¬MFD,

 

DgKUY:YK@c

S

g‚ƒ`c dfVWJ¿ P[\[\P1DŒ ]   JOItÃJ ¡

Jb¾IgeK%P:1JK R CQKÂ

OVWFÅI%JOI

K%J6MD¬T|*&XaJOF]†WO MI%FPD¢+ ‰&cY&c~dŠJOVWDFO MŽ6tÃJXaPKI

g‚ƒ…†UP@O

[\JD@IfLNPK%[ MŽ¤£&Y:KÂyY

l

‡‰1‰N,

DWJ}K&Y:Y:K!c

L  XaJDu‚6MDWMZ1J[\JD@I¸ƒEK%P

X2Māg‚ƒ}Qcj¿YdtCfC OP1[\XaPÂ

DJD@I%bb$mJK%bFP1DŒ‰&c”†UP@O

[\JD@IiL²PK%[ MŽ;£UYK ÂwY l Âl

Oeƒ

DWJ

KUY:YK@c

V

¿Eco*

p

_&XaJK%b8!Fsc!>?@&ACBN@&H(<HkF„^@wF1¥‹5&7%<ƒ€C¦d<~:@&Hh

™

aI§-<8`=F€

™

7GP<HkFy<%h{3478@%J&7z5&AA‚GIH.JcmCQTWTFbPDÂ

JbŽJ_„£YCÿY‚[q K%Jbbb

V:V:L!c

]

Y

dfVJ:¨UdlC XK%P

 

JOI co©.ª:ª&«‹¬z­­-®®®?¯z°U±ªe²o¯z³U´µ.­NXK&Y&Y c