Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet

Texte intégral

(1)Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet Ninh Thuan Truong. To cite this version: Ninh Thuan Truong. Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet. Génie logiciel [cs.SE]. Université Nancy II, 2006. Français. �tel-00080852�. HAL Id: tel-00080852 https://tel.archives-ouvertes.fr/tel-00080852 Submitted on 21 Jun 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published 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..

(2) ´ UFR mathematiques et informatique. ´ Ecole doctorale IAEM Lorraine. ´ Departement de formation doctorale en informatique. ´ Utilisation de B pour la verification de ´ ´ specifications UML et le developpement formel orienteóbjet ` THESE ´ ´ et soutenue publiquement le 05 Mai 2006 present ee pour l’obtention du. Doctorat de l’universiteŃancy 2 ´ (specialit e´ informatique) par. TRUONG Ninh Thuan. Composition du jury ´ President :. Didier Bert, CR CNRS, IMAG Grenoble. Rapporteurs :. ´ Veronique Viguier Donzeau-Gouge, Professeur, CNAM, Paris Henri Habrias, Professeur, Universite´ Nantes. Examinateurs :. ´ Vincent Poirriez, Maˆıtre de Conferences, Universite´ de Valenciennes Michael Rusinowitch, DR Inria, Loria Nancy. ` : Directeur de these. ` Jeanine Souquieres, Professeur, Universite´ Nancy 2. Laboratoire Lorrain de Recherche en Informatique et ses Applications — UMR 7503.

(3)

(4) ! #".

(5) $ %'& %)(+* ,-%'& %).0/ 1. 42 3 57698;:<5=?>A@B8DCE76GFC:@IHKJMLN:OP67OQCR>S5-TU5K<V:OP64C59WX59C=OY59C?OP@MHOP<ZODH>S59LQL[5W\5@

(6) 8]L576^JS59C6_@S@M596 R>O`_@

(7) 8aC59@IHb>=75c8DC:<V:bOPLVJ#_6767OYd9L5Uegf

(8) _b>h6-@M5iJ5>A<5@

(9) 8hjkF>AC59C7l#JI>O67659@

(10) 8`L[576:hd76U59@

(11) 8Q6:==5mJM8n59C WX5765o=>h6U576e piqr

(12) sutmsuqwvgxIy{zhy{tm|A}Uqh~ HOQC5=8DC9OD=5Hh58Q#E76U57lW3 :8Y_b>7T_>C6c :OD8G=_@Uj:@M=5 58:w<59OQLPL =5KR>S5kT5JI>AOP66U58DC:<V:OQLPL59CH:@6L[576GWX59OPLQL59>AC5764=_@IHbOQ8DO_@6Uea58DO59@S6GL>O5o7JIC9OPWX59C W\:JMC_ _@IHA5XFC:b8DOD8D>#HA5?J_>AC:b<V_OQCHbOPC9ONFA=58DC:<V:OQLl;J_>AC6:HOP6YJ_@SOYd9OPLOD8n5846: J#:8DO59@M=57l`J_>ACKL3 :OHh5KR>g3 59LQL[5W3 ::7JhJ#_C8nK8Y_b>8;:> L[_@AFHh5=576:b@S@M576Ue h}UxIsutmzAy{qtDSy{tmqA}x

(13) sihqr

(14) y`xIyI

(15) qAcwqhsu}btwr}bt r

(16) ~ C:7JJ#_C8n59>C6^Hh5-8Q#E76U5Ue##5 L576C59WX59C=OY5?H{3 :<V_OQCKd9O5@<V_>L>:==5mJM8n59CKL[:X=:CFh5Hh5K=7548DC:<V:OQLi58-H{3 :b<V_OQC=_@6:b¡ =CL548n59WJ

(17) 64@=57676:OQC5J#_>C5o:W?OQ@M59C4W\:XC5=9#59C=9#5Ue tm¢ItmqA}£\qA}b¤ctnsg¥qhsu¤¦?x

(18) tm}b}btmqb§¨t ¥©arMqhª-«\y`~tnsgxI¬Gtm¤¥© 5o:bWOQ@I:b8n5>AC76e\5L[596 C59WX59C=O5?Hi3 :<_OPC:==5nJ8nHh5^J#:C8DOD=OJ5C=5T7>C9®e ¯ 5 @IH:@

(19) 8=588n58Q#E76U57liTS3 :OG59>°LN:B=:@I=5Hh54J#_><V_OQC =_LQLN:Ad_C59C :<5= L[576=_LQL[EFb>576H:b@6 L5FC_>UJS5±G²±³cí²l piqr

(20) su¦tmqA}b}UqµpirM¥VzAy{xI¤¶k}UrIsg¥htm~¸·\ªQqb¹IrIsg¢

