An Operational Semantics for the Eiffel Language
28
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. An Operational Semantics for the Eiffel// Language Isabelle Attali , Denis Caromel , Sidi Ould Ehmety. N˚ 2732 Novembre 1995. PROGRAMME 2. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5) "!# $ &%(')+*, .- -0/1 23 2 45.687:9<;=;>9@?A A.6B;DC@E<F:G9IHC>5KJ68L MONP9Q;EEQFSRTCVUCXWZY;VU\[^]&N_9QAa`$EbEbE cSdfe<gQdihQjkjl monqprh.suc:t vwdise.zxzlbyBaj xr{Opre# s}|u ~vBl.cwlbdfe<gQ&dihQXjkjc h.f|ue< lb gQ w|ulsueQg#|utb|ulbs h<BeQdrl^dil t+l dit+l\owmQ#mnqe<l j {dfl<Inm#hQgQl x ©®&|}ªOb lbs¡.¢£#hQ <di¤¦ ¥ u | x Q h l ¨ d D § Q e i d j . h } s } s @ y l f x t d u | O { l r x a l w w y Q h j u | t f x l k j Q h Q i u | t . e
(6) § a l
(7) © } | ª b l ¬ s Q « « u s < h B < g v Q h Q g l h§=Qe<tbdfijk|}Qh#l se<xi{wOl l h#tbtb|}s}+»Tsuxlbt #s¬h#¯ahQ°\ix|uyweQ©
(8) t+|}x:ªe.lbdi§&s¬eQ«Q|u«±BeQv|ul xZxdt |}h1+e<h<jhQt j dil¨h#vh<s}wsulb|ut sh#lawi²|uyweQaXl hQhQjxz|ue<|ut^³¶r{we#h.|u§X|}f©
(9) ·V|u{Q|}yIªg ·>lb¶ s l wsut hQl |ut+xixzgQ|}v¸¶¼yQhQl°
(10) g<l¹oh{<ahQwlxi|ul x&´lbxf»Tl eQjk´l hQQihQ|u@|uxit xzxº|}<¶rh#lµl avBhQvdixih# l s x+fwwl l jk|ujx hQh<xi<OQffl |u|ut tbt |}xax »T¯+#t §DeQh#¶¼d il^|u+eQxi Ol ¶¼l tb©®l|}|}§¬ªOy hQlbvw+s&aeQsulhQjk©
(11) h#g<|}ivBª|ut h<lbh#s¬gQ«Qs}l.s}«y°^xi½¾gQl l jh<l |}sudiQl h#ia|u|ut µl xÁh+|uÀBl^diaeQ§Ddig<lhQdfjkh<BjXlb¶rjeQx|udi¸¿ÀyIg^sue.ll §rQ xi|ujdfh#e<ah.Bvs}s}jkdf·>h.xl +s&l QwSl §=xije<l d jh<Q©
(12) h<f|}Q|uªt flbx|ut s¬«Qxa{w¯a«I°Ã|u° g#·VxzdiaeQl j Ä@hQÅQxiƺxz|}Ç<È l^Ée<¡.{wÊzl .tb¤ axh<xzOywl ditah#Bidi|ueQeQe<h.vBsrxSxil t jeQjkh<Qj fv|ut x|u:t h.fhQ|udie<h#s}xbsulb#s ¶¼e<h#{w|}iz·>l {QtbyIi·V·>e<dzl |ut l l <xf+xl |}¸y.BsuhQ§Dvw+gQvvdihQl g<x l xb:h<tbf|}<l@eQ{Bzl tbaxb. ØØØ Ø ØfØbÙ=ïòbÚVäéÝfÛbó ê ÜÞäuáäíÝôÁÚßàá õ ðOÝßéá Ûó âOëìöDãDæ ÷ã>ñ:Û+èÞßàÝñSä}ßÍå&åÁÝzÚ=ã¬Ú=æ ø.æÞçÒå&çÞè Ú=è äéæ äíÛÒÛÒçÒá äéáè äíêÒêÞäéëìÛÒë¬äíäéÛÒá äéÛÒêÒá îuá îÍëìë ëäíÛÒá îÍë. ËÍÌθÏ>ÐÒÑ ÎSÓÔuÏ>Õ¸Öa×. Unite´ de recherche INRIA Sophia-Antipolis 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex (France) Te´le´phone : (33) 93 65 77 77 – Te´le´copie : (33) 93 65 77 65.
(13) 3
(14) @¨b 3 $b /1 2 2 '¾+*1 .- I
(15) ¤prlbhQdf|utbsulXB t d|} §=e<dfjklbs}sul jkl Q:suhZxf jkhQQi|u~Ivl^wywh<j|u~IvlXBv@suh<Bg<hQg<l^©
(16) |}ªlbs¬«Q« la² eQa{wl Blbx+|ueQxk´hQxihQxzdi|}h#§Dxks}sblbsul@hQtbv´i|}§DsuxbhQrgQs h<hQgQxywl©®t+|}ªOdieQlbsDw|uxfBjke<l.QÀlbsul xZs t h.hQfadil hQQtbaa l@dz|uBxh<i|ud~Ivl xt l xidzxz|u|}a .tb°\|uh#c&sul eQxkvdxfe<t QlbÀiasul@hPxfB e.jkfhQ|ue<w · f|ueQ~vvBxl.®h <BeQe<vxxBvw bf»T|}s}w|uxi|ueQxl x^±suhµw xijkO hQtbQ|}i»T|u~It h#vil^|ueQh#§DaeQvdidfjlbs}lbsulos}sulOeQvld s su Bl sudhQ|}ahQg<gQhQlkgQlolb ©
(17) |}ªllbsDsu°h:s}|u|uh#l |uµxieQ~I_vwlywhQhQjx |u~Isulvlt hQ~Ivdfll lhQsuxh@suwlk xzj¸yh<suQlf|u~^vBlX xih. +jkvdihQlbQs}suil |u~I vxfl jkxfjkhQQh#is}|us}~I·Vxzval^l T{w¯+|u°kg.·>x+l ThQ¯ df|ude<vxlxit Olb itb+|}l »TeQxiO xrtbsu|}h»Tt xih. fjk|ue<hQOQOi|u~Ie<vvBl^xX gQ ©
(18) |}ª dilbeQs¬«Q« x hQvwaeQjkh#i|u~Ivl jl .:vl Q|udfe<Bl jkl QSBlXdfe<gQdihQjkjh.f|ue< OeQvdr©®|}ªOlbs¬«<«I° ÉB ÒbÇi£ ´¤¦w jh<Qf|u~vBloeQO dih#i|ueQlbs}sul.Bsuh<Bg<hQg<l x ZeQ{wlb+xhQdih#s}s bsul xºeQ{wlb+x h<tbf|}§DxbeQ{Bzlbax hQxixz|}§Dxbt eQjkj v|ut h.f|ue<x
(19) h<xzywtaBdieQl xIh#i+l Qal hQd t l xfx|}a ..§Dvw+vdixb°.
(20)
(21) ! #"%$ &' ()(+*, .-0/1 2-.. . k
(22) 65@3@ r b ¥gQvhQl g<©
(23) l^|}xiªvlbBs8eQh<ddffh.|us}sulbg s a B©
(24) lX|}ªlbdfs8e<77<gQ¯dihQsuh<jkjgQv|uhQgg<l:e.§:9 prj hQvwdis}iÒ|}w·>prdfhQewdit Ql xi;DxieQh<d:h<dflata²ww+|}l +l xtb|uaeQv dfl e#x§Ã°r©
(25) ¥ |}ªBlbl sD<©®|uxS|}ªOh^lbs87<7ohQdisuh#h<s}Bsulbg<svsuhQh<gQl· {Ojlbh.sue<|uBg<e<x{w+l e tb+f|}<lrl t e#h.§O+l ag<weQ|ux:dy^suhQe.§Og<h<vBxzh<yBgQBlrta|ux:dfe<aeBe<vlbxºsusuhQ+gQl v¶ hQg<dzl |}ixº|u¶ g|}+e#§Áh<Bxzh<ywdfh.tas}suBlbdisTeQBdie<eQvBg<xdfh<t je<jxj avhQw|u¿It x
(26) h#ia|ue^eQax°Ol¼¥ §De#s}l · sue ¶ |uBg§Dl h#avBdil >x = ? dil vBxihQ{w|}s}|}¸yZe#§&xil ~Ivl Qi|uh#sBdieQg<dfh<jx®¶ l Àl xz|ug<w|uBg h<dfh.s}sulbsºxywxzal jkxb ? adfh<Bx§DeQdijh.z|ue<e.§®xfl ~Ivl Qi|uh#sÁBdieQg<dfh<jxS+ekeQ{wah#|uh<@l ~Ivw|}#h.sul QxzyBxzal j dfvw|ugo|uµh#· dih#s}sulbsD ? jklb+ewe#sue<g#y^§DeQdrall x|ugQl dre.§&Bh<dfh.s}sulbsºh<Bws}|ut h.f|ue<Bx ? hxflb e.§&tbsuhQxixfl x jkhQ¿.l x:|}Oe<xfx|u{wsulae +h.|}sueQdraBldfe<gQdihQjkj|ugXe#§®t eQt vdfdil tby t eQ<+die#s+e aBlhQdf|ut vwsuh<d:hQws}|ut h#i|ueQ° eQÂ{weQdl tb+vBi|}dZh#QÞ0l h#
(27) =|u¶rj(+l@l |uxÀ+h dia<hQe1l@xB§=lbe<lb»Tdf»TjkBl@h#l 1ih,|ueQa§=oe<lÀe#dfjk§ºw©®h#yws|}ªOhQxilbl jsjk|uthQdfe<QxigQil |udijt hQx jkh<§=Qxe<fd|u tkxial e#B~I§l@vl a©®QBi|}lZªO|uh#lb©
(28) s¬8s ¯Á|}7<ª7 albesus hQ©®suhQ|}g<ªOvBlbgQ8sh<v7gQ7Xh<lgQBl@¶ dieQ|}9 g< a dfp h<jaQx l0 ; §=e.hQvBs}sudixe h#|u¶s}sug±lb|uBs¬¯agh ° h.+¥ vdih#l sÃdil:wl |ux
(29) jh<eQfxzyB|ut Q'x +h<9 A^tbfh<|u t¼B<C |};ê¶l di|}l +BÀt al xl^{prlb¸l ¶r<l +l h<vBd¼©®xz|}ªOywxlbasl h<Dj 9 ©
(30) p |}ªE:lbFGHs 7<7IB)BCQ;Dxi° e¨¶¼l t hQ dil vBxil:al:xywQahQtbi|ut tbsul hQxfxit xºd|ut weQf|ue<t l w t hQe<t df|ulbal l dzhQ|}ahQhQt {l.x +xfdierhQ¶¼tb¨l:xzjkyw<h y+h#di²8l ¯+v° xfl½1alolÁBxie.l +jklhQ+Qih.|u t&{Oje#ewaÀvwsusuh<l Bx8g<vl hQh.gQs}|ul Bx¼grhQ¶ dil|}a{hQ|uxil l deQ|}+h<Bat ll + x |u<ljk xixil l sujkl.jrhQh<j QQivwi|u|ut s}t ixx|ue# su§XIlK+dihQvhQditb´h#+s}vsudflbdil h#s sh<l xfh#aOl l l 8tbdi+¯h#x ihQ|ueQt ³e<h#BsTwt ywwvl dijkhQdfl jhQ<Q|utila|ut {w²Bx |ul t 9 c®vw|usuie |ueQIgBJ ;¬9: ¯rt prdieQh#©:jkaBj l C d&;Dv°\aB|ut h<h.³f|uLh e<aTK l¯+M-!e#¶r a l<l vdxixill jkh<h BhQ >Q:i|u§Dt eQxb8d {Ol t h<¥ vBxil l xi+l jlh<xfQjkfh#|ut s}sÃx xze.a§:l ÀhQxidil h#jks}suhQlbs}Q|uixi|uj t x
(31) |u|uxx ¶ jk|ueQdilbl¨s}yµh<x+BvdiweQ|ul d|uh#|ua l a+el^s}l |}axfl t dfdh.|u{O+vl dial.°Ol¨N |uQh<aQl y@dsul jkhew|uBlbgBsu°x¨h<dfloBdie#· Ovxfe<lbxf§Dl vws::§D§=eQe<d dladf²BewhQt jkl wvsulÀdih#+s®ldfe<gQdidiewhQt jkl xfjxil |uxgwh.sugQ{l vw{ dfh + lbPy,PQ hQdi9lÀN@|}#se#B)RS;Dxi vw|}PT+Ql U§=9 Ve<d e<hIeQS{wB ;¬l ¯atb°\f·VeQ¥ dB|ul l Qxiall ±jkewdieQlbgQsux dihQhQjdil · j·>|ut h.g1sut vw¶ suvBl Lx dil9 Nµ+c
(32) lµY½ t BQeQ<whI»TG gQNµvdic®h#Z½i|ueQB<³Q.{ e.; §hQxxkywxzhQa³l jklax²w+tal Bh<x|ueQgQ_l@e.w§ ywPThQPjQ |u¶t h#|}s}as}Py.°WaN@l|}wsuywl dÀhQjh<|utÀxÀg<l dfBe<Ol die<h#xfil |u_eQ,ae#l § X ¶rt+hQx&lbhQs}xis}ew·VxfeQvwlb|}suaxh<l xÃoh<¶¼B§DeQlrd®+h hQQldilrh#Oas}e<e sulbxfBswx|uh<e<{w{w|}s}|}l ¸sutbl¼y±fh·VaeQe@didl |u{Oh#l Qs<l+suhQl I|ulbgQsu¶¼vhQl hQ1g<gQlvhQh< x h gQlrhxfl {ajkvwdihQ&hQQ|}+xfix&j|ut +|uxl xidie#xzjk|u§T{w©®xºsul |}{OªO.l lbh#t 8s sue<7v7rjl.|u°Kl®w¥ |M·V[t lh#t suvwXt s}vw®·>t su+vh.exºsut jk|uvwx
(33) suhQvBwdixo|ueQxfOvl e<l suxfh.jkl + lx |u\ 9 wÂhQ|ugQh#s}> s};¬y.¯aº° aBlohQtbaeQd jkewBlbsG9 'Nw¥ Im2;|uxhQµla²al xz|ue<e#§^]w·>t h#sut vwsuvx ¶ X |}+@t h.s}s}·>{QyI·D.h#suvlhQ xfe<e#ji|ueQl1de.|u§ jt |}eQi|}wQ»Tl gQxXv§=die<h#d^i|u+eQµle#t §¨dil hQh#tbia|ueQeQdix hQ h@1t eQjkjkhQj w|uvBwvw|}su¸h#yµi|ue.eQ§µhQe#tb§ aeQh<ditbxb+&e<dfhQxvw°aeQ¥ weQ|ujkxeQjvewx l lbQs&i|}|ufx |ul {xhQe.xil § ±t h#e<su±t vwasuvlx ¶ hQwhQ|ut+w@al |uQaal e dfh<§=vtb¨tb|uµi|ueQt e<h#Bst vdfdie<dfl gQdihQtbykjkhQj|u@gwt ° e<jj vw|ut h#al{<y@jl xixihQgQlXxfl w|ugI¯a°¨¥ w|uxjewlbsO|uxXje<dfl jlbs}¥yK+l^l §DeQU`di_,j_,h.a sOxi§Dl hQjkjhQ|}s}Qy\i|u9t xrje#§&l B<xieQ ;Djk°^lÂBBe<dh<dflah.²s}suhQlbjkseQ{Bsul.zl tb|ubi·>e<9 dz|u l QAXal cB)sudChQ;&h<gQµvhQeQg<Ol l xrdih#ih |uQeQlh.{sOl xil l Àjxh<+Qviw|u|ut l xr§=Be<d¨h#h · 3. ê. 4. e,e gf hCiJj2h.
(34) . K # : `# G S
(35) ^ ^/ !$^".>
(36) . jjl lbaj d|u{t¨l xid
(37) e.hQ§t +l wx|u°
(38) x: §DhQdijlb¶ |}s}ykdz|}i|ux|ug#g|}<|ul À¶ ·>t wh.|}susut l vw9su vBx e.A^§&h BQU0_,;º_,dia l xfsuhQl Qag<x:vBhh<gQl l |ux e#g#a|}h#<il |ueQÀ|uh#\sxi9 ½,l jkh#suhQQ2i;D|u° t x:{hQxil keQ X ¥ l i x l j < h Q f u | t x . e O § < h # e a B l d vxz|u¹ghQ+l:e<§DOvwl +divh#diil.|u#eQ§=dih#eQsj xil eQjkvhQd&Q§=e<i|udft jk:x h<h#df9 Qh.sBcSs}xfsulbQsl tbla;D°²|}»8+t l h.fx|u|ue<eQe#e.§T§Oa©®B|}l ªOxilbl s jkprhQeQQi|ut t vxdfe#di§Ãl Q©
(39) |}ª©®lb|}ªOs8h<lbs¬¯®©®hQx&|}ªO{Olbl s87<l 7I Q¶rlbl »T¶l |}s} s §=½1ewt lZv¶x |}eQs}s@xaavBl^wy§=e<df jkh<h#³s}| Bh.dife |ue<QlÒ¯^e#a§®albdf|uh<d B#xh.§DeQs}|udiwj|}¸h.y³f|uve<Bxz|uxSgµe#§S+xfl lÀ~vBtbl suh<<xffx|uh.|ut sh#s¼df+e<ewgQe.disuhQx jke#xr§+l eZ~IvwB|}h<.dfh#h.sus}l sulbs&t l x dfe<xfgQvditahQ_jkhQxbx ° +dihQt ¥ l w9 |uVxkeQdfhIl 0B eQ;dhQ|ux{wxza|uxdf|uvjtba|}suvh.dffl |ue<@hQ9x N@§D|}e#s#s}BsuR0e ¶X;D° °)wl tbf|ue<³m@|uxh<_|u§DeQdijkh#s:|u<+diewvBtbi|ueQµae±©®|}ªOlb8s 77° g#e#w|}§Ãl <tb©
(40) l fx|}|uªe<+lb_Hs 7<l^17Ih<°
(41) {wdixzl l atbxfdfil h<|uQtbeQarkxxywaBQlKadfhÒe ²@hQI{|ue#xz§&al dix®xihQl +tbj lh<xQeQywfQ|uatl hÒdfx²h.+fdi|ue.ve<§tb+h#©
(42) vsw|}diªxil l lbx:jHs 7<v7 h<xfQl xZi+|uh.t §=+xbe<l °&d jkwBl l l tbQxifat |ux^de<|u {h<|uBd³g|uxSlaah ²Bl^{didzwl |uxiywlbxz§Ã|ue<hQe<Bjl x|ud°tI|uxiwlbl l ¶)jktbihQe.|u§OQeQi_a|ut lx gQl l dih#al l <I|udfe<jl Q¼§=e<drdfe<gQdihQjkj|ug|u@©®|}ªOlb8s 7<7I°:wl tbi|ueQ|uxral^t eQtbsuvx|ueQ° % ')a*1 b 23 o2 ¥xzah#il±|ut ©®h#|}s}ªOs}ylb·>8s t+771l tasuh<¿#l ¾gQvtbhQsug<hQl.xi¼xz·V|u{Bx@h<xfhQl ¾´lasu²hQal g<BvBxh<|ueQgQl@xie#v§B©
(43) |}eQªdlbfsD|u°g,xzx|ujk©
(44) w|}suªl.lbsD^j ©
(45) vws}|}fª|ulbws su7l7±hQ|ux@)h³dixl +Odil eQh.+g#l s}_y´|u¸ywl l dz|}· +h<lb¶)t l.tb°suh<¹xf<xi+l vwx:|}aihQ|}Q¿.lbls}y.t &h<©
(46) dfl |}ªe#lb§s8a77l jkBh h<yµdfh.{Os}sullbs}I|uxf|ulbj ¶¼l hQµÀhQx^di©®ew|}t ªOl lbxfs&xil |uµx&j¶ h<wB|ut+h<gQl Bjklb¶"l QÞtb°suh<¥ xfxil l xsuhQhQdil gQvhQh<gQl l O°hQxr¥ {l l l xi l lb»8l k|u 9 prhQdiÒOprhQdiQ ;D8h<x hQla²al xz|ue<e.§&©
(47) |}ªlbsD° . "!#!%$'&)(*+&),-/.. tbsuhQxxi|uxb&©
(48) +|}ªllbsDdfQew+e.l®tb+sulah<²xf®x°Ke.§8¥ h< lZ©
(49) df|}ewªe.lb^s877 tbsuBh<xfdix^eQg<|udfxh<aj l hjkxh#yw|ux,+l jZdf¯8e<gQ|ux®dihQhjKxilb°À® e#§TtbtbsusuhQhQxixixfx^l |uxxÞ¶ aB|}alk h^lb»Tw|ux|}fi|u|ueQgQvwe#|uxi§¨hQl hQe#§{x +
(50) di hQ tb/
(51) h#adihÀlbsuh#¸aywl ±loa|uejkw|}asux l j|ul xz<a+hQh.ft |ue<l x °,=hQ §DeQl {wh#avl tbdflZ|ut xohQhQ_µ{|ulÀBxlba|}hQat l l d e#hQ§³h@h#itbasudzh<|uxf{xvw°+l e<tbdsuh<hxfxXdieQvwhQfx^|uh@l xilb h dflbdfaewvt dfl l vµdflo{Qy,eQd^+hl§Dvt vtbdffdi|ul e<Q8^¯a§D°v¹tbf©
(52) |ue<|}±ªlbh<s 7B7 , £hQ ºx¡Ò|u,¡.1Å ©
(53) 08 |}ªlbBs¬l ¯+e.++l lx¿.+lbyIlk¶rt e<vBdfdidil ¡#QÅ^
(54) e<{wì l tbl e#+al lkx l +~Ivwl|}#dih.l suxfl vwQs} e#e#§S§ h<Å ±32S|u|u±x+h<wBjkt h#l s}s}e.a§rh#sua¿ZBlhQdiewe# o46tb5=suhQ|uxix 8p df79ewe.7X^¯+e<°{w¥ zl Btbl ¯ala²h<l t ±via|ueQBKle#la§®²Bl hÀt vwxywi|uxeQ+µl j e#§¼t e<+Blx|ux£#+¡.xrÅI|u¢w@ ÒÅaBdfloe<vt dfil |uh.fl |ue< h jdfh l yZlbt »Tdfl h.l +lÒdf«.e<h#vws}afl |ud
(55) lÒe.¯º+e#§l dS+eQlr{wdil ewtbe#+®x°tbsuh<xfx°Á¥ l la²Bl t vwi|ueQ e#§TaBl¼£#¡.ÅI¢w ÒÅdfe<vi|ulreQ alrdfewe.®eQ{wl tb dfewt l xiwxfl |}ªxSl hQdfl Àt e<l{w¶ l |}tba+>x = ©®|}ªOlbsX|uxÀaBh. h#Z+lµla²Bl t vwf|ue<¼h<©®|}ªOlbs 771xywx+l j(|uxt e<jeQxil _e#§ ? hÀdiewt l xfx e<ddiewt l xfx e<{wzl tb |uxXhQµ|uBxahQt le#§Shtbsuh<xfx |uBl d|}i|uBgBº|udil tbis}y@eQd |u|udil tbis}y. §Ddfe<j hhQdf|ut vwsuhQd¼tbsuhQxi2x =Áaltbsuh<xfx U):`_,P<;`Q Q ° ? eQ{Bzl tb hQxix|}QlXeQ{wl tbb ¯ =h#s}sºale.+l dixb° wew|u@©®|}ªOlb8s 7<7IBhdiewt l xfx®|ux¨h<eQ{Bzl tb¼{Bvw e#¨lbQl dyÀe<{wl tbr|ux dfewt l xixb° Ù = e ÙDâ.
(56) .
(57) ! #"%$ &' ()(+*, .-0/1 2-..
(58) < ,. . .1.. Â¥ |uwgQ|uvxdfdil eQvwi|uBdflXl xil l Qxfat x¨d|ua{Ol l xrU)a:`_,lP<;`dfQewQ t l tbxisuxrhQxixixbt °@dz|uw¨§¬aeQl d d{Ot ewdiwl h#y.i° |ueQ:y|uh@Bl didzew|}t al hQxixt l.laB²Bal t vwl^atbl sux¨hQxi|}ax xU :`_,P K;QdieQQ vwg.i|}|uQl l.x ° +OeKe.|uhQ+x dfh<ewdft lXl xi+x dil hh#al lb§=h<e<vws}^l{h# l Bhh If|u|ujke<dl|uµlb»Thl @ |u_ eQadil l dfdbe<° vVi|ue ¶rllb<l dbO=Xlbdi|udil x~Ive#l §&x++x lXaeÀtbsuhQ+xix l U):`di_,ewt P<l ;`xfQ x Q l jkQah dzyy xfl tb|}§ìykhklb¶){l Bh I|ue<dr{QyKdfl lb»Tw|uBgaldieQvwi|ul w° "!$#&%'%)('*,+$-$.&/'/ 0'0 1.&#&#&% 21?"153&6&42$35&%'6$% 76=@891A'33&=8;:"5"4;<,5&3=%28&<"8>#$<,"!$3$&#&% %'% 73'#$89:"5B 0'3 0 4=C&34'% ('5&6&$3%'%D@6$E'F E&0'60 0'0D?G 3$6&7&4;<&#$:,8 %!28H4'?%L6&!"K 4'M22FK,I+ 7&695J3$<"8'5'F 3=<"EN 0'0 3$<"E 0'0 ("* +$-$.&/"/. Â|ugQvdil 0=:¥ Bl. PO. $'& (Q< .1. . ,SRUTWVYXQZ [\ .. `_. a. U):_,P ;`Q Q. tbsuhQxix. "BBh<xfdil ewxt °^l xix:K|ux ahQ@lhQe#vwaaeQl d eQBjkh<eQOvx®Oh<eQ@{weQl {wtb l tb >df ^l ]Sjk ¯ h#|ula²Bx l t hZvwtbfsu|uhQxig xz|uhkt h.{Osl h#h aIh|ueQxd+8digQve.tb|u+vgodil a dfe< v 2gQ^À]S xi¯+vOt ¶¼t h#l |}xfix|u|}B<g l §=¸e<¶rdekt t+h.s}sue#x¨|ut al ekx¼laB²Bh l <t lvw+{Oll l |}+kxdfeQe<vwl0f|u= l x°¥eÀjkhQhQg<lalt eQhQ{w|}ah#i|ueQZe#§®+l xil^¸¶reZ¿Q|uBxe#§SeQ{Bzl tbax ? |}|ux eQxixz|u{wsul+e@eµh@Oe.s}ywje<dfw|ut hQxix|ugQjl <{Olb¸¶¼l l ±h<1e<{wzl tbohQ_h@diewt l xf>x =hQ h1 dfew t di
(59) ewl xit xil l hxfxbx° #° h<dz¥ |uh<{wl su³lÒ¯h¶ §=wl h.|ut++_vdi|ulÀx t h#e#s} st h<l ³tbsuh<dfyBl B,h<e#j§ |ut h@h.¸s}s}ywy³lÀ{Ol t dfe<ewjt l lkxixh1t t hQe<_jwj ywvwhQ|ujt h#|ut i|uh#eQs}s},y{Odilblb¸§=¶¼l dXl l +e ? aBl dil hQdil BexihQdil e<{wzl tbax:{lb¸¶rl l kdfewt l xixfl x°wewae h Qe.|u@xfh<dfl keQ{wl tbaxbIdilb§=l dil t l x eQZhQxixz|}<leQ{Bzl tbax:h<dflhQxixfl Z{Qyt e<QyÀ{lb¸¶rl l ZBdiewt l xixfl x° ( - -cbDR d<,e\ (fR ,SRUTWgfh Ri. & (fR d j<,e\ (fR. hÀdidiewewt t l l xfxfx xrg.|u|}xXQl hQxXdzeQ|uxi{wll +tbeZ OhQxi'e|}o 'hQk`x^l la
(60) ²
(61) O eQ Cda l Gdfe<!vwf!|u/ l `x°%
(62) E vdz |ugZ¹crla²Bp l ¯ t =Ovwxfyw|ue<QOahQOtbh<iQ|ut yµh#s}dis}eQyvwh<f@|ul¹crt p)h.s}s®|ux^eQh dfNµe<vweQdifl|uxilOt l h#tbs}|}sD»T°:t ¥ h#s}s}yQl^t ¶ e<jl j vhQwZ|ut eQh#{wi|ul eQtb |ut x h.hQs}suxx ywht+dieQdivweQi|ueQlvx:e<h<hB{dihQewxit l l Àxix2eQ= Z+lBd|utb|uwsul^e#§&h<BxihQ¿.l.° ? hhQxfhQ¿.l |ux l xzahQ{ws}|uxiBl Z{Olb¸¶¼l l alt h.s}sul d hQÀaBldfewt l xix ê. e,e gf hCiJj2h.
(63) K # : `# G S
(64) ^ ^/ !$^".>
(65) d. h dfl ~vBl x:|ux xil Qrae +lBdiewt l xixb ? aBldfewt l xix:dil xivBjkl x
(66) |}ax dflb|ueQvxrhQtbi|}I|}¸y.+lt h#s}sul d t eQ<f|uIvl x:|}ax la²Bl t vwi|ueQ° rl t hQvxil +l t h#s}sul drewl x®e#r¶¼h#|}r§DeQd:al la²Bl t vwf|ue<e.§ºaBl dieQvwi|uBl.I¶rlxihykaBh.
(67) alt e<jj vw|}· t h#i|u¥eQekx|ux¨ywh<t+xzyBdfBe<taw|df e<l¼Bae<vl xb° Bdiewt l xixfl x#+l suhQgQvh<gQl vxfl x®+l SH k K k
(68) 2
(69) h h#ah#·>d|}Ql ZxzyB· t+ §Dvwdi+eQvwdi| l h#ji|ul eQtaT B=h<hw|uxfjZdfew¯+t ° l xixº¶rh.|}+xSeQws}y ¶ l |}¼h#i+l jkw+xOaevxil h^.h#suvlr¶ w|ut+|uxre#®yQlb¼h.h.|}suhQ{wsul xzyBdfBe Ita¥ |udflÀl e<xr¶¼|h h#h.x|}ifyw·>|ue<{Qt+yI·V¶ dfe<l |}wat À|l xfh#axi|}¸|ul^y1eQ|udfx {l hQahQBlbxilZ»Tl keQl weQs}Ày_dfe<xvywh.i+|uh t+8l¨e diȶXeQw¢° |5¬ V <h#e i¶ ¶r|ueQlb<l l jkdbIh<l |}t+B w|uhQs}x |uwl O|ukxie<j +xfex|u{whQdfsuKe l¨IeQa|ue {wl jkl _tbhQ {Q¿.yP l¨h<©
(70) È|}ª¢ lalb5¬²Bs .w7¯+7Is}° |u°±tb|}a¹¸l ?. . gibUX . 8h . \ -/.. . 8,- . K©
(71) |}ªlbs877 xzywxal j jkhyZ{Ol I|ulb¶¼l @hQx hxflb¨e#§&xivB{xywx+l jkxbIl h<t+t e<jeQxil e.§ = ? eQldfewt l xix:e<{wzl tbÞwdfewe.re#§al^xiv{Bxywx+l j. ? l dieeQdXje<dfleQ{Bzl tbaxbºaBlbyµh<dflkhQxixz|}<lkeQ{wl tb+xdilb§=l dil t l @{Qy±aldiewe#Xdfewt l xixe#§ral xivB{xywx+l jK° h»TQgQµvÂdfeQl |ugQ{wiv l di|¬¯atblkax¨mÀ |}h<|¬xf¯adf loe ¶ |}gQ|¬di¯+xh
(72) yhQ |} Ãh<¯S©
(73) dfhQ|}diªe ¶ lb 8s x77À dil x¯iyw¯+°:xzdfal l xijl {wQ l tbdivB+lbdxS§=|ul hQdigÀl Àlat ²Bl l dixbt ew°vwt iÂl |uxf|}eQ<xil lx&°xfj¹v {h yZxzayBwdfxz|ulbax§Dl l »TjdfgQl x vh<dit l.dflrl Oh<Bdidil e#ewat dfBl l l xixidSxfl l Qx adfl ewhQÀdit l l |uxi@{wx
(74) su+{hQwtavw|u¿ x e# ½h|}+hQwxi|uxz|}<hl^xie<vB{w{zxl ywtbx¼+e#l §&jKh<8B+e.+l l ladS²Bl xft vvw{ixz|uyBeQxzal |ujxXxf° l ~Ivl Qi|uh#s®h<Bµt e<jj vw|ut h#i|ueQxrh<dflxywt+dfe<eQvx2= +dfl xilvwas} hQ° digQrlblb ¸¶re<{wl zl l otb xfv|u{jkxzjyBxzl awl j|uh.+xlbs}ayZl:xfl lad²B<l l t x¨vwai|ueQldf|ul x
(75) ~vBhQl dixh#s}suhQlbsBhQaBl t eQt jkh.s}j sul vd¨w¶¼|ut h#h#|}aix¨|ueQ§DeQxOd h<adfBlSlohQdfxlbywavt+df@dfe<e.§
(76) eQav2x l = +t h#s}l sul adhQdit gQe<lbQSi|ueQI{wvl lbx¨ |} a¶ xwla|u²Bt+l t |uvwx ih.|ueQs}¶r°Àh ywwx ewh &t eQdiewjkt j l xfvBxa¯w|uxzt ah.eQfdi|ul e<x
(77) Bax h<l¨dfldil x~Iywvl t+x:dih<eQxrh eQvOx l |u1w|uh@gx|udfBl g.~suvBll xixvr{h<xzywxaal j l hQh<Qxzy,ywdftae<BvdiieQ|ue<lvBt xSh#{Os}s lb¸ ¶¼hQxl ywl t+¸¶¼dieQexieQvv{BxxyweQxd+l h<jkxzyBxB° tadfe<Be<vx+¯ g#|}<l x dz|uxil+e@h@§Dvavdfl |u1aBlkt hQxile#§ |uxz1yBl Bt al taBxflkxdf|}e<¸t y.BhQ° e<xilvx
(78) e#t § h.h<s}suxzx ywhQtadiBdfdie eQ¶ x e<vBx¯+t h#s}Isu¯&x hQ hQdidieQ¶ ¯ix ¯+ Ò¯^lr¶rhQh. |}r§Dm<eQ¯fd
(79) ¯ a+lrl.h#¶rsuvh#|}l oe#|u§Oxasuh lby §=vw=a|}vB dilr|ux|ux
(80) a|ujkljk¶¼h#l |}i|u·>h.{Q+yl·. hdfxfe<e<gQÂdzdia|uhQgQl jkvÀdij{wl |u|uhQgwd°8diyl ¹¸®xfal dil <dil0+ex = hQ|uB@l xla²hhQjkhQdih#sulos}sulbe#sI§S<dfl l divxz|uxie<hQ{w|}e#s}|}§¸ayBe.lS§:©
(81) ©®|}ª|}ªOlblbss®tbsutbhQsuxihQxxixil x¼
(82) ¶ :|}aw |u<+:<;)l ; xi¶ t eQw|ut+l^ e#§Sl ©
(83) xit |}ªdz|ulb{s87l 7 x ? l hQtaÀewle.§+l +dil lBh<x h sulb§ì ta|}su !¯rhQhd|ugQQ taw|}su " $#%&¯'. Ù = e ÙDâ.
(84) .
(85) ! #"%$ &' ()(+*, .-0/1 2-.. (i). (iii) (ii) (6) (1). (4) (iv). (3). (5). (2) (v). Sub-system. Object process. Objet. Attribute. Â|ug<vBdilXm.=:©
(86) |}ªlbs877 xzyBxzal j I|ulb¶¼l @hQxrhkxilb e#§&xiv{Bxywx+l jkx Reference. void reference. u|hQw§=e<|udfwjk§DeQh#diij|ueQh.f|uh<e<B Z+& l¿#¯¨lbyKh<BhQdil|}a|uxQa¿#l lbgQy l dix 8¯¨h<dflxaeQdil À|uµl hQt+@ewl B|ueQvd la²BhQjkwsulal ? h#s}sÿ#lbyBx¨e.§+l sulb§ì xiv{w+dil l hQdil^xijh.s}sul d:+h<aBl¿.lbye#§alt vdidfl < ewBl. ? h#s}sÿ#lbyBx¨e.§+ldz|ug<Q xivB{wadfl l h<dflXgQdil h#al d
(87) aBh<al¿.lbye.§+lt vBdidil Q ewl.° " ¿#lbyK¥¥hQel ÀhQdiaeQdih#vwls}fsu|udilbeQs}|l vw il |uB+l l {w @x|uB" zh<adzeQ%Àydil suaewxrdfeQl |uµ¿Il xr¶¼+§Dl^eQldraalbdi»Tl l¨Bll |uhQwa§DBeQ|uldiwjU§DeQh. difj|ue<h.
(88) f |uh<e<:xfOxiew tb|uK|u h#:<aal ;)l; ¶ dtb|u|}sugQah<QÀxfxa°Áw¹¸sulrhQt ¿.|ullby.h<°l t dzt |}eQax:diw§D|udfBe<g j aaeh l U):_,P ;`Q Q tbsuhQxixrhQÀal :$ <: ;); tbsuhQxix ee.+l drdieQg<dfh<jj|ug¨|ux l t l xfxihQdy.° ¸layw²O|uxlf|ue U¶g xf¶¼l l~
(89) vBt l h<:<f|uv h.xisO<l¼t :<aew;); l l ºhQhQ©®di|}@h#ªOs}sulb{QlbsÃyµst {ewv|uBx|ulÒh<B¯adzgZ° y Oae.dfl s}ywlrj|uZe<dfhQZw©
(90) |uxi|}j ªlb8s 7xi7^l lÂdfe<|ugQgQdivhQdij"l I{Q¯ayk°¹l tbasuhQwd|u|uxt gh<h^xfl..8hQ¶¼d|ul hQ{wdfsul l vxie#l § ?. . . ê. e,e gf hCiJj2h.
(91) . .
(92) B. K # : `# G S
(93) ^ ^/ !$^".>
(94) . '!$#&%'%,M'* '*'.9. 3 9?6$5"8 4;< %$3$5'8
(95) Q%$3'#$5 21
(96) !$3$7"8
(97) 5&3 91&8 7&3'#$89:&5&3&39FUM ".$.'*Nf4;<"7&6UM '.$.'*N !93$7'8
(98) 5 491"8 M'* '*'.9.N 4;< %$3$5' 8 UM '. $.'*N 4 UM '. 9.'!* )4'% E&6 0'0 42<,%$3$5'8H89134;<"7&69#5 "#$8 4=6=< 4 $N 4'%8913>#&%"%'4$6&'49#$8'3$%E &3$F 42&7 &3$&F '&( 891 3=< &3$ F )'*ND4;<"7&+ 6 ,' 4 N !$3$7'.8 -`25&3'#=8&3 N 5 4 91&/8 -`25&3"#$8'3 N 3&!'%"42*7 &3$&F '0J891 3=< 42<"7&+ 6 )' 4 N 3&!'%"42*7 !923$7'8/1*-`&423$<,F>%$32895"1 833= < 4
(99) 4 N 3&!'%93 5,491"8/- 4;<,%2395$85 ,
(100) 4 N 3=<"EN 3=<"EN 0'0 4;<,%$3$5"8 %$3'#95 ;16 7iM '. $."!* 8UM '. $.'*>4'% 8913C&#&!2:3#&%'%$6'4$#$8&3=E)8&6>891*3 &399 F E&6 0'0 42&7 &3$&F '&( 891 3=< 5&3&%;: !2+ 8 )'&( N <6$8>7&6=:'<&E 3&!'%"42*7 8'0&3$F>891 3=0'<0 5&3&%;: !2+ 8 )' 4;<"7&6 N 3&!'%"42*7 21*&3$F>891 3=< 5&3&%;: !2+ 8 )' !$3$7'.8 -`%$3'#$5;1: ;!,N 3&!'%93 5&3&%;: !2+ 8 )'>5 4 91&/8 -`%$3'#=5 d1 N 3=<"EN 3=<"EN 0'0 %$3'#$5 21 3=<"E 0'0 M'* $*'.9. '!$#&%'%)( M"* 9*'.$. 3 9?6$5"84;<,%$3$5" 8
(101) %$3'#95 ;1
(102) !93$7' 8
(103) 5 4 91"8 4;<'13$5,428I('* +9-$.&/'/ <N M'* '*9.'.)5&39E&3$7 4;< 3!$3$7'8
(104) 5 4 91"8N 7&3'#$89:&5&3!$3$7" 8
(105) 5 4 91& 8 f( M'* $*".'. N 3=<"E 0'0 ( M'* 9*'.$.. Â|ug<vBdil =:©&²hQjksule#§&dil vxfh<{w|}s}|}¸y|u©®|}ªOlbs87<7. Âdf|ugQewvt l dflkxixfl ÀxSxihQdie l¶ {wxsuh<ht+¿ÀgQdih<hQw|uhQt dih#dfs&e ¶ dil x dfdil l xil dfQl axih#l iQ|ureQh<xze.yB§:Btaadfle<xBywe<xv+x:l jkt eQx jk§=dij eQj$vw|uÂt |uh#gQiv|ueQdfl°¹Zv+wd|u|uBx gKla²BlahQ²Bjkl t wvwsufl |ue<h#
(106) s}s. eQ{wl tbaxrhQdildiewt l xfxil x°. Ù = e ÙDâ.
(107) .
(108) ! #"%$ &' ()(+*, .-0/1 2-.. B &7'!3'$#&#$89%':&%)5&.3 '( . /C UM '.9.'*N @"8/ M"* '*9.'. N -$5&3'#98&3>4'% !$6&$#&!D!? ;@"8/S( M'* '*9.'. N E&6 ? 2@"/8 -`253'#28&3 N @" 8 )' ? ;@&8N @': 4'!2E ;@ 4;<"#$59F 8"5'3'3 ^@9!8 N %$3"#$5 ;1,42< )891 3HC#&!;:36$78913*&39F C 0'0 )'H@"/8 -`%93'#$5 ;1 ! N 7 /C - ?"5 4;<"8 3=<"EN 0'0'0 -90 5& 3'##$8&4283 @"F <3&$3&%"%'428'F @':,4'!=E ;@,4;< #25'F 28$5&3933 @& 8 ,M'* '*'.'. 4'% E&6 =5&3'#$8 496=<H6$78913H@,42<#$5'F8'53'3 @"0'/8 0 -`4;< %$3$5'58 5
(109)
(110) N @"/8 -`4;< %$3$5'58
(111)
(112) N @"/8 -`4;< %$3$5'58 5
(113) N @"/8 -`4;< %$3$5'58
(114)
(115) N @"/8 -`4;< %$3$5'58 5
(116) N 3=<"E N 0'0 @ 4;<#$5'F 28'5'3"3 3=<"E 0'0 . &# "'? !$3. Â|ugQvdflX =
(117) ©
(118) ²BhQjkwsule.§&hQ©®|}ªOlbs87<7odieQg<dfh<j EXAMPLE 8 bt. key left. 1. 2. 4. 2. 3. 6. info right. 4. 8. 6. 12. Â |ugQvdil^ =:©&²Bl t vwi|ueQÀe.§&hQZ©
(119) |}ªlbsH7<7xzywxal j Àk r º S3@ r &3 ® ½1¥ l l dfl^dil |uxfxl Q&exl ywdiQl:aahQBtbil |ut^h<{wxz|}aªdfl h<dftbl xt ywlXQ{OahÒlb²¸¶re.l §Ol laK²B©
(120) di|}l ªxflbxs
(121) |ueQh<x&@hQ©
(122) |}ªxlb+8s h.77I+l 8jkal l QÀaxº¶re#l §©
(123) h |}ªQlbls87a7 l xixil hQlrjkÂl^|ugQlav²Bdil didIl xz¯a· ° e,e gê f hCiJj2h . .
(124) >R. K # : `# G S
(125) ^ ^/ !$^".>
(126) . zxe#|u§Se<xdfl h<Blb»T³xl ah#axfl l jdIl |uQt l ax x^hQ|uµ{Oe.dieQ+1vwfsu|uh<l xgQ°vhQ½1g<l l xbjk°ew©®|}lbªOsºlbas87<B7 l xihQl jkxhQaBQlKi|ut xfx e#l tb§®|}+»8tbl |}¸yPxil e#dz§X|ut e#lªl dzÅQ|u¡ gÅh±És}|uD{ÊdiÅIhQdby feQ|uÂ{we<¹Âl xbtb\I¶r¯
(127) xil hQl dt IÀeQ|ut ¶¼lÒx|ul^¯hQh<l t+d
(128) w h.|us}lb+sOQdill eQvwdi+eQivw|ulXBfxzl |uywx&lrh<tax
(129) È B§Ddi¢)vBeQ5¬ wtb|i la|uh.eQ²Bfw|ue<xs}|utb |}avSx¶rlr|uBh##g |}h.sua¯av°Ál¨lÂdieQlalb²BdSavBwjs}di|uewtbl |} lb¶¼s}{Q|uh#ykg|}Þhx° ywdfewt+t l dieQveQdil
(130) vx&|ux:t aeQjkl j t vBvdiwdi|ul t Qh#· xfhl <dieQ+Âvwh.eQfidr|u|ue<aÀl^l e#t h#§Bs}asDdiºl xilh<l @xQyw+hQQh.daf|}hÒ+|ue<²jkdie#h#lb§afB|uat Bl dSeQl d +xil sue<hQjg#kh<|ut +Qila|ul²Bt x:hQdi{e#l x§Ãxf+x+di|uhQeQltbZ¼©
(131) eQeQ|}d ªhÀl.lb8s°
(132) 7t 7^e<BsuhQxalahQ²BgQQvÞh<df°rl gQxil x|u¶reQxlXah#vBaxil l j+©&l Q²Bl t d:eQ|ux t Ih dilba.+jlhQ ddi|ul |uhQx {wdfhQsulbl. · hQt dfxil xz|uh.g<f|ue<jl xQ+Þh.O+l hÀjkxil l ~IQvÞ°8l ½1t lrle#eX§SxB+e.h.&+l jkdfl l xiQl aQxb8ahZBlSxflbsueQl tbwi·>|u~IeQvh.Os}|}h<»8 l |}at l h.dfh.s}sfdf|ue<e<vwOf|uhÀl dieQ vw f |ult h.s}s® eQd^h<µ{Ol eQt {wh<vl tbxfl |}h^rsu|uewxrt l h#~Isvw.|}hQ.dh#|usuhQl {w<su:l.Iae^h^+§DeQdil j~Ih.vsh#s}|}hQ»Tdil hQkjkt lbh#+s}l sdº£ e< ºd:¡Ò¡.e<Å1B08l e.§O a
(133) lr ¸ ¶re xfl v °®e#¥ ·D.BhQl d|u|uhQ{wl suQl ix&|}»T£
(134) l º d¡Ò µ¡.1Å |u08xr ohQhQk
(135) h# ia¡#dzÅ|u{
(136) vw+ì l.° ¥t eQl^x+|uh<Ql Qf#|}»Th.sul v d l ³ |uQl al gQe#l adl ºx {OhQewKe#h#sul ih<+d|u{vaÉ l5=Ê eQd Ihvwsus}ews
(137) t dih.lbsO§Dl .dfhQl d|uhQt {wlÒ¯asul 8lb +|ut.°étb¯,suvhQ|ug ¡.ÅI
(138) hQì .¯a1 ° PB ol ax|ugQl h.v+Bl h<xrdzyh. hQ{w|uhQdyÀe<Ol dih#aeQdixb° ! "$# ¡.ÅI 5DÉ 0 % 0b ¡ £# 5=É 0 '&(&*) &(&*) &*)+ , . , - ,/ 0 , 532 41Å 01 Å = 2 Å 1Å 0Ê ,
(139) / 0 , 608 5 =ÉºÉ # Å 0Ê , - 3 4 , , £#¡.ÅI¢w ÒÅ , ÅQ¡ Å
(140) É =ÊÅIb Â|ug<vBdilOd=:©
(141) |}ªlbs877 I+h.+l jkl Qax
(142) h<©&²Bdil xfx|ueQx. º :3@ r &3 ® +Ât veQeQdijkd:l xix¨OOe<¶ l xftbwl |}Z|u§¬tayI±e#|u§SgeQl {waxit l ldztb|u{w+xywl^°¨+hQ©SjlhQta|ug#t@sue<xfeQl {{wjkh#s®l hQtbxzQaih#|u|ut a@x&l+e#e.§§rl+hxlywxywx©
(143) +xl |}+ªj l lbjKs87° 7 hQEx suhQhÀvdzgQx|uvah#hQgag<l^lal.²#hQl ¶rt µlvihk|ul eQ{Ol ol ºahQh e^µI|u©®eQlbd|}»TªO 8lb+l s 7xfl7ke<t jxzywe.l¼s}xsual xzl tbaj fdf|uve<tb|u x· e# ¶ §®|}h#as}ÀsÁeQa{wlbl |ud¨tb h<xtb+fh.|}+|}l ¸x:y|u¯rx avBdl^|uxg+h.la+²Bll e#t §&vwfa|uBe<lOx° ywxzaÀl jK+°rle.eB+B¶rl drloBh<l Bl K8h{xl at dfhQvvtbxial¨vBdil lh<t+§=e<d t je<jewj lbvs}|uw|ug t h#eQi{B|ueQzl tb|ua x +©
(144) w|}ª|ux lbxis87l 7tbfg#|ue<|}<l <x¶¼dl|uxfldfal ekxil hQr§Dvwxi+vvt+dil.Bxa¶rdfl vtbal vBl di@l xhk° xzadfvtbavdfl +ekx+e<dfl+l^§Dvw+vdil x hQ+lb|ud .h#suvl x°¼¹ 5. Ù = e ÙDâ.
(145)
(146) ! #"%$ &' ()(+*, .-0/1 2-.. _8. VYXQZ [\ .. _8 . )DbQ\b &) .. Q. ½1 h<lXjeQ{Bewzl lbtbsT hxz yBxzal j {wi¯re.§e#©
(147) §|}aªlb|uxrs 7s}7|uxeQ {w|ux l tbhax~Ivw|uQ +vwsu{wlbCxr=
(148) ¶ |}+Khs}|uxz &(&*) ° ¶ l dfll hQtaÀlbsul jkl Q &(&*) -
(149) ¥ l . . h u s B v l hQjkl |ux+l|ul Qf|}»Tl de.§ +lkeQ{wl tbÞ 1 prhQjklo|ux alhQjkle#§ al eQ{wl tbp:suditbx suhQxix |}ax yB|uBxh<ajl|utZtb¸sueQywxiOvlÒdf¯alX s} |uxz jkc&h#ew|udilbx s}|u&(&*)ge<{w l tb À hQ|uxktbih±|}Is}|}|u¸xyÀ¯ e.hQ§^h.|udfx h#i~I+xd+|ux{val.
(150) .h# su v lÒ¯ah s} |uxz e.§&tbdfsul eQ~Ixi&(vv&*) l dfxl + x® + exil dz<l.° |uxlb»8l ,{Qy³hµxfl ~vBl t lke#§x+h.+l jkl Qax I +jh<_&(&*) h± t e<Qala² ) !" ! p®²w °:¥ l^t e<Qala²:|ux §DeQdijl k{QyÀ¸¶¼es}|uxax e#§&h#|udix ! ) # ° hQdihQ¥Âjk|ul lbh#+s}s}l s}|uy.dixz®x
(151) ax h@h<df l ~IsuhQewvt l h#xs .hQ
(152) ddi|uhQl xi{w Osul l ~Ix tbxia |}¶xQlb|}|u+xs}y.Àjkº¡.jkewÅI hQ
(153) lbsu¬hQl .g<@¯rlhQ{Q+y1ÀlhKahQ~Ixivlbxi|uhQewd:tb.|udfh#h#visuwv|ueQsul lb@xb ° {Olb ¸¶¼l l @ §=e<dfjkh#s®hQ¶ |}+lb ªOl tbia|}<ll t eQhQQjkah#l|ue#§Sadfe<lvw.f|uh#sul^vl aeÀe#§®xil ¡.dzÅI < l.
(154) ì&% h.) §ìal &d + l t eQ& jk w sulb+f|ule<Àlbªe.l §
(155) tbaf|}<l l dfe<hQvdiihQ|ujkl^ lbh<+l B)$di x ' aa&%Blo l' xf§= l vw(avl dfdl^|uaBl h#< f|}¶ »T|}l s}ds §DeQd¼xfl w|ug{h<t+¿+ldfl xivws}b¯a° Â{OeQldrhQjkewlbªlbl s}tb|uiB|}g Ql§Dv#ah.vsudfvl l^x&¶re#l al h< Bkh |uQlbal ¶³gQl .dh#wsuv{Ol0ew=Áe#asul Bh<l h <¶rdilbh.§D|}l +dfl l .t h#l.suIvlbl +t. °ée<¯dÁe<§Dvwd +h vdi§=vwlÒ¯+a°&vBdiwl ewwh^ ° .h#sul vd & jkh y & ' r k Q h < 1 y i u | j . l Á ¼ ¶ l t Q h P u | x i u | B < g w v u | f x _ { b l ¸ r ¶ l l , Q h ³ h r ¶ . h } | + l 1 . . h u s B v Z l Q h _ a B k l b l ª .h#suvÂl.vw°:+¥vdiwl |uxrx t di|ul xh#i|uaBl tbi|ueQvZd|uh#Bs}gsue ¶ ax lvlax ²l ht xvaidf|uh.eQ|ukgQQe#i§&§=e<h<dz¶¼©
(156) hQdi|}ªlbxfs877l tbx|}yw»8xt +h.l fj|ue<hQdie.l§x++e<l dfl ¶rh.|u|}@f·VhQ{Ql ZyItbf·>l |}<Ql lIt |ul didixilbeQxz+|}v¸jkyQdi°Bl l Q xf* h<dfl ÂZadf{Qx yh.s}seQ*+{w, l tb°:axb©S°hQ¥ t+wZ|ux¨lbsul l <jIl |udf<e< *+j l QSÂ|u+x drho|ux s}|ux lb»Te#B§&l kh.|u{Qdf-y x *+§=vw avdfl hQjk¶ l.<.l h.disul vBlÒ ¯ = Â&hQjkl¨|ux h ) '$ &. ' §=vwa vdflhQjk&(&*)l¨h< h#sÃ|uxr|}+xr.h#suvl.° & 0/. _8PO. a f( R\ ;R b e, \ (fR. .. ¹fÀ|ue<@h xi|ux^j¶ h.s}sOh#xal hQe<eQO{wl dilbh#i|ueQhQx h#s+xieZl jkBeKhQQh#i§¬|u+t l xbd #xi|} eQjk|ux¼lBlbl sut l l jxixil hQ<d+yh<+dzeoyKBxzal l xi@t de#|u{O§¼l lat ²BeQl <t fvw|ufI|uve<Oh.f°^|ue<¥ Bwx|u°Áx¾sul t hQeQQxiv|uIxv+h#e · lb»8llb¶\xywQahQtbi|utt e<BxadfvtbaeQdix v¿Ie¶ Z{QyÀal^dieQgQdihQjkjklbd+¯a° '&(&*) (( , & ,21 , 43
(157)
(158) , Þ£ =É 0Å &(&*) (( , 57698#8 , 0: , 0:;' , £ =É 0
(159) Å ¢w ¡. 1 hQe#¹aQal vwd
(160) di|}lbf|u+|}<vlbadis}By.lx® +xi<hQjkl: dfll e<xih<vw{wBs} l tbe# §& hxil hQdzdilÀ|ut lvxi§Dlbdf§=e<vwj sr§DhQeQKdeQ{whQxil xtb|uBrgµaeaBh<lKe#t avBBdil did l Q dil xfvws}§=dieQj htbsueQxivdflZ+e 0:;' =3 |uxvxil §DeQdjkewBlbs}|ugk+l lb.h#suvh#i|ueQµe.§rhQdihQjklb+l dix {Qyt eQQyµe<d^{Qydilb§=lb· dfl t lÒ'¯. >@? è äéÚºÚDæbßéõ ã=äàæ ê èÒÛbÚºÜÒÝzÝiêõÒÚ=Ýió¨äí2 ê A BDC"E2jF.î}æ ëOã>è ÝSÚ>çÒÝ G¸ä HIGÛ+ãDä æ ê æaîBãVè Ý:Ú=ÝiñrÛêbã=Jä GÚTæaîOð8æ ê GõÒë=ëìÝiêbã&÷wä KQÝßuá ê. e,e gf hCiJj2h.
(161) Þm. K # : `# G S
(162) ^ ^/ !$^".>
(163) . fe#§ £ D° É |uxr0aÅ B lX xzajkh#ahQl ¿.jkl x
(164) l Qh
(165) t ¶ e<Qwy|utae#§ ewl hQxrke#£ aDÉ |u0gÅ
(166) ¢ ¡.
(167) jkhQ¿.l x:hot eQQyke#§Ãl hQtah.fadz|u{vwal:.h#suvl. 57698#8 . . Z ¹dfe<agQwdi|uhQxrjKxfl QtbhQiÀ|ueQh< {¶¼xzaldfh<tbl :xit xdzyw|u{QalrhÒ+²al dfeQl l l dfe#h.afl |ue<Bh.sIxf|uxl jkt eQhQdi<dffl |utbt ix®s}y e#§Ã¸yw©
(168) |}ªlb·>lbt+sH7<7Il °Ãta¿#½,l l°ÃhQ½,xixfvl^jk{dlr|ul +yh#SB+dil l xil xiQeQ:vadft ll xfl jk½,hQ<l f|u+t xSl dfµlbsuh.+l l xft kd|u+{Oe l^|ual l dzeQ|}ahQl dft h.l f|uhQe<BÀh.sºwxiywl jh<h<jQ|uit|ut {wx¨|uBe.w§r|u©®gw|}ªOlbhQ8s xr77|} |u±|ux al lbdfjk»TBx l e#k§S§=hÀe<dra©
(169) dfh<|}ªBxlb|}sDi° |ueQ@xywxzal jK jxzah#ewal lbx s}|ue#§XgkhQO³eQxi©®x|u|}{ªOsulbls 7a7µdihQxywxzxz|}ail |ueQj x hQ§Ddf_e<j adfh<e<Bxzl |}it |ue<eQw»8x g<divl dfBh.difl |uxie<l Q+eZg#suhQe<{Be#h.as hQl dbtb° i|ueQpreQxw°»TgQ©:vh<dit+h#³i|ueQg.sueQx {dih#l s Bh<dil tbfxi|ul e<Q |uxl xfhQt µd|u|u{wQ|uaBl g dfg.h.sueQs
(170) {h<h#tbsÃf|uhQe<tbµi|ueQeQd^xrh<e. §&|uhQ<+l ©®dihQ|}ªOtbilb|u8s eQ7µ7 xhQywtbxi+|ul eQjKµ°Á{½,lb¸¶rll ¶ l |}@s}s&¸xi¶rBee ¶¾e<{wsuh#l atbl +drx°e¥ ¶ +l @l ¶rxil¨lkg.sueQdf{l xih#l sÁQhQXtbidf|uvweQsul xx hQdil^la²Bdil xfxil |uÀ+l dijkxre#§suewt h.sOh<tbf|ue<Bx¼eQe<{wzl tbax° . . . R . & P\ ,SRU< ,SRUT. h R. ,-/d ;RUT ;R *. rl t hQvxil.:©
(171) |}ªlbs hQ´©
(172) |}ªlbs877µBh <l+lxihQjklÀt e<t l axe.§¨|ul d|}+h<Bt l.:tbsuh<xfxil x:hQ³wywhQj|ut. w{w|uywBwhQ|ujgw|ut
(173) ¶¼{w|ulBwt |uhQPgkdfBl lbv»Txill aÀBlZ§DeQd xfl ©
(174) jk|}ªhQ<lbsf|u9t xXpre#©:§ |u>;DB°l d¹|}@ahQawt |ulx¨xi l ¶ jk|}ahQ_Qidf|ul t xbh<wj¶rl |uvgxilh<BhÀPdfh#l avlbdf»Th.wsº|}f|ul e<8v¯XtbfhQ|ue< s}xzxz|u¸yBxzyÞj surl.{O#hQe#¶ s.1ahQ|utaxi{we sul
(175) jeQe<l dº°±h<jk¹xOl j¶rxzalre<l dzhQy e xae#h#e#§a&lÃ{{vw§DeQvw|}sudº|}su|u|ujk#gµ§=Oe<l dxidieQlbh#jkQi|}l l<dlºy|uQsutbhQasul h<digQxfjvx#hQl lbg<wªl |ul h#x+tb¯aafbl|}¶r<l:l
(176) h#|uah@dilb§=l xzl adzdTdf|}av+l etbavv§Dxil dfl
(177) h#l axav dflÁal xixeQlval di~t l:vl&h.|}B.fadih.eQdzsu|ul g<{Qdfvwh<aje#l x§ suewl eQl ¿Qo|u|}ÞgÀ°
(178) §D¹eQkdeQ|uvwd:§=e<xidfl jkjh#h<iQ|ueQi@|utr|uj±ewalbl sD#t avdfl¨dil wQywXtbh<sujhQxi|uxbt &{weQ|udw|u,|uBhQgo{Ot lbl ¸x¶r+e<l dfl x e#h§Sdi+eQvwli|ut vl dfdiBl h<QjXl¼tbsuhQhQxixbº|}¶ ax:h<l tb +v¶¼h.l s {OhQewÀwy |u|ux l xidzO|}al hQtb|}»Tt l l. ° ¶ Bl Zh§=l h.+vdil t h#s}sÃewt t vBdix<h<t t eQdiw|uBg+eal t vBdidil Qre<{wzl tbÞIOe.s}ywje<dfw|uxij ÂdieQj aBlxil jh<Qf|ut xSe#§&©®|}ªOlbsDB¶¼lvxfl aBl§=e.s}sue ¶ |uBgdil |ut h.+l x>= ?
(179) 6 - ) & 5D =ɺ£<¢ ÊÉ 1Å 0!Ê ¶ jw|uB|ut+g<xrhQlb+Zl didfjl |ulb»Tl wx |}afB|ue<l Blbx ª l "tb i|}|uQx lal¨l tb<suhQl dfdixh#|uieQ|uKeQ@e#§ e.§r +|u l dieQ¯+°vwi|uBl h<t t eQdiw|uBgk+eZOe<xfx|u{wsuldil h#· ?#%$ 0 - )& w¶ |utalb+l dij|uBl x®+lxzah#i|ut ¸ywOle#§al^h#iadz|u{vw+l ®° ?(' 5 ' )* ) Q¶ w|ut+{v|}sux&+l l QI|udieQjl < =º+l:s}|uxSe#§Bh.|udfx suewt h#sI.hQd|uhQ{wsul.#|uw|}i|uh#s .§DeQh#drsuvdilÒlb¯§=l ¶ dil Bl t dil lrxbl Ih<lbt+at.°é|u¯+° |}i|uh#s.h#suvl l Ol x&eQ +lr¸ywl e#§T+lr.hQd|uhQ{wsul , + §DeQd
(180) |u<+l g<l db É 5DÊ ? -.' 5/
(181) 0 @&% O¶ |uta±{vw|}suxal l QI|udieQjkl Q =raBls}|uxe.§:h.|udfx §DeQdijh.sºhQdihQjklbal db .h#suvlÒ¯
(182) ¶ l dill h<t+.h.suvBlXt eQjkl x:§Ddfe<j aBls}|uxz e.§&lbªOl tbi|}<l^hQdihQjklb+l dix &% ° 521 0354. dfl w½,|ut lrh#h#alsuxie 521 lb»8 l® h Blb ¶P¶ {Oewe.|utasul hQx+h.B+dil l x:w|u¶ t h#albl a' l d: htb'suhQxixr6|u 7B l d-|}r §Ddfe< j xz|ujkhQws}e.y^+{l h<dxf° l XeQ^al:la²|uxf|ug ' '8 - . . Ù = e ÙDâ.
(183)
(184) ! #"%$ &' ()(+*, .-0/1 2-.. . ( T ;R * . biX . 8 h . \ 6 -/.. PO. &),R .1P\ (R gfh8. \ 6-. . ½1xfvl{xywl xzl a@l j xieQ¶rjklXl|uBl df<l wf|}|u§¬t y@h#al l hQx ta@l xfh#vs}|u{xgywxz¶ al |}aj µ{Qxfvy{|}xaywxxzdfaewl e.jk xbB°di¼ewt l l t xihQxbv° xfl.¥ 8all dfdflXl w|ux^|ut eQh#wals}y@e<h<l BBwdis}|uewl t @l xie<x @OhQl d eQ{wl tbr|ul Qi|}»Tl drdflbavdf|}ax¨diewt l xfx°&eB|}§ h<B ,h<dfl¸¶re |ul Qf|}»Tl dixre#§&e<{w l tb+>x = ? )< jkl hQx®+h# |ux hdiewt l xfx PhQdil |u+lxfh<jlxfv{xywxzal jK° ? ) jl h<x:+h. hQ te#eQ§ vwhµd»TgQ§=eQh<vjdil h#df|}is}h.y,|ufeQ|ue<e#x§ Bh.sue#h<s:§ {Oxixlbl yws}jksuxl +hQ±l Qjkia|udit xÀhQxe.|uxz§ x|}ieQ|u{eQ{wh<,xfl l tbdf_lbasuxbh.e<° f´|ue<¥ hx^aldf¶ h<g#wsueQ|uxzt+{|}³ih.|ueQs_l axfdfxt h<ywdx|uxz{O+|}l l ij |ueQa´¶ lÀdilbOe<sue<h#xflZxfix|ueQ|uxz{wa´suh#la|ul x@h<x tbBfdflb|ul e<»Tdixl l ´xfe#l §<|u eQ{Bg#azsul l e<dftb{Bjkah.xbxs ° ¥{Olb¸l¶¼lal ²Bl Ol t wvwxf+|uh<e<dzi|ue#§®ghZ§Ddfe<Bj dieQg<h dfh<xfvwj |}a|uhQx{wjsul ew|u|}lbisu|ul h#ÀsÃt {<eQy@wh»TgQxivl ~Idih#vil |ueQt l^°º¥e.§
(185) Bt lXe<xfwl »8jkg<hQv<dfh.f|uft |ue<x®Be#xS§¶h|}+dieQagQdfdih<hQj"xz|}i|ux |ueQg#|}xr<l |u {Qyh ÂeQadidfjkh<h#xzs}|}s}iy.|u8eQhZg.xzywsueQx{al h#j sÃt ¶ eQww»T|ut+gQ@vdfdih.l f|udfe<l xil Qxa+x
(186) h.+h.l s}sº¨|}e.+§&x heQxzywxixzx|ua{wl suj lla©
(187) ²B|}l ªt lbvw8s f7|u7e<|ux xb° h +d|uwsulb * ¶ s}|uxzl e.dfl§&eQ{w|ux:l tb++xl ° ©
(188) |}ªlb8s 77.xzywxal j h^s}|uxre.§ºtbsuhQxixil x+¯a *,|uxS+l l QI|udieQjkl Q®e#§O§Dvw+vdil x
(189) h< ³|u x:al e#§a¥l^lrxywaxzdfah<l BjKx|}°Ái|u¥ eQxl xf{Ollb¸di¶¼vsul l l x¼Bt h eQ<wl»ThgQvzvdih#igQ|ueQl jkxOl h<Qdf¼lre#g.§|}QaBl l ¶§DeQ|}diaj = dfvwsul x¶ w|ut+l xft d|u{OlSg#sueQ{h.shQtbi|ueQx <yBxzal j Âadfx {wzx Iywxal j Â+dix {Bzx ¶ w|u t+@"jk C Ch yk {l8|uQ a Cl df 0 di lb+l *h<xr§=e.s}sue %¶ = c -0 K 1 )> <' "` .-. 0 8 * ° +e.l+l la²Bal Bt h.vw:f|uae<Àle.xyw§&xhQ+l j©®|}©
(190) ªO lb|}ª8s 7 lb7 8s 7x 7 ywx +l j al|ux¨xiheQvxidil t ~Il vl BdieQt l¨g<dfe.h<§jÀ+di¯ºhQ|ux x|}fe#|u e<jk2x ew= w|}»Tl vd|uBg la²l t vi|u eQ°® eB X
(191) * . X . * . . ¶ l dfl +l |uw|}f|uh.st eQw»TgQvdih#i|ueQ|ux g#|}<l @{Qy=. X * . #£ ¡.ÅI¢w ÒÅ ' 5 ' / Bl t x @@ al dfewe.e<{wl tb 8|ux+h<Bt l r X + l { l # g u | w u | B B g O + ^ l } s u | x . e r § Q e B { z l b t t Q e < + . h u | B x Q e w } s @ y < e l Q e w { l b t e#dfe<§ vwX f |u¯+°rl¹¸hQax h#i+hQdxr|u{veal dixrl ~Ih<vdfll xz|uax
(192) |}ia|ueh#s}|xf l l dQl.|u° °¼¥ le<{wl tb xfe<vsuKla²Bl t vw+l |}+x £.¡#Å¢ ÒÅKBdil lb»TBl eQhQ{wtbi|ul ¥ eQtbZaxlÀe#§ g.xisul eQl^{¶ Âh#ws¼|u|ugQt+hQvKtbdiil la|ueQ²BQ¯axdf°l e.xi§ xfl hQsuxSew1t hQh#À©®sÁ|}|uªOhQ<tblb+isl 7|udieQ7hQ@tbxiywe#|uxeQ§®+h<l j ¶ |}e<+hQ{wKdill hQtb e#lba»Tjl l d:±h eQy@|u{B1z{Ql y atbl ¼hQdfjke#§x^|uaQBe.a§l ldfsuxewywh.t xzsh#as¼l hQjtbhQitb|uieQ x|ueQywaxet+e# df§ e<e<wad | l hQl xf l hQtbi|ueQT¯a° X
(193) . * . ê. e,e gf hCiJj2h. . ) X . :`_,_ 9 .
(194) . K # : `# G S
(195) ^ ^/ !$^".>
(196) .
(197) !" #%$'&
(198) () +*, !" #-$.& /
(199) +*, .
(200) (56(79 8 :<; => ? @ "(#A$.&? B/
(201) +*, "(#C$'&? B
(202) ( +<ED
(203) > GF?H IF 02J 0K4L4 H GF?HM+*, P(QLR,S?TMU VUXW2YZ[<\ W ]M^ \_,`a[<bb 0
(204) > + 4 ced f,g)h Ii Vaj 0 D 4 b b 0 D 4Ic D kml(V<QLVon[<pO]Kq \[ 02r sat(u v
(205) > v 4 cwr?st(uyx{z|M}~'Jh()~ .
(206) (56(79 8 :<; => ? @ !" #%$'&
(207) () +*, "#-$.& /
(208) + EDB/
(209) > )F/H GF?H IFOH +* P/QLR,S TMU?V UW@YZ[<\W ]M^ \_,`a[<bb 0
(210) > 4 c 2M}<h i V<j 0 D 4 bb 0 D 4c bb 0 4. 021(3,4 021 NO4. 021O 4. B
(211) // , !79=O ; O; > "(#A$.&? B
(212) // +*, GI #%$'&
(213) / +2
(214) = = ( ) = +* P(QLR,S?TMU VU EDv
(215) = = ( = = '#-$.&
(216) /((!(+*i Vaj 0 4 /i V<j 0 4 b b 0 4c b b 0M) 4 021,(4 kml(V<QLV c 9Gh/dadf}0 = G4+ G 0K4 Bv
(217) !(v+ ¡/7M=O ; ¢(; % £ ; > L v EDL
(218) = L = v = v = )¤ ¥ 7¦¢( ; % £ ; O; > ?= = = §"v#A$.&? B
(219) !(!v + EDBL
(220) = L = v = v = +*, § v#A$¨& B
Documents relatifs
Mais elle y occupait une place modeste : il faudra la liberté et le goût de la transgression du roman en langue vulgaire pour que la situation soit renversée :
Les thèmes majeurs (tab.5.4) abordés par les îliens interrogés sont, pour la grande majorité, les mêmes sur toutes les îles : ils concernent les usages anciens
Chez l’Homme, les segments de gène V H ont été classés en sept familles (la famille 7 n’est pas représentée ici car aucun segment fonctionnel n’y a été décrit) qui ont
Le Négus consacra une énergie considérable en vue de gagner cet appui international, mais, malgré la force de son discours prononcé en juin 1936 devant ses pairs à la tribune de la
In this paper, we propose a novel approach based on the barycentric coordinates of automatically tracked 2D facial landmarks from videos to objectively evaluate the facial
Dirk Obbink (dir.), Doctrine and Doxography. Studies on Heraclitus and Pythagoras, Berlin / Boston, De Gruyter, 2013, p.. et le logos auquel les hommes devraient accorder
Les exorcismes ne sont pas publics, les sœurs noires elles-mêmes sont tenues le plus possible à l’écart, et c’est chaque fois Jeanne qui force les choses pour que, finalement,
Toute- fois, d’autres marqueurs des cellules POMC tels que NeuroD1 n’ont pas été induits dans cette expérience, ce qui indique que Tpit suffit in vivo pour provoquer la
