Towards Robust OSes for Appliances : A New Approach Based on Domain-Specific Languages
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Towards Robust OSes for Appliances: A New Approach Based on Domain-Specific Languages Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Mérillon, Laurent Réveillère. N˚3943 Mai 2000. ISSN 0249-6399. ISRN INRIA/RR--3943--FR+ENG. THÈME 2. apport de recherche.
(3)
(4)
(5) !"
(6) "
(7) #%$&'
(8) () +*, -./ ""
(9) 0(21 3 4 5'567089$&';:<=">()$&?
(10) (A@>0'B
(11) B CEDGFHFGIKJLNM2FHFGIKOKPRQ=SRTUOVFGIKJQ=WYX2JZIKF[PR\]I^XRTUM2_`L`TUOZFHIbacPRdM2e^DfTUX2WhgiWYOZaVWkjlTmOVOVIbanW2P o Tmp2OVDGeKIELrq^OVDGFHFHWUX/P2dTUM2OZIKX<a\]qbsYI^DHFHFGtKOZI u/vxwZy=z{0|~}Zxz b^%zZ z%i%&cy0U b^z z%iE+c b¡x¡U b[¢xz[zV£vxz%££vxz,0¤^¥b¦§K¥¨|~Eb©{ªbª^ª|5«Vª=¡^zZ ]¬ ®Z¯%°±x²b¯b³ ´ ¡¡xm&zZ=z%¡xzZ[z%Kl¨Kx£µcb ¶x·¢¸ ^ylbh[v¢x&zV=bh&zZ^zV¢ ¢xz%y¢º¹» b[¹»z&º¢¼b¡x¢¼ b¡Uz%£[xh[¸z%y½¢¸zVbNb¢¼¢¸zZ¾bzZ ^¡xylz%KZ¿ÁÀ¼vx¡b¡mzZZà z%ĸ[x
(12) b¡Uz%£[x
(13) ¸[z%y7b¡x¡x ^^£vxzZÅz=^[[zZzV¢Æ¶[v>[zV¡UzZ&Å ]vxzl[zV^z%ylz%K£i£zV¢ c0b¡x¡xb&zV%¿ u/vxz%yl[ bRb[zmKÇZzZ¢=¢È[zZ¢lbR^ [ ¡x b¡U ^[zxz%¶É¡x¡[ Kb£v Å¢¸zVbx¢0[&[xxczV¹» ^4b¡x¡xb&zV%¿ u/vx ¡¡x[ Kb£v©mb[zZ¢ ^ÈÊÈËÌlÍÎÐÏÑfÒbÓxÔ£Õ%Î Ö)Õ ×4ÍÏcØÙÍZØ^Ô&Ú0ÛÝܸÞ4ß&Ã¢Æ bàUzZÅ£¡x¢E¢¸zZ¾bz% b¡y=zZKÅ ¹ bczZZ¿ÅxÅ¡[ ^¡m K[b©^[[zZ[zZ¢ b¢m[zZ¢c% b%[z%[zz&Äxyl¡xzZZ¿ áÆâKãYäå0æ °ç ®b³ ÜÅ byÆc¡mzV&èmÞ©bxbbbzV%Ã^y0UzZ¢x¢xzZ¢¸[zZylZà ´ ¡x¡%zZZÃÅ¡mzZ[x=[¸é z%y!µbz%xzZ êë<ì[ífîZï/ìð ñífòHó&ô õ©öV÷ùø©úÝûøHûü£úÝýfö÷ùøøHþnÿnÿ úHû÷iÿü£ú
(14) úHünýûõ¸ûùûýÉü ¸õþnûúGönûmönûn÷ iý HúGü£ý . 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.
(15) /2 <89 "#&$£ 4$&'5
(16)
(17) <4 "¨!#& < 89 8
(18) l
(19) *`'
(20) ' #&#& ""
(21) (21
(22) . /"> ©'È 4]#& #&0'B0B
(23) $ ® ³ ÞzV+[¸w%ylzZ/zZy0bKxV z%¡[VzZ^z%K/x
(24) ¢x byxz¢¸z x¹» byl[Kxzz%
(25) b¡x¢xz z%ĸ¡[ bÉz&
(26) ¢xx[z%K¢¸zZ]z&ĸ^z%%zZb%%[zZzZN&z·Kx& ^&zZ[zÆ xz&Ez&
(27) £¡¢¸[ ¢xz=& ^&zZ¡¸[ b>z&0¢¸¢¸Z¾bz% b¡¡mzZy=zZK¢xzZ[c[wZylzZ¢ z&ĸ¡x b[ b¿Ü%z&0[[&zbÃ< b Z¾x b4zZ ¡x¡x ¸£vxzZ©z&ĸ£K[zV i& ^&zZ¡¸[ b0¢xz)[c[wZylzZ ¢ z%ĸ¡x ^ £ ^¿ i b2mc[ bm zZyl £[ bm¢¸z]%zZ¡¡x[ ¸£vxzV¢xmz;Zb¢¸z;¢¸zV¸[wZy=zVz%yÈ£KxZZ¿ ¡b¢xz]&z%[z [cK[vxwVz^Ã<x b¡x b¡U ^[ bmÅxzlx bx¾^z%zl¡¡x[ ¸£vxzÈ¡m ^x% b%z%¡¸ ^·z&
(28) [&[x£ ^¨¢¸z [¸w%ylzZ ¢ z&ĸ¡x b[ b0¡U b zZ2[¸w%ylzZ z%yÈ£KxZZ¿ )z%[zb¡x¡x c£vz z%¡U ^[z)[x2 ¸[ ^ ¢xz ÍÏKØKÍ%ØKÔ !Ú #"$Î%"&Ú Ã¸z&)¡Uz%ylz&+x]¢¸Z¾bz% b¡¡mzZy=zZK b¡x¢¸zi¢¸z¸[w%ylzV ¢ z&ĸ¡x b[ b bx[zV%¿ i b+[ b)x b[zi¡x b¡U ^[ ^;¡b/¢xzZ+z&Äxyl¡xzZ+& ^&z&£) ¢ ¸[[ b¢xzÅxK^zZ ¢xZ¢¸Z b£/¢¸z=% b%z%¡¸ ^
(29) ¢xz¸[w%ylzV%¿ &æ ¯V® ä #² ' ³ Þ4xK^z¢¸V¢¸ZZÃx¸[w%ylzz%yÈ£KxZZÃcx ^b¸Ä]¢¸z[¸w%ylzZ¢ z&ĸ¡x b[ b.
(30) mË ÍnÚÅË%ÙcÚ
(31) +ÒYÔ&Ú &Ë)Ó^Ó ÝÎ ÍÏUÕ£Ô Ú. ¥. È' ©2
(32) ( 4$&' ´ ¡x¡xb&zVz%¡xzZ[z%K] Kx£µKkb ¶x¢¸ ^ylbÉvb[zZlxzZ¶ £vzZxbzVr ¢xzZ[^ b¢ ¢¸zZ¾bz% b¡y=zZKZ¿ £VÃ2xz%¶ ¡x ¸¢¸ £0b¡x¡mzV=ÈÆ£¡¢>¡^&z ·[[¹»>z%ylzZ[^xÆz%zZ¢%¿ ¸zZ& ^¢<à [vxz[xz b¹[vzZ[z
(33) yb[µ^z&=yµ^zZ0[vxzVzxzZzZ¢x=x¡x[zV¢¸ bxzb¿ Þ4b[bÃ)b¾bz%h[vxz % byl¡Uz&[[¾bzZxzZ b¹£vÆyb[µ^z&Zøvxz%z0z%Äc[zZylz%¢¸ ^¡xzZ[x[z ]¢¸zZ¾bzZixzZ¶`¡[ ¸¢¸& b¢^
(34) ylb[µ^z&[vzb¿ u/vxz/zZy0UzZ¢x¢¸zV¢0m[[z+ ¹Y¡x¡x%zZ yµbzV©¡xb£b¢¸x¢èxĸÅx^R¢¸ ;&xÛÝm¢È[ bylz&é ylzVyl¡U ^xzVß+ ;b£vxz%¾^zb¿) b[zZKxzZ^^Ãc[vxzZ[z0y0mzÈlvx^vzZ¾bz%© ¹& ^¸èm¢¸zZ&z[vxz [ ¹Ð¶/zb¿ ´ ¢x¢¸[ bbbÃcxx ¾ ^+zZKxz%ylz%K);zZy=zZ[^yµbz&£R ÈK;& bylylz%£& [Z&zZZ¿È zZ^£¢¸x;vxzYÃYvx[[[ b>[zV^zZÅb¡x¢¨¢¸zZ¾bzZ ^¡xylz%K[ bÅ[ y££v¨zZ¾bz% £vmx^x=xzZzZ¢x/ b¹ xzZ¶rb¡x¡xb&zV%¿ u4 l¹»xè©[vxzVzz%zZ¢%Ãm
(35) ¢¸zVbÆm¢]yl¡xzZylz%K[ by0z%; bÆlcxy0Uz% b¹2%[[zZ[x¿ u4 ; bàUzZi& ^¸èm¢¸zZ&z^Ãm[ ¹Ð¶/zy0iUz0vxbvx [Ë %Ùc Ú G¿u/viZÃx¹» ^Å^¾^z%
(36) c¡mz0 ¹ ¡¡xm&zbà %[[%bmUz%vmn¾K b£m¡x b¡Uz%[[zZyÈ+Uz¢xz&[zZ[ylxzZ¢¢]bbbK[z%zV¢Û[Ô ùØ <¡U ¶)zZ ybbzZy=zZK yÈ0z%[xz[vmÈ¢xEb[z 0 ^£ß&¿ bx[zZ0%b mz]¡x[ ¾c¢¸zZ¢>c>y=zV£v[y0m¢ n ^ c b%¿u/vxzÈ¢xzZ ¡x¡[ Kb£vµ^zZ[vxz0¹» by! b¹ÅÕÔ HÎ Ö)Õ£Í HÎÝËÏ c biylzZ¢EÅZ
(37) ¾bzZ[¹»c %[[%b¸¡x b¡Uz%[[zZZ¿ c£v= K ^ n¾b b¢vxzxzZzZ¢È¹» b U b ^Rm¢ÈzZ[ b[éf¡x[ ^xzRzZ[x¡x c%zZ%¿ u4 ;Uzè£Eyµbz%[zV^zZ/x bi b][v[vxz[zZ[x;¡[ ¸&zV[mz0[vx ^z%xzV¢<Ãxx¸Å[vxz ¢xz%¾bzZ ^¡xylz%K[y=z^Ŷ+z%H¿=u4
(38) ^£vxz%¾bzÈ[v^ ^HÃU[vxz%zlµ^z%E[£[zZbzZzÈz%zZ¢xzZ¢ ![Ô%ÑÂÙcÚ%Ôi b¹ % ¸¢¸z 0£¡x¢¸È¡x ¸¢¸%zixzZ¶º¡x c¢x +K^[[z%yÈxxz%ĸ[xx¢¸xÈ ¸£µ¸%Ãb¹Ýb&[ bÇZ ^ b¹
(39) #Ô " ÓÔ GÎÚ%Ô][ º%b¡xÇ%z· ^r¢¸ ^y¸éf[¡UzZ&èm¨z&ĸ¡Uz%zZ&z^ÃÅm¢ ËÓÔ%ÏÑÔ%Ï bÔ$ÏUÔ&ÚÚ ¹È[ ¹Ð¶/z [¸z%y+[ ly££vz%¾b ^¾cxȹ»x ^[zZm¢vm£¢¸¶+b[zi¹»zZ[xzZZ¿ ÀÂ0[vx©¡m¡Uz%VÃVz%ĸ[x¡x¡x ^^£vxzZ©z bzV[[zZ¢¶[vÈ[zV¡UzZ&©[ i[vxz)[zVKxz%ylzZ^££zV¢ c0b¡x¡xb&zV%¿ u/vxz%yl[ bRb[zmKÇZzZ¢=¢È[zZ¢lbR^ [ ¡x b¡U ^[zxz%¶É¡x¡[ Kb£v Å¢¸zVbx¢0[&[xxczV¹» ^4b¡x¡xb&zV%¿ u/vx ¡¡x[ Kb£v©mb[zZ¢ ^ÈÊÈËÌlÍÎÐÏÑfÒbÓxÔ£Õ%Î Ö)Õ ×4ÍÏcØÙÍZØ^Ô&Ú0ÛÝܸÞ4ß&Ã¢Æ bàUzZÅ£¡x¢E¢¸zZ¾bz% b¡y=zZKÅ ¹ bczZZ¿ÅxÅ¡[ ^¡m K[b©^[[zZ[zZ¢ b¢m[zZ¢c% b%[z%[zz&Äxyl¡xzZZ¿ . . ""
(40) 0(21 ´ l]Û» b2[x¸é¸[zZyß©& ^K¾^z%K[ bm& ^4 ¹x¶+ iz%¾^z%ylzV£vx[yl m¢¡U b%zV%¿ EzZ£vbx[y%bµ^z[vxz¹» by ¹2x£zZ' &)(*4 ^im^ yb£vxxzZ+ & ,-*f¿/2 b%zV& ^[zZ[¡m ^¢ Èb^ b vxy^zV¢ b;ylzV£vx[ylZ¿ À¢¸zZbbÃc¡U b%vx ^x¢mzy=¡zZy=zZK[zZ¢b)& ¸¢¸zbx b^z&[vz%+y=zV£v[y%¿2ÀÂ]¡^ [&z^ÃK[vxz[z%¡b[ b;Uz&¶+z%zZ;[vzZ[zŶ+ 0z%¾^z%++x b[¸z%y é ZÈb£vxz%¾^zZ¢<¿2u/vxR^£µ ¹<[z%¡b[ b=ylbµbzV2 )¢x. ;& x¢¸zZb¢l¢=zZ^ ^ÈU bx[vxz Uz%vmn¾K bÅ ¹vxz]YÃU¶vx£v©Ã<·[xÃ& ^yl¡x[ ^yl[zZÅ[ ^x[xzV[Z/¿ xx[[vz%y= ^[z^ÃU[£v>]xx[zV¢ [z%¡m£[ b·ylbµbzVÅvb¢E[ ¢xz%K[¹»·x¢¸xx ¸£µ¸¶vx£v>Z[zZ¡U c b& ¸¢¸zlz&éfz^¿ ´ [ à UzZZ[zlxx¢xx·x ¸£µ¸zlx 0%zV·z&ĸ¡m KzV¢<Ã4% ¸¢¸zz&ĸ¡Uz%[[z%bxx bmz¹»·z%Äc¡ ^ zZ¢<¿ mb&[ bÇ%xz&ĸ¡Uz%[[z)yl^¢¸zizZ¾bzZv£¢¸z% K=vxzi[z b¹©bzZxz%£éH¡x[¡U ^[zbÃbml ¶/éHz%¾^z%Hà ¡[ ^b£ylylxÈbxbmbz¶vx£v
(41) ¢x KzVx b/ybµbz¢¸ byb¸éÂ[¡mzV&èmµK ¶zV¢¸bzz&ĸ¡x% V¿ $. . %. ;$& < $&'B. 1032 46572.
(42) §. ÆÙ Ô6 ËÏÚ&Ô .
(43) . ·Í Ô 2× iÍ [Ô7 ÂË- . + 7 . " . Î ËÏ R×. . "
(44) nÔ%Î [Ô. u/vx[ ^ ¡xxlyl ^l b [ ^x[xzV[ZÃ % c¢xz
(45) z&éf[zbà b¢º z%Äc¡Uz%[[[zb¿ Þ©z& z%ÄxylzzVb£v
(46) ¹4[vxzVzyl[ b/
(47) [x¿ . "!$#&%&'(*)'+'. 2. 435!67"98;:<'=. ¢¸zZ[^xz%£<vn¾^zR[£b¢x ^yl[zZ¢[vxzZ ¾czZ¶ ¹x bx[zZ<[ Å[ b ^ ¹[¸z%y,& ^y=¡U é z%KZ¿©ÀÂ0[vx©¾cz%¶ÃÅ& byl¡U bxzZK4yn% b[ ¹xU [v=¡U b%¢2^[[ ¸&[zV¢ylzZ£vbx[y%à ^0=ynz%¡xzZ[z%KȨxbz]¡U b& [ b ^Ã2 bl·[z&= ¹z%[zV¢ ylzZ£vbxyZ¿ ) ^y=¡U é z%K ^[ b= yl¡xz%ylz%KzZ¢lc0U bxm¢x0¡x zZ&[ bl[zZcx blvb¢¸¶/z%b¡x zVÛ[Ô ùØ ·- ,Åß ^% ¸¢¸zl[xylz%K£[ b & {^{ *f¿ ´ x vxz%b¡x¡x ^^£v·& ^ ¹+xvxbv¸éfz%¾bzZGÃYc¡Uz&é ¹»zx^^zZ+¶vx£vbbb^z%z& ^[zZ&/ylzZy= ^[b%%zZ
(48) .¸z%Äxyl¡xzZ/&¢¸zÆ ¸¢¸éf¥=[zZ¢
(49) ¸¡x & ¥ *m¢0EÞ¹» b vx
(50) z x nÄ iz& & ¦ *H ¿ / ¶+z%¾^z%VÃV[vxz& ^yl¡x ^zZ£vxx ^ ^b¹» bR[£v=bxbbbzV +z%¾^z%U¶vxz%zvxzi¡Uz%[¹» by%z ¹<bzZxz%£zZ¢% c¢xzÅ¢¸ czZ x +bz%)& ^y=¡mz[ vxz& ¸¢¸z¡x é ¢x&zV¢¨c>Æ& ^yl¡xz%V¿ xvxz%yl bzbé¢xz%¾bzZ ^¡xxÆ ·zZKxzZ ¶/éHz%¾^z%2z&ĸ¡xzZ¾bzZxzZZà i& ¾^z%zZ¢clvxbv¸éfz%¾bzZ<bxbmbzÛ3Ô ùØ ©yx¡xx ^ ¹2n¶`¢x£^ß ¿+u/vxi[ ^
(51) b¹Ð[zZ zZ&zV[[zZ/b¢¢¸ ^<¶+ bµ;¡[ ^b£ylylx=x^^zZ [ ;¢¸zZ¾bz% b¡¾ ^/z&Äc[zZ[ ^ & ¦ *H¿ zV&zZ^^øÈ[Åb¡x¡x ^b£v;bylzV¢;/¾bzZ[¹»cxÈ¡xzZ¢¸z%èxzZ¢][¹»z&xzV b¹©x& ¸¢¸zvb Uz%zZÆ¡x b¡U ^[zZ¢K
(52) zV&x¢Þ©z%z &«%§xÃ41« 0*f¿ ÀÂE^¢x¢¸[ b
(53) [ Uz%x][øvxz%Åb¡x¡x ^b£vb czZ Uz%^ b¢¨ylz%yl bE ^[ b¿ bz%ĸbyl¡xz^Ã0z%bxzZ bzÈ Æ¾bzZ[¹»Æ[vz;^mK[E ¹/zZ[ bx£&zV mzV¢·cE
(54) ¡x bb£y¿Àf£ylb>yl ^¨[vm ^[[xylzZÅ[vm¡x bb£yÅzȶ [[zZ¨> ^z%xzZb éf¡xx¡U ^[zbbb(z .U& ^zVKxz%K[bÃU ^ylz¡x b¡Uz%[[zZ b¹Kz%zZiynUz0xm¢¸zZ%¢xbxz0 ^z%xzZbG¿2u4 l%£&y0¾bzZK+vx¡x bxz%yø¡x b^by=ylzZ+^[[b&z/[zV^zZ¢
(55) ¾ ^^zZZ¿ Æ& ^[ ¹ÐvbÅ¡x b¡U ^[zZ¢Æ;[ c b4[ yl¡x ¾bz0¢x[¾bzZÅK
(56) ¶v£v·% byÈxzZ£[0b¢E¢¸Ké mylÈ[zZbzZ/ ]z&ĸ¡U ^[z0¢¸¾^z%Åz%[ ^Z¿u/vxzZ[zÈ[£z%bzZ%m¢¸zÈb ¸% ^¹ÝxzV ^ b¢¡£ylz&z%/¾bzZ[èmZ[ b &« *H¿ u/vxz=& ^y=yl ^Æyl £[ b· ¹R[vzÈU ¾bzb¡x¡x ^^£vxzZvÅ[vxzZÆ¢¸ ]x bÅb[xylz0][ ¹Ð¶/z b£v zZ xzȶvxzZ[zl[z%¡b[ b·Uz&¶+z%zZ¨ylzV£vx[ylb¢·¡U b&zZz&ĸ¡x% 1 . ^
(57) zZ[xZÃx [¡UzZ&èmzZb[ bxl[£[zZb;Z
(58) mzb¡x¡xzV¢] lz%[vxzZn^z%V¿ /u vz] b¹Ð¶+b[zb£vx[zV x[zl b¹·¸[z%y. Æ¡n¸µ^z%>[ ^zlh& ¸¢¸zz&éf[zb¿ÆK[ xxE [ ¹Ð¶/zÈ[¸z%y ·z%yÅ b¹)& ^yl¡m ^xz%Kx ¶¶)zZéf[zV& b^xÇ%zZ¢Æ[£z%^[ b£vxz%¾^zÈ& ¸¢¸z z%mz^¿ i £xbÃ>[vxzEèzZ¢<é[vx[ xx[zV£vxxKxzvbzZ^¢E y=& éfµbzZ[z%2££vx é zZ&[xzZ! &ù{cë (KÃR«V{ *f¿lÀ·vxÈ·b£v zZ xzbÃ<zZ^£v¨% byl¡m ^xz%K;Û» ^zZ[¾^z% ßi% b[zV¡U b¢ ¢x by;U bx¢b ¿ / ¶+z%¾^z%VÃK% byly0xZ[ bb& ^Rvx/m ^x¢xb[l^[ ¸¢¸m&zZ) ¾bzZ[vzZb¢?¿ >+z&é Z[z+[vxzÅ b¹Ð¶+b[z& ^yl¡m ^xz%K z/¢xzZ&[Èy¡¡mzV¢ÈK[ ¡[ b[zZ&[zV¢ÈzZK[[zZZÃ[vz% b£cx yl¡b&ȸ[z%y ¡Uz%[¹» by%zb¿Eu/vxz
(59) ££vx zZ&[vc¹Ýb&zVvxz¢xz%ylyÆUz&¶+z%z% ¢¸z&èx [y+% byl¡U bxzZ^£ ·z%Äc¡U ^[z% ¸¢¸zz&éf[z; b¡¡m ^xx[zZ=¢hK[ ¸¢¸%x>& K£z%éH^b& ^yÈé ¡U bz%K[ · ^¡¸[ylÇZz;¡Uz%[¹» bylb&z^¿ ´ =¢¸z%yl ^[zV¢K¨[vAz @> bµK¡^&z¡x zV ÈÈBÀ >/ Ã4 % byl¡x bylz%bxx xzV&zV[Uz[zVb£vxzV¢ & C*f¿ zV&zZ^^ÃK[z%¾^z%£¸zZ[zZb£v=¡x zZ&Rvmn¾bzylzZ¢+¢¸z%¾^z% b¡xxz&Äcz%[z¸zZ & ¥x+à 0*H¿cm£v ¸zZ¢¸ z%0 ^=vm£¢¸¶+b[z/¡x zZ&[ b=m ^x¢xb[zZD .b[zZ^¢<Ã^[vxzZÈ[zz%[vz% [ bx^0c¡mzV¢ E EGF.
(60) mË ÍnÚÅË%ÙcÚ
(61) +ÒYÔ&Ú &Ë)Ó^Ó ÝÎ ÍÏUÕ£Ô Ú 0. bbbzZ+&«Vª-* ^Å[ ¹Ð¶/z&éH¹Ýxi ^[ b &ù{b{*f¿iÄKz%[xz=µbzZ[z%i& ^[i ¹Rèmxz&éfb£E& ^yÈé ¡U bz%KR¶v£vzZxz ¶/éHz%¾^z%c¹»x&[ bb[zZ[ Uzz%Äc¡U ^[zZ¢¿ u/vx[¸z%y ££vx zZ&[xz¢¸^é Z]yl¡x ¾bz& ¸¢¸zz&éf[zb¿ ´ vx bx^vz&Äc[zZxz0czZ¡[ ¾c¢¸zbz&àYzZ ¾^z ^x[ b[ ;& ¸¢¸z z&éf[zbé[vxzZ>¢¸ Æ È^¢x¢¸zZz&ĸ¡mzZ[zz&éfz^¿]À¹Ý^ ZÃ2 ¶/éHz%¾^z%Rµ^z%xz%RylzZ£vmxyzZKxz ¢xz&bzZ¢·z&ĸ¡Uz%[[z^ÃU¶v£v>¢¸ czZÅx xzZ%zZ[b[
(62) % b[zV¡U b¢Æ[ ;vxzµcÅ ¹vxzÈ¢¸m[Æ¡x é ^byly=zZZ¿ . *' "98 : ' . . )&'+B#&
(63) B. b¾ z%]¶vxz%;ylzV£vx[yl vn¾bzUz%zZ]¢¸z%èxzZ¢]+b]¡¡x[ ^¡x[zz%¾bzZmb¢lb£cx ^Ãz&ĸ¡Uz%[[z ©[bzZKx[zV¢[ yl¡xzZylz%K4¡U b%zV%¿©À¢¸z%zV¢<ÃnµbzZ[xzZbylzZ£vmxyb[zR b¹Ð[zZvxbvxÅ¡m£ylz&z%[é Ç%zV¢=[ 0% ¾bzZb[^zz% ¹<xzZzZ¢xZÃc¢b[zb[ ¡m c ^[È¢¸ ¸%xylz%K[zV¢<¿ ´ cÈ% b[zV K¾^ ¸% ^ µbz%]zZ^¢x+[ ]xxz&ĸ¡UzZ&[zZ¢Uz%vmn¾K bV¿ xvxz%yl bzbÃ% by0xx;[z%¾^z%£YylzZ£vbx[yy0m¹» ^ é ¶`¡x[zV&zxzZ¶v£vEb[z£z%]z%Äc¡&[
(64) ¢x c%xylz%K[zV¢<¿ x ^z&Äxyl¡xzbÃmx ;zZKx[zZylz%K/ ^ zZ[ b%zÅ cZ ^zÅy^¢¸zz&ĸ¡x% [£v
(65) [v[zV ^x%zÅzZbµ¸%
(66) Uz¡x[zZ¾bzZ^zZ¢<¿ u/vx[ ^¨zZKx[zVÅ[vxz¡U b%E¡x b^by=ylzZi
(67) y^z%[vxzµ^z%xz%2ylzZ£vmxyZ¿=u/v z%ĸ¡mzZ[z%bÃxx¸¹» ^x[z%bà bx]Uz^bzZ¢
(68) c%b[z%¹»x<z&Äxby=[ b ¹ [vxzÈ ^x%z& ¸¢¸zm¢ U b b¢¸zZxx^bx¿/ÀÂÆ¹Ý^ Zù»z%¶,¡x b^byly=zZ+zZ^£v] ;%zZ^ÅzZ¾bz%4 ¹Rz&ĸ¡Uz%[[zÈ ]^/[ £¡¢¸·¢¸zZ¾bzZ ^¡% b[zV µbzZ[z%& ¸¢¸z^¿]ÀÂvxz]& ^K[z&Äc b¹/b¡x¡xb&zV%é[vxz;¾b[z&E b¹+¡[ ¸¢¸& %[zVb[zZÈ[vxzÆ¢¸zZy¢ ¹» b;[£vkz&ĸ¡Uz%[Z¿ bÃ)[vxzÆb£µ b¹Å K ^= b;¢¸zZ¾bzZ ^¡mzZ= ¾^z% ¹»cx=y=zV£v[y ^zybµbzZ)vxz¢¸z%yb¢¹» bz&ĸ¡Uz%[/zZ¾bz%
(69) yl bz& ZH¿ ´ ¡x¡xb&zV/c¡x%;¹» by!ȹÝby= b¹ ¡x ¸¢¸&/vizZ¾b ^¾^zÅ ¾^z%/[ylzb¿+¾bzZ¶vxz%z&ĸ¡Uz%[[z vmb
(70) mzZz%r^xzV¢N¢¸xxk ¡x ¸¢¸ ¢¸zZ¾bzZ ^¡xylz%KZÃi[x¸éf ¾bz%[ v^vNNvxz>% byl¡x¸z% ¢¸m[=[vm vx)z%ĸ¡mzZ[ziyn=x +mz[z%bxzV¢<¿ ´ /zZ[x VÃcxz%¶º¡x ¸¢¸&)bzZxz%£ ^yn zZKxzÅz%Äc¡Uz%[[[zÅ mzz&éÂbZKxzZ¢¿ >+zZ[¢¸zZz%ĸ¡mzZ[zbà z&Äc[zZ[x & Z>¢¸z%¡Uz%m¢x ^[vxz
(71) b£v zZ xzb¿
(72) ¸¡mzV&èm%bbà ¹R[vz0xx¢¸;x c£µ¸ivn¾bz iUz%zZ·&zZb[bbzZ¢Ãm¡U b%zVib¢ylzZ£vbx[yyn
(73) mzÈK[zZé ¶xzV¢<¿ ´
(74) [zVxZé UzZ& ^ylzZ¢¸ ;&x[ z&Äcz%¢¨z%[vxzZylzZ£vbx[y b¡m ^&zZZ!¿ 4bbà z%ĸ[x¡x¡x ^^£vxzZ[ >z&Äc[zZ¢¸x czZÈz%bxzxzZ¶!% byl¡m ^xz%K£ ¨UzÆb¢x¢¸zV¢ ¾c·yl ¸¢¸xzZ ^zZ[¾^z%£ & ¥¸ÃR-« (*H¿ / ¶+z%¾^z%VÃU b[vxzZ[vb¨ylzZy= ^[Æ¡[ b[zZ&[ bÃYvxz%¨¢¸ x àYz%bKÆ^£xé z%zViz%K£¢¸[vxz=Uz%vn¾c b ¹R[vzZ[zÈxzZ¶& ^yl¡m ^xz%KZ¿u/vxÅy=[ b>%·vn¾bz=¢¸b[ bm % b[zZKxzZ&zV/& bm¢¸z%x0vxz¶¢¸zZ[¡xzZb¢[xz ¹ b¡x¡xb&zV%¿ - / "
(75) "2(21 3 © .'.67089$&';:<=">()$&?
(76) (`@'B0B0 A u/vz& bylyl bvx[zVb¢ ¹c b©¡x¡[ Kb£v ¢¸zZ[bxxÅczV<©¢¸ by¸é¡UzZ% èU4bbbzZRÛGÜxÞ©£ß&«^« *f¿ ÀÂ
(77) vxb¡x¡x ^^£vø=ܸޢ¸zZ¾bz% b¡UzZ¢]¹» bzVb£v¹Ýyl; b¹2[x¸éÂ[c[zZy%¿ . . 1032 46572.
(78) C. ÆÙ Ô6 ËÏÚ&Ô .
(79) . ·Í Ô 2× iÍ [Ô7 ÂË- . + 7 . " . Î ËÏ R×. . "
(80) nÔ%Î [Ô. ¬ æUâ ° Gâ^å æÅæ ©°± 4° æ ±x²
(81) ´ Ü¸Þ & ^[i ¹2¶) ¢¸[&Å¡b£+Em^ iyé £vxzEb¢É& byl¡xz%¹» by vxz·Ü¸Þ`[ vxz·b^ yb£vxxz^¿Nu/vx;[m [[zz%x¹» b£&zZ ¶+ éfz%¾bzZ+¢xzZ[^ ¡m ^&zZb[z
(82) ¶[z%k [vzEÜ¸Þ Ã¶vxz
(83) vxzÆ[£b&ly^£vxz¢¸[zV [ yb¡x¡mzV¢>K[ ylzZ£vmxyZ¿;u/vxzl¶+ éfzZ¾bz%Rb¡x¡x ^b£v·¹» b£&zV[vxz;¢¸zVbz%[ Æbbz=[vxz;¢xzZ[^ xzV 4[vzè£+z%¡;)bylzV¢;)£vm£b z%ÇZ[vxzÅ¡m ^&zZ xz%zV¢¸zZ¢l¹» ^ vxz£bz%)¸éf[¸z%y ¹Ýbyl9 .c[vxzzV& ^¢][zZ¡
(84) % b[) ¹2¢¸z&z%ylxxÈ[vxzylzZ£vmxy)¶vx£vz& bylyl b][ È[vxzVz ¡U b&zZZ¿2u/vzx£ ¹2y=zV£v[y)/vxz%[zZ¢][ ;¢¸z%èxzvxz[£b&+y^£vxzb¿ u/vx¡U b&£v£b&[z%ÇZ ^Å¢¸z%èxzV<[vz¡x bb£yN¡[[z%<z%zZ¢xzZ¢[ iz&ĸ¡xzZU[vxz¡U b&zZ b¹ K[zZ[zVV¿4ÀÂ;^¢x¢¸[ bÃ^¡x[ ^¡mzZzVR¶vx£vz& Z¸ [vxz¹Ýyl0 b¹xxéf[¸z%yz¢¸z%K[èzV¢ Û3Ô ùØ z%yl[ bÃKzZ[ bx£&z cZ ^ÿZ¿%¿ß& ¿ >) b[v¡x b^by¡z% b¢l¡x b¡Uz%[[zZ b[zmzV¢ >¢xzZ[^k¨bxbmbz
(85) ¢¸zZ¢xZ[zV¢ >¶[x·vxz
(86) b[^z&l¡m ^&zZZ¿h b^by ¡[[z%l[xb^zZ [¡UzZ&èm[cKb&[m^ [ bm%Ãx¶vz0¡x b¡Uz%[[zZzVb¢
(87) [
(88) ¡UzZ% èUbxbmbzzZ[ [ bm¶vx£v ybµbz)[vxzZy ¢¸zV&¢xxzb¿2u/vxz[[z%2¹»zVx[z% bK[£b ¶[v;}z%xzZb éfx¡U ^[z+Þ4x^^zZ+ÛG} Þ4ß ¶vz%zÅz%Äc¡[zV[[¾^z%xzV[ +^¢¸zZ¢;¹» b/¾bzZ[èmZ[ b©¿4ÀÂyl¡U b[K^Ãc[vxz¢¸zZ¾bz% b¡y=zZK+ b¹4=xz%¶NÜ¸Þ £z%ylzZb/[vzK[ ¸¢¸&[ b ¹Rlx£¢xzZ¶ [cKÄ<¿ i[vz%Vø[vx¡x ¸&zV[/[b% b[ b¹4zZ[&[x
(89) z&ĸxlx^^zb¢
(90) b¢x¢¸x¢¸ ^ylbxéf[¡mzV&èm& ^[m b¢¾nbzZZ¿ >+zZ[¢¸zZyl¡x ¾Kx=[ ^x[xzV[ZÃxlÜxÞ %b
(91) b[ lmz[zZ¢ z&ĸ¡m Kz¸¹» by ^
(92) ¶v£v%b [b^z%¢¸ byb¸éÂ[¡mzV&èm ^¡¸[ylÇV[ bm%¿ bz&Äxby=¡z^Ã]¡bbylz&[zZÅ¡mbzV¢·b%[ K[in^z%£iyn mzÆ% b¡xzZ¢h ¹[vxzx^^z]^£K[zZzZ0[v;·¡U b% b zZ^¢x= 1 .£vk b¡x[y=ÇZ[ b b[z¡Uz%[¹» bylzZ¢>c·vxz £µ¨ÀÜÅÞr& byl¡xz% & § *f¿ bÃ2 bx0z&ĸ¡mzZ[z%m&zv^v ¶¨vÈ[vxz zZ[ [zV¢Æ[xz0 b¹)ÜxÞ©¢¸£b[%yl¡x[ ¾^zZ[vxzl¢¸z%¾^z% b¡xylzZ^Å[ylzÈ b¹)& ^y=¡z%£%ÃYzZ¢¸m&zZ vxzcxy0Uz% b¹2% b%z%¡¸£+[ =[zZZÃxb¢
(93) z%bxzV+[vxz¡[ ¸¢¸&[ b
(94) ¹ vx^v¸éÂ^m ]% ¸¢¸zb¿ ©° ® Åx b¡x¡x ^b£vÈvbmzZz%;%b[zZ¢È b¸ ¡x£b&[&z b=¶+ ¹ÝylzZR b¹xxéf[¸z%y ¢xz%¾c%zÆ¢¸[¾bzZ=m¢ ^ [¾bzxz%¶) ^[µ¸Z¿ u/vxzÆ¢¸zZ¾c%z¢x[¾bzZl[m¢¸ v^lzVb¢h[ >[vxzÆ¢¸zVbÉm¢ yl¡xz%ylz%K[ b
(95) ¹ ¶) lx^^zZ/} ´ Þ &ù{¸ « * ¢
(96) ÜizZ¾c &«Z¥ *H¿ } ´ Þºb[^z&£b£¡xvZ%b¢xZÃ4b¢bzZxz%£zZ·& byl¡xz&z]¢¸zZ¾K&z¢¸[¾bzZ¹»[ ^y.Evx^v¸éfzZ¾bz% [¡UzZ&èmZ[ b©¿ÉÜÅz%¾ci& ¾^z%£l/K¡UzZ; ¹¢xz%¾c%zZZÃ+b¢ bz%z%£[zVlÉKz%[¹Ýb&z
(97) ¨vxzE¢¸zZ¾K&z ¹» ^ zV
(98) .ÜÅz%¾c%bkUz¨[z%zZºb]bÉÀÜÅÞ ¹» b;vb¢x¶+b[z^¿ru/vxzVzEܸީ àYz%]vx^v¸éfzZ¾bz% b[£b ^ · ¾^z%£& bylzvxz
(99) K[%b%zV b¹iv£¢¸¶/z;^z%£b&[ bÃ2µ^zzZ[ b[éH¡[ ^xzlx yé ¡x[ bZ&¿ >+ v·Ü¸Þ©Åz%bxzÈ&[%4¡x b¡Uz%[[zZZÃmµ^zÈ% b[zV Å¢¸zZ¾c%z[zZbz%b%%zZ%Ãm[ mz ¾^z% èmzZ¢<¿ ´ mévxz%¢¸£b[%bEy=¡[ ¾^z¡x[ ¸¢¸m [¾c 9 .2¹» ^z&Äxyl¡xzbÃ2E} ´ Þr¡UzZ% èU% ^ «Vªl[ylzZybz%i[vbÆ[vxzl& ^[zZ[¡U b¢¸x È«b«=`¢¸¾bz%V¿ ^ÃYm b[v>} ´ Þhb¢EÜÅz%¾c vn¾^z ¢xz%yl b[£zZ¢][vܸÞ4%b
(100) % byl¡Uz&[z¶[vzV^¾z%KÅN& ¸¢¸!z & {x « *f¿ Åx[¢¸Æ b¹ b&[¾bz0z&¶+ bµc & {b-¥ *RvbÅzZb¢Æ[ [vxz=¢¸z%¾^z% b¡xylz%K ¹)ܸÞk%bzZ¢E Þ ´ é &«V¦¸Ã {b-ª *H¿Eu/v=ÜxÞ¼ ¶0¡x¡x% ^¸é¡UzZ% èm;¡x[ b[ ¸& ^ EUz]¶ [[z% ¢ ¢¸cbylZ ¢xz%¡x bzV¢ bhU vh b¸z%£0b¢[zZ[yl/zV^¡xylzZ^[£vhb=¡¡xm&zZZ¿ ´ xz%¶) ^[µ>¸¹»^é [m [[z=[vzZ¢][zV ^x%zbÃ^[vxzZ[z%¹» bzb¡x¡xZ ^¸éf[¡UzZ&èmi¡x[ b[ ¸& ^)y0mUz¶+z%éHUz%vn¾^zZ¢<¿ ) ^[zZKxz%K^Ã4 Þ ´ éH vb0mzZz% ¢¸zVbxzV¢ m£v[vÈ¡x b¡Uz%[[zZ^£Kz%z%xvxz;xz%¶) ^[µ ¹»z%;Uz¡xzZ[z%¾bzZ¢>Û[Ô ùØ <[z%ylm[ b©ÃxxzV¡^£µbz%¢xx¡xZ[ b©Ã¿%¿Z¿ß ¿)ÀÂÆ¡x£b %zbø¡x ¸& b yl¡xz%ylz%K[ b)] Þ ´ éfkvn¾bzUz%zZ[vx ¶ ÈUz¥[ylzZ/ybz%)[vb]m¢]b)7z ;%zZ^b vxzzZKx¾z%Kż% ¸¢¸!z &«V¦¸Ãm{ª *H¿. E EGF.
(101) mË ÍnÚÅË%ÙcÚ
(102) +ÒYÔ&Ú &Ë)Ó^Ó ÝÎ ÍÏUÕ£Ô Ú (. Þ©z&/x ¶rz&ÄxylxzÆ¢¸z%b<¶v¶/nc/lܸÞ<éfb[zZ¢
(103) ¡¡x[ Kb£v;yl¡x ¾bzZ+ bxmxzZ%à % ¸¢¸z[z%éH[zbÃxb¢Æ;z%Äc¡Uz%[[[zb¿ . . . . *! "!$#&%&'=)'+'. 2. . . . . . . . u/vzz%Äc¡&;zZ¡£ ^ mz%¶)zZz%kylzZ£vbx[yl¢h¡m ^&zZ=z%x¹» b£&zZ¢hc [vxzÆÜ¸Þ ¡x¡[ Kb£v zZzVi;[¡mzV&èmzZ^ ^xxU b¸zZb£vz%¾^z%H¿À¢¸zZzZ¢<ÃUxxµ^zÈ} Þ4%ÃU[vz0z&ĸ¡xzZ[¾^z%xzV[/ b¹R ܸÞ>¢¸z&èzZ¢
(104) £v[vm bx¶+z% éfmzZvn¾bzV¢;¡U b%zV/%
(105) Uz¶[zZ¿)) byl¡x[ b ¹ ¡m ^&zZ ^¢x¢¸zZU vk[b¢h¢¸cbyl]¾bz%èm%[ b b¹iylzZ£vbx[y bz>ÛÎ ÐÔÅm^ 0yb£vxz m[bbzVß&¿lcZ^Ãvxz& byl¡xz%z%mxzZvylzZ£vmxyb[z=c¾^ bµbzV¢E¶[v¡x b¡Uz%¡bbyÈé z%[zZ¢Æ¹» b ¶,¡xzZ%[z0m[bbz0xzZZ¿Àf¹[vxzlÜ¸Þ ¢xzZ[^xz%& ^¢¸zZ[v¡[[&bÅ ¾^z% èU% ^]¡xb%zZ)[ c lbzÈx¢xz%
(106) b[vxzx^^#z z%ĸ¡x[zV[[¾bz%zZ%Ãc¢¸cyl£vxzZ£µ¸/%b Uzz%ylzZ¢
(107) c[vxz% byl¡xzZZ¿ ´
(108) [zVxZÃ4&z=vxz¾bzZ[èm%[ b¨ ¹+ܸÞÉ¡x b^byiK[[È[
(109) vxzbxbmbz=¢¸zZ[bà vxz] bxzZ b¹¡m ^&zZÈ% Uz%z%[[èzZ¢¿· bxzZvmbUz%zZh&zZb[¨¢xz%yl b[£zZ¢c ^xiܸީZöv£vÆ ¶rµ^z%xz%éHz%¾^z%Y¡x b^byl+ mz0b¡x¢x
(110) ¢¸z%¾^z% b¡UzZ¢
(111) ¶ vE& ^¸èm¢¸zZ&z^¿Åx ܸÞ4ivn¾^zUz%z%¨Z&zV[¹»x
(112) [zZ¢Æcx bƵ^z%xz%éfz&ĸ¡mzZ¢¸z%K£%¿ÅÀÂÆ¹Ýb&ZÃm[vxzVzÈbbb^z%zV ybµbzܸÞ4=µbzZ[zV£vxx b b^l¹» bb
(113) xx ¾[ b¸éfKz%[¾^zÅ¢¸ ^y[£vbb¡x¡xb&zV%¿ *! 35!67"98 : ' . ) ¸¢¸z [z%éH[zR©[ K[2 bx4¡x¡x ^^£v[&z iÜ¸Þ ÃZb¢ £4^[[ ¸&zZ¢[£b&yl^£vxxzbà £bz%i;¡UzZ% èU¹Ýyl
(114) ¹[x¸é¸[zZylZ¿u/vxz0% bylyl bÆx¢¸x;x ¸£µcÅz&zZb[]¢¸z%K èzV¢<à b¢¨[vxzZÈ[z yl¡xzZylz%K[x·¡U b%¨^£K[zZzZ¢¨cE[vz]ÜxÞ¼& ^y=¡z%V¿
(115) u/v¡[ ¸&zV[ zZ[x[zV¹»x2[z%éHmz b¹ & ¸¢¸z^ÃU·% bK[£bi¶[v·xb[zZ¶vxz%z0z&éf[z0¢¸z%¡Uz%m¢x bÆ¡x b^by=ylzZ µcx ¶zZ¢xbzb¿ À [£b¢¸[ bmiYÃRy=¡[ ¾cx·z&éf[z
(116) % b[= b¹i b¡Uz%xxylzZ£vbxyl> ¶ z%¾^z%+[ zZz> bz·¾b[z&k ¹0¡U b&zZ][ kmz¢¸z&èmxzZ¢<¿ ´ ;vxz>y=zV£v[y]z%Äc¡U ^[z· ¶+z%]z%¾^z% ¹» ^ zV%Ãb[vxzi¡x[ ^b£ylylz%2xzZzZ¢x2 ^[ ¸¢¸m&zyl bz/bxz& ¸¢¸z/ 0z%x¡l[vzi¡x¡[ ^¡x[z c¾b ¸%[ b·% bK[z%ÄcZ¿ÀÂEvxz& ^^z&ÄcÅ b¹)ܸީZÃ<[vzÈz%¾^z%R¶vx£v·ylzZ£vbxyz0z&ĸ¡U ^[zZ¢· =b [[xzccy= ^[z^Ã4UzZZ[z]lÈ[vz
(117) % byl¡xzZ0¶vx£vh^z%xzZ[zZ[vxz& ¸¢¸z][ >z%=x¡h[vxz c¾b ¸%[ b
(118) & bKz&ÄcZ¿ *! . . . *' <"98 : ' . ´ ¶+z;vn¾^z;¢¸&m[[zZ¢>¡xz%¾c b[^Ã4z%ĸ¡mzZ[z b ¶/éHz%¾^z%RylzZ£vmxyÈ%Uz]KxzZ¢bÈ¡¸é ¡ %zZb[z¢¸z%¾^z% b¡UzZ¢<¿ /i ¶)zZ¾bzZZÃRvxz&ĸ¡Uz%[[zx yb¢xzÆz&ĸ¡x% ]b¢ ZkmzÆ ^]b ¡[ ^b£ylylz%££vbzÈ^[[bxylz%K£%¿À¨ bx¡¡x[ Kb£vÃUz&ĸ¡Uz%[[z^Ã<·[vxz=¹» ^[y b¹ yl¡xz%ylzZ^£é ^µcx ¶zV¢¸bzb¢¹»z%ÅxzZ©Z¡¸xzZ¢civxz)ܸÞ& byl¡xz%V¿ xvxz%yl bzbÃV¡x[ ^b£ylylz%£ b[zÅx +[zVKxzZ¢[ =mz¢¸ byb;z%ĸ¡mzZ£ UzZZ[zÅz%ĸ¡mzZ[zi/&z%KbÇ%zV¢l][vxzÜxÞ>% byl¡xzZZ¿ À¡x£b&[&z^Ã^vxzÜ¸Þ & ^y=¡z%% b[zV¡U b¢ z&ĸ¡Uz%[[zz%¡U ^[ bb¿ u/vxzlܸÞÉ¡x¡x ^^£vÆ[zZ¡xzZ[z%K;¹»£ylzZ¶) ^[µ¹» b¡m ^&E¢xz%¾bzZ ^¡xylz%K3 i z%mxzZÅ[vzÈ¡x é ^byly=zZi ]¹» ¸% b¨¡U b%·b ^[[vxy b¢·b^ £Ån¶/nyl¡xz%ylz%K[ b¢¸z&£Z¿ ´ . 1032 46572.
(119) ÆÙ Ô6 ËÏÚ&Ô .
(120) ,. ·Í Ô 2× iÍ [Ô7 ÂË- . + 7 . " . Î ËÏ R×. . "
(121) nÔ%Î [Ô. zZ[xZÃyl bz [zZK[ b0 ¢¸z%¾^ [zV¢[ Å[vz ¹»xm [ bm zV4 b¹x¡m ^&zZZ¿ ÀÂÈb¢¢¸ ^Ãnz&ĸ¡Uz%ylz%Kx ¶[v¡U b%zV¢][xl[vxzZyUzZ& ^ylzzZb[z%V¿ . . . *! . +)'+B#
(122) B. . /u vz¶) béHz%¾^z%¢¸zVbzZ¸¹» b£&zV¢K·[vxzܸÞr¡x¡[ Kb£v ¶z%ÄKz%[ b EUz;yb¢¸z]¶+ % b%z%¡¸Uz%¾bzZ3©¡U b&zZ+¢]y=zV£v[y%¿ RÄc[zZ bm) [vzÅ¡U b%lzZ¾bz%Yzi£vb^ z%ÇZzZ¢ c>[vzܸÞr[cKÄ m¢ ¡x b¡Uz%[¨¾^z% èmZ ^¿·RÄcz%[ ^=0vxz]ylzV£vx[y.z%¾^z%/%b mz ^£vxz%¾bzV¢;c]£vbxbx=[vzb[£b yb£vxzyl¡xzZylz%K[ b¿ ´ &[¾bz]z&¶+ bµc0[zZ¡xzZ[z%KÈh b¸££¢¸x¨z&Äxyl¡xz] b¹Å z%Äc[z%mxz[c[zZy ¡x[ b[ ¸& ^ b[z¨¢¸cyl%k¢¸zZ¡x bzZ¢k ^N vxz%[z% b^z%xzZ b;¸¹»£b[&[xzhÛ[Ô ùØ [ ^¸[zZZÃ/¶) ^[µ¸ ^Zà b¢É¡x¡%zZ£ß ¿,Åx;¶+ bµ bÉ Þ ´ éfx b] bxhzZzVl¡x[ b[ ¸& ^= UzEK[ ¸¢¸%zZ¢Éb ¡U b&zZZÃx¸b[ ¶¢¸àUzZ[zZKb[£b yb£vxxz=yl¡xz%ylzZ^£ ^[ Uzl¢xz%¾bzZ ^¡mzV¢E ^ ¾b[ b+vb¢x¶+b[zÅ¡x¹» ^[yZ¿ '
(123) ()#&
(124) ©$%' @>z;vn¾^zl¡x[ ^¡m KzV¢y=z%[vx ¸¢¸ ^ ^bÆ ·¢¸zVb m¢¨yl¡xz%ylz%KÈxzZ¶ bz%z%£[ b> ¹ÅczV¹» b Kx£µcÅz%¾^ b¾Kx¢¸ ^ylbmm£vbb¡x¡xb&zV%¿©ÜÅz%¾^z% b¡xxÅczVY¹» b m£v¢x by<¡xx<[zZylz%¸é ¢x b/[zZzV) ^ bxzZZÃc% ¸¢¸zÅz&éf[zbøz%Äc¡Uz%[[[zÅz&éf[zb¢]z%Äc[z%mxb¿ @>zvx ¶+zZ¢]vx ¶ vxzÜxÞ b¡x¡x ^b£v·[zZ¡x[zVzZK]xzZ¶[ b¸[ b·[ [vxzVz=[xzZZ¿=ÅxÜ¸Þ b¡x¡x ^^£vEvbUz%zZ ¾b¢xzZ¢ b
Documents relatifs
The goal of OceanDSL is to provide Domain-Specific Languages (DSLs) to target specific aspects in developing and using numerical models including configuration,
In sum- mary, Ecss facilitates (i) the creation, extension, and reuse of textual notations (sub- sequently also referred to as “style models” and “Ecss models”) and (ii)
The first alternative is based on the construction of a mapping between MAS model entities and the generated code while the second one considers the metamodel-based description of
Chapter 4 PrivBlockchain: Blockchain-based IoT data privacy-preserving framework 87 4. 2 Background and Related Work. 4 PrivBlockchain: IoT data privacy-preserving framework.
process in which the user makes a decision about visualization tools and techniques at first, after which other decisions are made about different controls like layout, structure
The major contributions of this research paper are as follows: (1) describes a novel approach that integrates various domain and configuration models into a test case
My contribution is the following: 1) the proposal of an infrastructure based on algebraic data types and a logic language for both structural and behavioral se- mantic
Apart from this rather straightforward case, the composition encompassing models expressed in various DSLs - potentially even with differing modeling paradigms - yields more