(21) }UqA t qhy`x

(22) susg º4» rIªPrI~ º ~~rI¼Btn«\tmrM¢¾½c©t Vx

(23) yih·\}bsurIy¹¨¿grIsgx

(24) tY¹

(25) vgrI¼Btn}¨½c©ax

(26) y{rIªtmkÀmÀnÀ luTU5L[596 C59WX59C=O54J_>ACXL[5X8DC:b<V:OQLR>S5\@M_>h6X:<_@6^ :bOQ85@Á=_bWW?>@Â58gJ#_b>AC\@M_6HbOD=>A669OD_b@6?67>C L57667>9TU58Q6L[576;JML>A64<V:C9O96e Ã 596JML>A6FC:@IH64C59WX59C=O5W\5@

(27) 8Q6463 :HC5767659@

(28) 8; ¼ÄrÅr

(29) ¼BtmªnªQq 58; ¼Äqh~rI¼Btn~". .

(30)

(31) Æ¾ÇKÈaÉiÊ[ËÌ?ÍMÎkÏ. [[.

(32)

(33) ÐÒÑ ÓÕÔÖ%. × %Ø1. & ÑÙ/ ,Ú)( %Û1. . ]Ü ÝÞußQàákàhâãuäIåiæàhâ èéMê æVëaáuå{ì êZí ë é ï h9ð#4"4"4""K""4""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" wòSóôD!õ\[Kö÷""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" øG Sù?ú#ûcüGwýØ"K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" ÿò![b ó üGý ö "K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" ú#ûNôó ! U [kó!S!S "4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" ï h![ú "K""4""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" ò!

(34) U ^b [óS ó Mò

(35) U wüwýÄ. [[ Aö "4"4""4""K""4"4"" !4 õ Kó

(36) ú#ûcóS Scóò Mõ\Acô!õ\`öµ"4""4"4""4""K""4"4"" g ó õ\òõ\[! "4""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" !#"$ %&(')+*$. ç î ñ ñ þ þ þ . ,-,. ç èéMê æVëaáuå{ì êZí ë é ÝSå/.1032 ê54 ëaákàhâ76më

(37) æ80ÄàAßDßQàhâà ê79 ßQÝ3032 ê54 ëaákà;: çî < " < = h!óSw >#ðõ\òSó^ô!õ\[ "4"K""4""4""4"4""K""4""4"4""4""K""4"4"" <@? < " < " < ÿAò S[ "4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" <@? < " < C" B ü[[ "4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" < ñ < " < " ? ï

(38) U Õ"4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" < þ < C" B ýi ?õ\òSAóKö ""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" < < C" B#" < g!òh w[#ôD!õ\["4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" < < C" B#C" B DSSóõ\Aó ?õ\òSAóKö "4"K""4""4""4"4""K""4""4"4""4""K""4"4"" < [S úS! [ ""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" < < C" B#C" B#" < < C" B#C" B#C" B EG F\Sõ\h""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" B < < C" B#C" B#" ? wòU õ\óõ Mb[ ""4""4"4""K""4""4"4""4""K""4"4"" Bbþ < C" B#" ? G ð#SS ""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" B < " ? HJI hL Kw"K""4""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" B$ é O ÝæXë

(39) /Þ Pà ê â\à Rê Q SUT M N ë é â ê æå{ì êZí ë 1 MLV B#" < ï SW! S

(40) !cú#û+"K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" B$X .

(41) B#"CB. B#" ?. î `cê Ý ê ? "<. ? C" B ? "? ?. c. $. "ñ. üGý " "4"4""K""4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" B#C" B#" < G ø üwýZYcó# [ò!Acó# b! õõ\Á"4""4"4""K""4""4"4""4""K""4" B#C" B#" < " < ÿG b! õõ\có ú#û ""4""K"4""4""4"4""K""4""4"4""4""K""4" B#C" B#" < C" B ÿG b! õõ\cóK ""4""K"4""4""4"4""K""4""4"4""4""K""4" B#C" B#" < " ? ÿG b! õõ\cóK[ úM! "4""4""4"4""K""4""4"4""4""K""4" B#C" B#" < " ñ ÿG b! õõ\cóK]ò \^SS ""K"4""4""4"4""K""4""4"4""4""K""4" B#C" B#" < "þ ÿG b! õõ\có ò _ YY! S[S ""4""4"4""K""4""4"4""4""K""4" B#C" B#C" B ý{ òõX h) \JSKóüGý "4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" B#C" B#" ? = h!óSwù ï ý "K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" B#C" B#" ? " < G ð# !S"K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" B#C" B#" ? C" B ï A! [h"K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" HJI hL K "4""K""4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" ákàbß a[Ýæ ê ÿò![b ó üwý ö "4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" ? " < " < ÿò![ ó4ó# b! õõ\ó "K"4""4""4"4""K""4""4"4""4""K""4" ó ò _ YY! S[S""4"4""K""4""4"4""4""K""4" ? " < C" B ÿò![ ó4ó# b! õõ\ ? " < " ? ÿò![ ó4ó# b! õõ\ó[ ú! ""4"4""K""4""4"4""4""K""4" ? " < " ñ ÿò![ ó 9ð !S ï ý "4""4""K"4""4""4"4""K""4""4"4""4""K""4" ? " < "þ ÿò![ ó õ\ò YYõ\AóKüwýÄ õ\òSó;ô!õ\[ ""4"4""4""K""4" ò!

(42) U ^b [óS ô!õ\[ "4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" ? C" B#" < ò!

(43) U ô!õ\[Ø"K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" ? C" B#C" B ] [óS ô!õ\[ ""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" H ò

(44) U ô!õ\[4!hòú#û""4""4""K"4""4""4"4""K""4""4"4""4""K""4" HJI hL K "4""K""4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4". g3"L*Jhjilkeh

(45) monpq>rs"kh

(46) ilkeh

(47) m/n;t3uwvxnyhz&zhb>+no;{ ~ A2 æ í ãuìÝ êZí ë é áiàwßPÝBâ52J0ÄÝ éMêZí åiàákàhâR0ëaáoßQàhâ Q ST ñS" < ÿò![b ó ú#ûcó Sõ\ò Yn K ö "4""4""4"4""K""4""4"4""4""K""4" ñS"CB

(48) I ó^!(K bcóúSô!õX ó õ\ò YYõ\óKKüGý "4""4"4""4""K""4" ñS" ? g !òó!Kóóò![b ó õ\ò YYõ\óKKüGwýÄö "4"4""K""4""4"4""4""K""4" ñS" ñ ÿò![b ò!

(49) U ócó# b! õõ\ó c""4"4""K""4""4"4""4""K""4" ñS" ñS" < H !WS W !- òSò! ;ó õ\ò YY õ\óK ;ókó# b! õõ\gó kkóò![b . ö "K""4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" ñS" ñS"CB gW SóóU I (Kõ\ó [õ ! "K"4""4""4"4""K""4""4"4""4""K""4" Sñ "þ ÿò![b ò!

(50) U ócó# b! õõ\ó[ ú! "K""4""4"4""4""K""4" ñS"þ#" < H W! SW !w òSò! ó ÷õ\ò YYõ\óK óó# b! õõ\ów[ úM! óò![b ö ""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" . ?< ? < ?$? ?$?. ñ. ?. ñ. ?. ? . ñ. ? . ñ^B ñ^B ñ? ced. ñhþ hñ þ ñ^ þ$f þ$B þ? þ? þñ þbþ þ$ þ$. |},

(51) î ñ ñ $ $ 8B 8B. <.

(52) ñS"þ#"CB gWSóóU S I (Kõ\ó [õ ! ""4""4"4""K""4""4"4""4""K""4"4"" ? ñS"þ#"CB#" < ÿò![b ö "4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" ? ñS"þ#C" B#C" B ò!

(53) U \ógòòõ\h]ó õ\óK^ó ó# b! õõ\^ó;[ úM! Vñ ñS"C ÿò![b ó õ\ò YYõ\óKKóó# b! õõ\Gó ò _ YY! S[SG ö "4""K""4"4"" 8 ñS" HJI hL Kw"K""4""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" 8 ~ 2Aæ í ãuìÝ êZí ë é áiàá í ÝäIæVLÝ 00Äàhââ ê Ý êZí åiàhâ Q SUT V þ#" < W SóKóU ""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" $f þ#C" B ÿò![b ócó# b! õõ\ ) \JSüwý ö ""4"4""K""4""4"4""4""K""4"4"" < þ#C" B#" < ÿò![b ó ó# b! õõ\KóK ""4""4"4""K""4""4"4""4""K""4"4"" < þ#C" B#C" B ÿò![b óA! [hGüwý ï ýÛ""4"4""K""4""4"4""4""K""4"4"" < þ#C" B#" ? ÿò![b ó ó# b! õõ\Kó ú#ûÕ"4""4""4"4""K""4""4"4""4""K""4"4"" ? þ#" ? ò!

(54) U óch! [hó I ( Kõ\

(55) !cõú[

(56) ócóò![ S ""4"4"" $ þ#" ? " < ò!

(57) U óA! [h[õ "4""4""4"4""K""4""4"4""4""K""4"4"" $ þ#" ? C" B ò!

(58) U óA! [hõKú[Sò "4""4"4""K""4""4"4""4""K""4"4"" $ þ#" ñ HJI hL Kw"K""4""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" $X ~ 2Aæ í ãuìÝ êZí ë é áiàAâ\âUì 2 é Ýæ í ë

(59) â Q ST à é å êZí ß í âZÝ éMê : V ç #" < ÿò![b ó ò

(60) !Xö "4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" X$B #C" B ò!

(61) U ó Mò

(62) U Süwý ù

(63) ó4ócú[[ h Só ! óö "4"4"" Xñ #C" B#" < ú[[ h SGó ! 4óS Ss S4õX [S úS! [""4""4"4""4""K""4"4"" Xñ #C" B#C" B ú[[ h SGó ! 4óS Ss S4[õ h D8 ! F\Sõ\h ""K""4"4"" Xñ #" ? W SóKóU ""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" Xbþ #" ? " < ÿ![ wó I ( Kõ\ ""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" Xbþ #" ? C" B wAóò[7 óò

(64) !bó I ( Kõ\4ù

(65) óKóó# b! õõ\cüGýÄó A! [h ï ý "K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" Xbþ #" ? " ? ò!

(66) U ó Mò

(67) U SüwýÄ ï ý óò

(68) !b ""4""K""4"4"" X$ #" ñ HJI hL Kw"K""4""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" X$ d. . $$ :. . . *^hz>nykm/r$&(')m->#+n#&z"/&zm-rrsno!_m-*J &{. æ í âZà à é ìë 0 O{ê àákàµìàhæ ê Ý íDé â ê-O àhâ°áa[ÝâUâZëaì í Ý êZí ë é áiàAâÁÝ " < "CB. OoO. æVëaì 4 àhâëIÞ/Pà ê â O Më å{æ. -. çaç. ý{! Scóõ b[wh!õX [SG úS! [ö ""4""4"4""4""K""4"4"" < f$B ý{ I ó Sóc !SG!hòú#û "K""4""4"4""4""K""4"4"" < f$B C" B#" < G úó#[!S[ ""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" < f$B C" B#C" B G ;ó#[!S[ "4"K""4""4""4"4""K""4""4"4""4""K""4"4"" < f ? " ? !4 õ Kócó# [ò!A I ó ScüGýö "4"4""4""K""4"4"" < f ? " ? " < H ò

(69) U "4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" < fñ A[.

(70) " ? C" B. . V. N. ú [[ h SGó ! ""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" " ñ = h! 4ó >!cõX [S úS! [cóS S^4õ\AóK""4""4"4""4""K""4" "þ HJI hLK "4""K""4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" ~ ÝSß í ákÝ êZí ë é áià â O 2hì í ãuìÝ êZí ë é â\ë

(71) æ í à éMê 2AàhâXëI/ Þ Pà ê âà é : #" < H W! SW !ó ?õX [Só[ õ ""4""K"4""4""4"4""K""4""4"4""4""K""4" #"CB ú[[ h SGó ! !ò!b h

(72) 9ð#ò ó ò

(73) ! "K""4""4"4""4""K""4" #C" B#" < ú[[ h S]ó; ! ò] ù Xò

(74) !óAò SS

(75) }! S^]ò \JSSó Y ó Mò! S "4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" #C" B#C" B ú[[ h SGó ! ò¡ ù ò

(76) !\[S¢

(77) h£ SKSó#[S[\" #" ? G ð# !ó ! !òòó I

(78) õ) \^Sccú[[ h Scó ! ¾"4""4"4""4""K""4" #" ? " < g! !òòó4W ¤!ò¸""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" #" ? C" B g! !òòóA[b [ò "K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" #" ? C" B#" < g! !òòó!ò MS"4""4""K"4""4""4"4""K""4""4"4""4""K""4" #" ? C" B#C" B g! !òòó !òòóS "4""K"4""4""4"4""K""4""4"4""4""K""4" #" ñ gW SóKó4U ""4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" #" ñS" < g!òA wó

(79) òW SóóU "4""4""K"4""4""4"4""K""4""4"4""4""K""4" #" ñSC" B H ò

(80) U üGý ""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" #" ñSC" B#" < ÿG b! õõ\Kó ""4""K"4""4""4"4""K""4""4"4""4""K""4" #" ñSC" B#C" B ÿG b! õõ\Kó]ò \^SS ""K"4""4""4"4""K""4""4"4""4""K""4" #" ñSC" B#" ? ï A! [hGó I ( Kõ\ "4""K"4""4""4"4""K""4""4"4""4""K""4" #" ñS" ? H ò

(81) U ö ""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" #" ñS" ? " < [SG úS! [ "4""4""K"4""4""4"4""K""4""4"4""4""K""4" #" ñS" ? C" B [S4óK[ õ ""4""K"4""4""4"4""K""4""4"4""4""K""4" #" ñS" ñ ] [óS ó ò

(82) ! ""4"K""4""4"4""4""K""4"4""4""4""4" Entry Building #"þ HJI hL K "4""K""4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" T a[ëIå êZí ßâVå O¥O ë

(83) æ ê ÝSå¸¥ á 2¦MàAßQë O¥O Jà 0à éMê : O Ýæë

(84) /Þ Pà ê â X#" < g!4 õ Kó^S8[ú[[ h Só ! ""4"4""K""4""4"4""4""K""4" X#C" B ý 8[iöñôD! ""4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" X#" ? ÿ![ ó4

(85) 8[{ö;A ""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" X#" ñ HJI hL K "4""K""4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" ë é ìAßQåiâ í ë é HJI AL K4ó ?A![ú ""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" ò!

(86) U ^b [óS ô!õ\[Kó ò

(87) U ScüGwý "K""4""4"4""4""K""4" g!4 õ Kó

(88) ú#ûcóS S^4óò õ\hcôD!õ\iö "K""4""4"4""4""K""4" i! ["4"4""K""4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" G AA[!Sõ\AGóKóò Mõ\AGö

(89) !cú#ûÙ""4""4"4""K""4""4"4""4""K""4" G ð#Só >!c ! !òòcú#ûcóS S^ õ\òSAó4ö ""K""4""4"4""4""K""4". < fñ < f$ < f$. . [[. çIç

(90) ç. <$< B $< <@?. <$<@? <$< ñ <$< þ <$< þ <$< þ <$< þ <$< <$< <$< <$< <$< <$< <$< <$< <$< <$< < B$f < B$B. çMî. ç. <B ? < B ñ < bB þ < B$ M < B < B < B$ < B$X < B$X < B$X.

(91) ò!

(92) U óGS Sh!ó# b! õõ\^ó ò _YY! S[Sc;ó# b! õõ\^ó ò]\JS S "4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" < B$X ÿ¡ > !c M! [\"4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" <@? f : §. :. N. í Þuß í ë

(93) ä

(94) æÝ O4ií à ¨ ßQë

(95) âZâUÝ í æVà#: " < ý{ b) \^S "K""4""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" C" BÛý{cSõúÄ""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" " ? ý{! Sú[

(96) [! "4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" " ñ ý{^ôSS ""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" "þÛý{cW úS[W Sc òSò! [òÛ"4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" T ÝÄâ O 2hì í ãuìÝ êZí ë é ákå¸â â ê ©0Äàákà O ÝâUâUÝäIà 9Äékí ¦IàhÝSå ö" < ý{4õ Mb7 h Types.mch "4"K""4""4""4"4""K""4""4"4""4""K""4"4""4""4""K"4"" öC" B+ý{4õ Mb7 h Basic.mch ""4"K""4""4""4"4""K""4""4"4""4""K""4"4""4""4""K"4"" ö" ? ý{4õ Mb7 h System.mch "4"K""4""4""4"4""K""4""4"4""4""K""4"4""4""4""K"4"" ö" ñ)ý{4õ Mb7 h System imp.imp ""K""4""4"4""4""K""4"4""4""4""K"4""4""4""4"K"" T ÝÄâ O 2hì í ãuìÝ êZí ë é ákå¸â â ê ©0Äàákàìhë éMê >æ ªIßQà á aNÝìhì hâ ï " < ý{4õ Mb7 h Card.mch ""4"K""4""4""4"4""K""4""4"4""4""K""4"4""4""4""K"4"" ï C" B ý{4õ Mb7 h Controller.mch "4""K""4""4"4""4""K""4"4""4""4""K"4""4""4""4"K"" ï " ? ý{4õ Mb7 h Reader.mch "4"K""4""4""4"4""K""4""4"4""4""K""4"4""4""4""K"4"" ï " ñ'ý{4õ Mb7 h Door.mch ""4"K""4""4""4"4""K""4""4"4""4""K""4"4""4""4""K"4"". Nð. çîç ç +î . <@? @< ? @< ? @< ? @< ?. X X. çcç <ñ < <ñ < <ñ ? < ñbñ ç ced < ñhþ < ñhþ < ^ñ < Jñ .

(97)

(98) ÐÒÑ ÓÕÔ %. < "< < "CB < "?. × %Û1. «Ø,¬ . ( %Û1. H !WSW!K òSò! Kó SõX [SKö""4"K""4""4""4"4""K""4""4"4""4""K""4"4"". <X. ü 9ðõ 4óõX [S úS! [ "4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" B < ÿò õ\hG

(99) !^[U> #ð ""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" B$B "< ñ ü! F\Sõ\hó ?õX [S Exemple1 "4""K""4""4"4""4""K""4"4""4""4""K"4"" B ? < "þ H W! SW !K òSò! Kó ! F\Sõ\Aw""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" Bñ < "C ÿAò S[wó òòSõ\h "4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" B B#" < ÿG b! õõ\ó ú#û D9ð! [có¯ ® ö;A# X$° ""4""4"4""K""4""4"4""4""K""4"4"" ?$? B#"CB ÿG b! õõ\ó4 ± D9ð#! [có7 ® w I ! f < ° "4""4"4""K""4""4"4""4""K""4"4"" ?$? B#" ? ÿG b! õõ\ó4[ úM! qD9ð! [cóR ® ö-# X$°-"4""K""4""4"4""4""K""4"4"" ? ñ B#" ñ ü 9ðõ 4ó4ó# b! õõ\Kó]ò \^SS4üGwý/B#C" fB""4"4""K""4""4"4""4""K""4"4"" ? B#"þ ÿG b! õõ\ó ò _ YY! S[S D9ð#! [có7 ® w I £! f < °µ""K""4""4"4""4""K""4"4"" ? B#"C ý ![W !üwý 8SS¾""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" ? B#" ý{

(100) 8 \JS có

(101) > [U> ""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" ? X B#"C ý{

(102) 8 \^S "4"K""4""4""4"4""K""4""4"4""4""K""4"4""4""4""K"4"" ? X Foundation B#"CX üS

(103) !Kó

(104) 8 \JS ""K""4""4"4""4""K""4"4""4""4""K"4"" ñ^f Core - Backbone B#" < f¸ý{

(105) 8 \^S ""4""4"4""4""K""4"4""4""4""K"4""4""4""4"K"" ñ < Behavioral Elements ? " < ÿò![b òSò! Kó SK có ![ú "4""K""4""4"4""4""K""4"4"" ñ^ õ [[ [[ò "4""4""4"4""K""4""4"4""4""K""4"4"" ñJ ? C" B ÿò![b ó ![ú ² ? " ? ÿò![b ó SK A ""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" ñ^ ? " ñ ÿò![b

(106) ![Kó SK Mò! Ä""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" ñ^ ? "þ ÿò![b òSò! Kócò "4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" ñ^X ? C" ÿò![b ó S! S[ ""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" ñ^X ? " ÿò![b ó òòSõ\A4"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" þ$f ? C" ÿG b! õõ\ó4[ úM! ""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" þ < ? C" X ! h 7 8SScó ò! ScüGýó4ó# b! õõ\ó[ ú! "" þ$B ñS" < E h! õ b hKc õ b[¾""K""4""4"4""4""K""4"4"" bþ ñSC" B H ò

(107) U ó4

(108) Mò! Vû8ò collectData "4""4"4""4""K""4"4""4""4""K"4"" ñS" ? H W! SW !4 òSò! ó õ\ò YYõ\óK4ó^ó# b! õõ\ó ^;7 óò![b ö³ ñS" ñ E h!Kõ\AóKcõ\ò YYõ\AóKó ó# b! õõ\Kó4 "4""4""K""4"4"" $ ñS"þ [S úS! [4öµ!! SóS hù

(109) Mò! createComputer "4""4""4""4"K"" $X ñSC" H ò

(110) U õ ) Kó ?õX [S úS! [ CreateComputer "K"4""4""4""4"K"" 8f ñS" H W! SW !XóõX [SKö óò![ò4ù

(111) ![!4ó ó# b! õõ\Xó ó B I ( Kõ\ ó [õ !Â"4""4"4""4""K"4""4""4""4"K""4""4""4"4""K""4""4"4""4""K""4"4"" < ñSC" [S Types ó ó# b! õõ\Kó có I ( Kõ\ó [õ ! ""4""4""K"4"" < <.

(112) óµ¶©·¸º¹¸J»¼8½)¾ ¿LÀ¸^». B. ñS"CX ÿ ò![b öµó ?!(K búYô!õ\ò3ÁRÂÃÄ ""4""4"4""K""4""4"4""4""K""4" ñS" < f H !WSW! òSò! có\õ\ò YYõ\óKGó]ó# b! õõ\;ó[ ú! ]óò![b ö ""4"4""K""4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" ñS" <$< E h!4õ\AóK4^4õ\ò YYõ\AóK4ó ó# b! õõ\Kó[ ú! Á"K""4" ñS" < B¸ [SK úS! [Köµ!! SóS hGù

(113) ú#û Interaction "4""4""K""4"4""4""4""K" ñS" <@? [S Types ó ó# b! õõ\ó[ úM! wó I ( Kõ\ó [õ ! "4""4""K" ñS" < ñ ÿò![b öµó ?(! K b4óúSô!õX ÅÁRÂÃÇÆ¾"4""K""4""4"4""4""K""4" ñS" < þ¸ÿò![b öµó ?(! K b4óúSô!õX ÅÁRÂÃÇÈ¾"4""K""4""4"4""4""K""4" ñS" < H W! SW ! òSò! ?ó õ\ò YYõ\óK?óó# b! õõ\ó ò _ YY! S[SG7 Xóò! Y b ö "K""4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" þ#" < ÿG b! õõ\Kó ó I ( Kõ\ó Ä"4""4""4"4""K""4""4"4""4""K""4" þ#C" B [SK úS! [Köµ!! SóS hGù \ Person "4"4""4""K""4"4""4""4""K" þ#" ? ü 9ð#õ Kó4ó# b! õõ\Kó ú#ûó I ( Kõ\ó "K""4""4"4""4""K""4" þ#" ñ [SK úS! [Köµó

(114) ú#û pp1 ""4""4""K"4""4""4"4""K""4""4"4""4""K""4" þ#"þ H ò

(115) U w óó#[S[K M8! õX [S úS! [ Person ""K""4"4""4""4""K" þ#C" [SK úS! [ Model "4""4""K"4""4""4""4"K""4""4"4""4""K""4"4""4""4""K" þ#" H W! SW !K òSò! 4ó^õX [SGö ""4""4""K"4""4""4"4""K""4""4"4""4""K""4" #" < ÿG b! õõ\Kó[ ú! w U4U cóóò MSóS S[! [!Ä"4"4""4""K""4" #C" B H W! SW !ó^õX [SGóò![ò "4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" #" ? ÿG b! õõ\Kó ó I ( Kõ\ó

(116) 7 Kù[U> "4""K""4""4"4""4""K""4" #" ñ ÿG b! õõ\Kó[ ú! ó ò

(117) !\óGô!õ\W !Kó ?ú

(118) !!) K!?"4""4""K""4" " < G ðõ 4ó! úó#[!S[ "4""4""K"4""4""4"4""K""4""4"4""4""K""4" C" B G ðõ 4ó! !ó#[!S["4""4""K"4""4""4"4""K""4""4"4""4""K""4" " ? H ò

(119) U òSò! 4ó S4õX [S úS! [Köµóò![òKù

(120) ![! ó SK üGý " ñ ÿ #ðõX [S^ úS! [-!! SóS hùó #ðX ]![ò]

(121) ! S A úó#[!S[ "4""4"4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" "þ = h! 4ó >!cõX [SGóS Sõ\óK4"4""4"4""K""4""4"4""4""K""4" C" G ðõ 4ó48 Kh!4! Scúó#[!S[s ó#[!S[ ""K""4" " [S Flight ""K""4"4""4""4""K"4""4""4""4"K""4""4"4""4""K""4"4""4""4""K" C" [S Plane ""4""4"4""4""K""4"4""4""4""K"4""4""4"4""4""K""4"4""4""4""K" C" X [S Engine "4""4"4""4""4""K"4""4""4""4"K""4""4"4""4""K""4"4""4""4""K" #" < H W! SW !ó ?õX [Só[ õ ""4""K"4""4""4"4""K""4""4"4""4""K""4" #C" B ÿG b! õõ\Kó ó I ( Kõ\óA(! ÉK ó ] KB"4"4""K""4""4"4""4""K""4" #" ? ÿG b! õõ\Kó]ò \^SSó ò

(122) !\ó h!òóS S ú Ê[õ\A""4"4""4""K""4" #" ñ [S4óK[ õ Ë ò

(123) ! "4""K"4""4""4"4""K""4""4"4""4""K""4" X#" < ü 9ð#õ Kó õX [S úS! [[h!õ\òó# [! "4""4"4""K""4""4"4""4""K""4" X#C" B ![W !ó4ö;A "4""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" X#" ? = h!ôY 4ó

(124) 8[{ö;""4""K""4"4""4""4""K"4""4""4"4""K""4""4"4""4""K""4" ÿG b! õõ\\ó ò _ YY! S[ òSò!ò\ù

(125) ![!4ó?[[ bSó?Aó Äú#û4ó? < "4"4""4""K""4"4""4""4""K"4""4""4""4"K""4""4"4""4""K""4"4""4""4""K" Reader B ÿG b! õõ\Kó ò _ YY! S[ó ú#ûcó Reader ""4""K""4"4""4""4""K". 8B ?. V ñ þ 8 8 $ 8 $ f $B. ñ bþ $ $X X ? X ? $X $X <f ? <f ? < fbþ < f < f < f$ < f$ < f$ < f$ B. <$< $< < $< < $< <. < Bñ < bB þ < B$. X. . < $B X <@? f.

(126) Ì.0/. (ÎÍ × . *0/ ,¥Í .. `ý \WS]K WS-óú#ûKAAó!²[[ óS SK ! )\JSXó

(127) [SóS!Xó b