!"# $%$&' ()*+,;,<=>+ -(./(023*45)+* 1 23*45)+* 67 89@5,>A*5> /5335+: 6 ,* ) 5 ?5 BCDEF /5335+ ;GHGIJ K),3L5 MNOPQRSPTW7 LA,++5+J UV5)5 <8?5A 8WX5L6Y8)*5365? A,3Z>,Z5+ >+5+ ?5,A <8?5A+J [*6V 8WX5L6+ ,+ ?5Y89 +L)*W5? Y ?)*453 ?545A8=<536 ,+ Z),=V+ *365)L8335L65? 8WX5L6+J ?5+L)*W5? W7 W5<56,<8?5A+\ 098)3>,Z5+ W553 ,3? L836*3>5 68 ?545A8=5? 6V*+ <8?5A =,),?*Z+*3Z <8?5A+\ 89 6V5+5 >+5 +*3ZA5Y8WX5L6 67=*3ZJ ?5Y )*45? 9)8< +8A>6*83+ 98>3? *3 8WX5L6Y8)*5365? +7+65<+J [V*A5 86V5)+ >+5 <56,<8?5A+ ,+,==)8,LV5+ <8?5A 67=5+JW>6 [*W)*6V8>6 , LA5,)845)A386*83 89 =8A7<8)=V*+<\ @86V 89 6V5+5 A5,? 68 6 6A5 ,3? 7 )5+6)*L6*45 )5>+5 LV,)Y ,L65)*+6*L+\ (3 6V*+ =,=5) [5 =)8=8+5 , +*<=A5 5^653+*83 68 8WX5L6Y8)*5365? 67=*3Z 6898)W5665) L,65)<8?5A+ 98) ,,+<8?5A Y8)*5365?89 L8365^6J *3LA>?*3Z8WX5L6+\ , +*<=A5 +6),65Z7 67=*3Z , L8AA5L6*83 *365)L8335L65? 2+Y V8[ *3Z_5^*WA5 , +*<=A5 5^,<=A5 [5 +V8[ 6V*+ 5^653?5? ,==)8,LV =5)<* 6 + <8)5 )5>+5J [V*A5 =)5+5)4*3Z 67=5 +,9567\ ` abcdefghcieb j"k lnm"nm#o kp l p"kn"'#'"n okoq#km'ru k "o #km'r # s n  m"kr"nnk kst# k" !kn "q" nn#q #kmkn kp kst#n v krl" 'nr w"n #nn s"#k knlmnq xl" l n"'#'" kp k"l!zj kst#nvqku l "knlmn sxkp l " ym#y w sy  !zjq {l m"n# ln "knlmn ln l |# l k n"'#'"n " '#l k" rly #k'm ljk"kst# n"'#'"nu lnr'rn "nkq  pk"n l"y n'"m"nrkn llo l tk"y kp mm"k#lnsnk okmr m'r km pk"nn k lkn pk'  kst# k" m"kr"r r'rnu {l n'y kp r'rn pk"‚jƒm'r ln k n"'#'"nkn #ou }pk"knq ~€q l nz! nn'  nk#r r'rn pk" wr "n mmrn sx knu } "nmknq y r'rn lo s okmq 'nr o"k'ny kr# sn„€…q m" sn „€†…q  r"ml "npk"k „€‡… k"mm"k#lnu ˆk#'""yqr'rnk  's" s" kp |k"n"xlsrkn ' "v k okm ‰ m"kr"r n  n"'#'"n „~ q€Š…u

{l kpk" ln |k"n lo #lkn k 'n nymn#'nn nynn okm pk"k 'n on xltk"y kst# okmu ‹kxo"q „Œ…  „€…q l 'n kp n'#l ym nynn   k k" #k‰ ""n m"kr"n nkxl s" xlln"nm# k #lrn  lkx ku !kn mk"yq lkxo"q n l nynn k k "'y l 'n"kp kknq nm#pys'l""l""npk"kn k" m"kr"n  "n kp kn  ymn  "n kp kst#n xl knu {ln n #k'" 'o k l{k 'n"u "nko lnq x n#'nnw #nn"y ‰nkn k kst#Žnr k" ymr k  xl l "knlmn  !zj knu ln ‰ kk kp kst# ymrq x m"kmkn  ymn wk kpn#'nnk  k ymq #'r wk kp n'sn'sy kp k   kp "#k p"# kp k ymnu } n#k ~q x m"ko  s#vr"k' k ymr  kn  ljkkxr "k kp ymr  k "o r"rq #'r  kor ‰mu lnq n#k † #'r x m"n wk kp 'nr klymn‰mu xl  "' pk" k ym n'sn'syq 'n"k #k ‡ n#'nnn l m#k kpp"#u ln wk pk" ln#'nnn " nn'n kp kpk ymxk"vn "#k  k ym #k 's" " p"k l kn kp skl !‘’  ym nynnu “ ”•h–—degbf "yn nmvrq  ym##s sm"pk" '"nkk n  n z# kp o'n kloxl#ls " kp km"kn n'##nnp'yu ymn wq  nkp mknns k roq 'n l lkm"k nm#w#kn kp l{ympk"˜ p nk m' ym ™ n l k'm' x lo ym šu npy nkm"k l r'" l k kst# "' k" ""k" x› "n' p"k ln mm#k kp lpk" k l x"kr o'u ym nyn  n kp "'n #l#vr l ym k'rl npy pk"k œ m"k#nn 'n'y #ymrymnn'mkn #l#vr n#  n ro kp "&'" sk' l ln s ‰m#y sy l nr" k" m"kr""q nk l ym #l#vr s#kn kny  "r skkvvmr m"k#nnu {ymœym#y #l#vrn#km n k sn# xlu  n m"pk" xlk' m"kr" ‰pk" #'k k" s } n  n'"r k#   lnynu l" nžkk mknnsy kp "#k ""k"n œkp lnynnq v "nn syn# l ym ""k"n # s "nn sy ym nm#y k 'n'yk"&'"n l o# ym #l#vr n nyŸ ur uq xl n#""k"nu ym #l#vr  n  #' "' k'  "nvn kp onk sy %"k {ym nynn kxymn#l#vr n'sn'sy xlln"o#n " #ks˜ syn #km"r l    n"o# "p#q   ymn n" sy #"q k # m"# xll"  k"#k ""k" nˆkpk"# mknns œur unm"k'#r w "'  ""k" n'#l n ¡!lk '"nkk¡u r"y n l xvn œu  uq n "n"#o n'sn'sy "k l r'" n ym npyu ž#nn"y #kkn œmmyr "#'"noy " l  #"

'n k "'" okv y y ‰#mk km"k kk l n'mmk"sy syll#"u n"o#q  l n"o# 'n k ˆkpk"# ln  m"km"y # #k"o"#˜ l ymn kp l m' m""n kp  n"o# 'n #kpk"  kmmkn k l ymn kp n "n' m""nu ¢£¤ ¥¦§¨©ª« ¬ #kn" n n  #l kor‰m  nm ks"npk"k l vn n#m' m"k'#n  kkv'm nlkxr l #k""nmk sx lpk"#'"" nq  ""orn oq  lwr'" "n' nuk'm' {l m' k ln "npk"k m"n €u {l kq k skp lnmm'sn  y #n xkxnlkxq pk#'n#k sl nn' #kpk"# ymu r'rq s'

­®¯T°T ±*<=A5 ±6,65 ],LV*35 ]56,<8?5A {lkp xl#l #lk#m"r kp xl#l kpr'r n k'n'nqknm l›nk"npk"kq  o r'r "u " n l #lk# n k xll" l m'  k'm' ymn kp l "npk"k " "o œp"" k" ‰m#y #"u œ{ln #lk# n n#'nn p'"l"  n#k ‡u ‹orlrol"ln"k nkplo"n kkp m' pk"#ln l "npk"kqx #kn"  's" n xlkn n#n rl nk s "nr n mk m'n k l "npk"ku }yq xkrl #kn" #lrr xl k l'm 'm#y kpnn l ²³ "p"k" # p"k uu€ uu ´ qpk" n #ln n" œjr'" ~q p"k uu€†uk ›"oyq €uu€qrxlrl#lmmy nl#l lo ‰#y ksy n" n œjr'" #kmkn m" r l"# kp #kn" sy !#lq pk"kp #kmkn n#nn#ln œjr'" ‡u jyq x rl l k  j n  x n's#nn kp  œjr'" u

­®¯TµT ±6,65 ],LV*35 ]56,<8?5A [*6V <>A6*=A5 +6,)6 +6,65+

­®¯T¶T ±6,65 ],LV*35 ]56,<8?5A [*6V <,3?,68)7 +6,)6 +6,65+

­®¯T·T ;8<=8+*65 ±6,65 ],LV*35 ]56,<8?5A

{l &'nk nq lq kn lxl "npk"k x" pk" kn #kpk"r k jr'" € n xk"v kn #kpk"r k ln o"  kn¸

­®¯T¹T U*6V K*3,A ±6,65+ ¢£¢ º»¼«½¾¿À ÁÂà ÄÅ«ÆÇ ÄÈ©«¿ ›lk'rl "n"#l n l krkrn#"s k l w"nq l"nksy sn# kkn kp kst#n  l ym nynn l sy kx x '"nkk „€…u#nn# ›n k s"y skoq ll|"# sx lkn kst#nnn m"n# kst# k" nynn kst#n 'n xl l kp œmky s"#k "knlmnu } !zj €u‰ q ln x"xl#lw n s"y nnk#knq xl#l 'mm" '" #k  nnk#k nq w #l"#"n#n n'#l n l kx" žorsn sk'nq '&'nn  k""nn kp l kpnnk#k   ro "# ku x" nm#w sy l k "p"#nu } !zj ~u q "knlmn "sy w n nu{ln m" kp "p"#nq #lykp v xl#lk wn l n pk""y vm nnk#k "p"#n kl" "p"#ql'n pk"rs'q s"#k n  n's #lr kp ‰m"nnoy  |#q yn"knlmu{ln l n ym kp#lr "knlmnu ¢£É ÊË몿 ÁÂà ʫ¾§¨Ë몿 {l !zjkpnm#w#knq 'v lkn kp Ž!Ìq lo o" #'  pk" wk l"  k k"  ku Íy #kokq 'oyq l " ln 'n'y s 'n n  nyky pk"  !zj m#vru } y !zj €u‰ mknq  ks'xn w n#k#m  ²m#vr n#³q  "kst#n k w  l nm#w#knq 'o l #k' #k n p"k y #nn xl  ro !zj m#vru ¬l 'oq ln

wkn x" nkxl r pk" n'kn xl" #"knn ³k³ "p"#n x" #kku !zj ~u y ln "k'# l kk kp  ‰q   ‰m# lm#vp# l ‰n #k kst#n n p"k #nnn p"k |" rnu {ln "#krnn l #"nr s'# kp knnqnr xl#l "p"# kl" knŸln " 'oyq  y kx s #kn" knu ‹kx o"q ln on 'n xlk'  w"  kp  kq n# x # k kr" s nr r'" l  kst#n xl  ‰ x mknnnn  ym #k sy m#vru Íykkp ln #koknq l"v " syxkŽ!Ìq r"n kmm"k#ln knkwr  #k#m ku {l w"nq l nr #nn n sr#nn  "kkk kst#n pk" l kq xl"sy lm"lmn k"#ls l'n #knnn kp l n#n kp l #k sy œk" p"k kst#u ‹kxo"qnlnn #kk kn kxk"v n'#lln#nkn kp kn xl#lrn#vk" kn  nrkpq"kkpk" q #nn #kr ‰mq#ksk"o m"k#nnn„€~…u{l "o  k" r" mm"k#lq l k o n ’‰  !zj ~u  qn k w  k nt'n  n kp kst#nun {vr ln n#k wkq l ksok'n #lk# pk" l ym kp  k l n kp "l ro kst# ymn l #k kst#nu {l n kp n'#l  wk l ‰kp n#ku ¢£Î ÄÈ©ÆÂÏ Æ ÊËëªÐÑÇÆÒ«Â ¥ÂÏÆ««ÇÆÂÏ {l mm#k kp ymr  k "o r"r n n   's" kp onu  wkr" oq r'rn lkp lm'  m"km"n ‰mk" kn  k"s›"r"r s "nk sk' l ymn kst#n  l ly xl l knu jk" ln o kp r"'"yq  kst# sn mm"k#l ks"k" ymr nm"nm#oq m"kssy k" '"  mm"km"u j"k  l" n nk   k "nk sk'  l ymn kpk "p#n l sy l "npk"knq m"kr"nq "mknk"n kl" " n"o#nu } n  ln o l  mm"km" ym nyn nlk' kx 'n kk "nk sk' nlmknns #kn"'#k kpl#kl" nynn p"k l n"o#n os 'nu¬l k w kn l sy ln n"o#n  '" "n kpmm"k#lq l ymnn# kp llnkst#n l ly ##mq x "r' l ln n  k n"o#n 'oy ##m kn n m'q k ‹or kst#nunsnl l n"o#n rl ##m  m"k'# knq  pkkxn l ly nlk' nm#py ymn nkpk" ln knuj'"l"k"qlor nsnl ln ym #"knq 'np' k w  n# pk" n'sn'sy l kxn lk k ‰' mknns ‰syn  "'nq xl n'"nu nn'"r l l jk"n"o#n "#o kn xlkn ly k k l nmn"npk"k n#"s  nn#k ~u€kp#lsk n ko"n ##m‰mq n #ln m'q  nlk' ##m y m"ko  k mk l "npk"k mn  #k knlmknnsq k l n klmknnsu

Ó ÔefÕÖ ×ØÙÕÚ •bf ÔefÕÖ ×ØÙÕ ÛgÜÚcicgc•ÜiÖicØ }#'nnlnln#k x m"ko  nm n"'#'"ympk"ylsymn'sn' kp  kpk" kl"u  n #kkn '" xl#l k k {ln#'n  ynn#nn"y kp l m# kp kk p'#k ymr 'mk kst# ymln rq l ‰nkn pk" kst# ymr #k""#y x #k‰u""u ¬ kn" l mm#k kp k ymn 'nr l ‰m m"n É£¤ ÊËëª ÄÈ©«¿ {l m"ok'n n#k wn  ‹kxo"q k ymlnnnl wk n kp kst#snymnk pk""#kq  l kst#n #k ku  l  kpr'rnq k ymnxl" n "l" "rxk"npk"k k" k snkp m"kr"r "#k s l k " "r ymnu{l"pk"qx  žk" k "w!zjk'" k ym'mk k"sn#yu k xl n"'#'"n k x lo¸ "#k kst# yn  !zj #nnu ¬l "'" k ym nynnq n'#l n „€€…q n'rrnn l !zj ym nn knr'" l nr'rq lr n u#nnq !zj n nklr kp  nm# #nu # u 's k#nnnm#py slok'"q  !zj #nn¬n l"pk" p# k"#k krk'n k  ym l k   ym nyn "kkryu k'"nonlk ly w#ku  k ym n  n kp !zj #nnn œq kp #k'"nq l "p"#n } l ‰m m"n  k n#k ~u€qnlkx l k ym€u "&'" pk" ky k'" "npk"k n  nn# l  wr'" } p#q l nrw#sy|"# k ymn  m#vrnu kn n l n"'#'"r m"ko m#vrn sx  "knlmn sx É£¢ ÊËëªÐÄÈ©« ÝÅ«½ÞÆÂÏ Ž" xl #kkn y kpk"k ymquß'  unnmyq kp kst##lymnqs #kn" #kpk"q k" n'sn'sq kl"¸ kst# ym  lk "&'" n 'n s ²'"nkk³ sy l # nu ˆ"yq ln "'"n  n'k kp kst# ym #kpk"#u {l|# m"n# kp "knlmnq xl#lo" pk"q º»¼«½¾ÐÄÈ©« ÝËÂàËǨ§Â½« w sx #nnn ln  k l ko" mm"k#l k l ymr kp#kn"n kst#nu {l n"'#'"nkp ''y kst# ym "nm"lkpnu }qlyp kk "knlm m "p"#nq k |" p'y p"kn"kr" l m"km"n nkp#kky  kst# sx k" nynnu{l" nqkp #k'"nq m"o# #y## m#n l #kpk"# kpxk#nnnu jk" ‰mq #kn"  #nn #nn ˆ€ ˆ~u "knlm ›€q #knnr kp "p"#n ‚€  ‚~q xl kl" jk"  #nn ˆ€á k s #kn"  n'sym kp ˆ€q  'n m"#m   "knlm ›€á

xl  #nnkpˆ~ሀál nˆ€u n'sym kp ˆ~q xl#l p# mn k l k"r #km"nk ln s "y kpm"n  „€…q l" "sn y#k‰q mknns"rr mm"k#ln kll›n#'""y ym #kpk"# kst# ymn k p"kn m"k mm"k#l sn k n's#nn sn #kpk"#q ‰ oq kkn"'#'" #kpk"#u ›n nœpk"nkkm"k m"n"'"  „€…qymn ln'nm"kms n'" l l #ko"# "y ymn|"#n  #k"o"# œpk" m""kymn "'n vœ'nrkn'sn'mk ##k' l n"'#'" n'#l n 'm#n nnk#kn ‹kxo"q o"n n'sn'mk "nm#oyu k 'n ln mm"k#ln xllymr sk n  #k#k kp ks t#nq l" " k "&'"n 'n  xl#l k k mm" xl"'n o'r kst#k ym #kpk"#kplnkku m#w#yq l"nnnnr " #"  m"r l m"n"ok y kp #nnn xl #kpk"# {ln "'n " kn o  "n' ‰kn n'#l€u›n˜"‰okp "knlmnu "knlm y"knlm k s nnw syk sknnw "‰osy"knlmu ~u "yq  k "‰o y  "‰o "knlmu ‹or nnnnr ln #kn"ql #lk# "nkkmn knok k xl#l rk"l k 'nn xl kst# ym #kpk"#u #kp'nr k'" ‰mn sy 'nr k ‰nk #l&'nq x x m"k# 'nr l n"'#'" #kpk"# m"kmkn  „€…q xl mm"km" ‰nkn pk" l sko #kn"u Žnr k'"ykst# ym #kpk"# "'ql &'n ÊËëªÐÄÈ©« ÝËÂàËǨ§Â½« k kp xll"  "&'" k ym s nnw sy  m"ko k ym n#kpk" "kst# sy #l#vr xll" pk" #l "&'" kst# ymq l" ‰nn ymk k l m"ko ymu pk" okr  "#o wk } n o"y mk" l" l "nk kpm"ko k k ymu }ymqm"#'"q   "&'"r l l l" #l ‰n kst#ym ‰n kp#l l x k k n# kst# ymu ƒ' k" nmyq l"n l |"# sx l sn# kp l kst# kp  ro ym   k sn# kp l kst#á n ym  ká n k ymul{l{"nk k ym kp  n #l xlk' "nkn xk'{lnn #k #nnu |"# mknnxl k m"ksn pymrq x " xls#k l k kp "npk" pk"kn k" m"kr"n pn s' y m"ks# y#y "r lk'm' ym kpk  k 'nr "#kq k"{ln pk"  m"ksn r'r l "n n m' k" ymn 'nr p"#u " n#'nn  n#k ‡u É£É Ñ«¾§Æª¿ §Âà ѫ¨Ë¿¾Ç§¾ÆË {l mm"k#l nr k "n sy lpk"pkkxr nmn˜ ym #kpk"# n#'nn sko y s n'

jk" #lymn#nn œkst# ym k l "&'" kn"'#'" ymq w#kpk"#  #kpk" â kst# l m"ko ymu Žnr p"k „€…q ln n l ’#l km"k k lk "&'" #nnk "'" 'n symq nnw sy  #kpk" km"k ##k"r #ko"# #k"o"# k m "" ymn  mm"km" n'sn'mkn kp 'm#n ’#l m"km"y k lk "&'" #nnk ymq 'n sn'sn'mk nnw syk 'm#yq #kpk" m"km"y ##k"r #ko"# # ’ â n#"s sko#kpk" m"ko ymn xl#l ok l y "'n  l pk" #l l "&'" ⠒n'" k #kpk" ym #nn  lm"ko kk ymuymq l" "n  n !k" pk"yq #kpk"# kppkkxnu  m"ko k ym k  "&'" k ym y s w n j"nqxq nsnl n'#l l˜l kst# ym #kpk"# "k q À q ã  ym #ko"#q Àœ"'" 'm#y n'sn'mkq œ"'" ym  À 㠜m"" ymœm"" #k"o"#q  n'sn'm 'm#y k œo"n À œm"km"y ym㠜m"km"y #ko"#q'm#y  n'sn'mkq  •



M Tp

M Tr

image(M Tr .types →

M Tp .types)

∀Cp : Class ∈ M Tp ∀Cr : Class ∈ M Tr Cp ∈ image(Cr )⇐⇒ ∀Or : Operation ∈ Cr .allOperations() ∃Op : Operation ∈Cp .allOperations() Op .name = Or .name Op .type ≤ Or .type Op .multiplicity ⊆ Or .multipicity

∀P ar : P arameter ∈ Or .ownedP arameter ∃P ap : P arameter ∈ Or .ownedP arameter P ar .type ≤ P ap .type P ar .multiplicity ⊆ P ap .multipicity

∀P rr : P roperty ∈ Cr .allP roperties() ∃P rp : P roperty ∈ Cp .allP roperties() P rp .type ≤ P rr .type P rp .multiplicity ⊆ P rr .multipicity

‹or nsnl ln "kskoq sy n'"r l˜ q #l#v l y #kn"n n#"s œ#l "&'" À À #nn ln  #kpk" À œ"‰o m"km"n " n nw sy "‰o m"km"n  P rr .isReadOnly = f alse ⇒ P rp .isReadOnly = f alse

image(M Tr .types → M Tp .types)

∀Cr ∈ M Tr image(Cr ) 6= ∅ ∀Cr ∈ M Tr ,∀Pr ∈ Cr .allP roperties() Pr .type = Cr ⇒ image(Pr .type) = image(Cr )

œk "‰o m"km"n " nnw sy k "‰o m"km"n ›mmyrlln l ‰m"k kn ks knmn ym k#kpk"# nlkx m"ko {s €u n#k ~u€q x ±*<=A5 ]>A6Y±6 ],3?Y±6 ;8<= K*3,A L8398)<+ 68 ±*<=A5 -K*Z>)5 ä: åG± åG± .æ .æ åG± ]>A 6 *=A5Y±6,)6 -K*Z>)5 .æ åG± .æ .æ .æ F: ],3?,68)7Y±6,)6 -K*Z>)5 åG± åG± åG± .æ åG± B: 65 -K*Z>)5 åG± .æ åG± åG± E: C: åG± U*6;8<=8+* VYK*3,A ±6,65+ åG± åG± .æ .æ åG± ë,)*,36+ Y -K*Z>)5 çRNèé °T ]8?5A ê7=5 ;8398)<,3L5 /5A,6*83 98) ±6,65 ],LV*35 Pr .type 6= Cr ⇒ image(Pr .type) ∩ image(Cr ) = ∅





}llns"kr "k xkp 'm#y # n l#kn"n l klokp kxs"kv #nnnlœj  n'symr "knlmq s' l rlr kp 'm#n lnu } n ks nk l #kmkn n #l"n " pk' k s n'symn kp nm n #l"nq lk'rl l "o"nn rl lols k" 'ou {ln |##l"n kp 'nrk lkn n"'#'" #k pk"# n sy #kpk"# kp nm xl w nnu ì ígdcîÕd ïebÚifÕd•ciebÚ ‹or pk"#kn" ll r"  kpkp ymn pk"ymnq kn  m"k# m"nk n#'nn  m m"k#l o"pyr #kpk"# k x kx xk " nn'nq lkn kp k ym "#k  k ym p"#u

Σ¤ ÊËëª ÄÈ©« ð«ñ«½¾ÆË ‚#k n ksk'kp lxlvyp'"n p'"nkpm"kon k "o r"ru {l kpsy k nv  kst# kxn pk" l #"k r"# kkn l!yxk"vn"o#n "r"nn kpn l k p"kn"%k xl#l lkst#n"%kq xn n u n'#l ™!Ì  ‰' k "mknk"nq  #k r"k"nq "y v ‰no 'n kp kst# "#ku ‹orkp   "#ku kp  k{lymq  n'n"#"y #nn"y k #kn" l m"ks k ym nq p m"kon  k k  n"o#q kp nlk' s mknns k#knu " l ym kp l k sy kkvr  l ymn l›n kst#n l  n#'nnq lkp   #'y xl ym kxl "#k n l|"# s x l m"n#  kst# kp  ro  k l m"n# kp l kst# ym  l kán ymu {ln m"ks vn  mknns k

nmy  " œ'nr kst# "#k l kst# ym kp #l s" kp l k "'" l n l ym kp l ku }'oyq l"y m"ksm"n "&'"n lwrku #nnn l ym"ksq s nnk# xl l kst#n ›n  r" ln " &'"n  pk" kp ‰n &'w#kq xl#l n nklr k os #'"" !‘’ kknu }n 'n"#lr kp lnqpk""o nkst# k 'nymn sk' ‰n &'w#kq n'#l "p""r xl  kst# ro n"#ku kp m#vrnq u r u lkn "y #kr kst# ymn ks p"k {ln nqlkxo"q m" nk'k l "&'"n p'"l" #kn"ku

Σ¢ ÊËëª ÄÈ©« òÂà«Ç«Â½« › #kny " nn' k k ymm"n "#k""q n lxkps"y k ymp"#u } l ‰m "npk"k k n #'nn lkx l m' k ym xn "q  k"" k " m kp{l" l "#lk#xkkp"on r'r 'n pk" mr l "npk"k r'ru pk" "r ln ymu } pn ymrq n n #kky n  r'rn n'#l n o  ˆóqpk" ‰mqymn " w sy#klx" 'n"u Íysy l #k"nq  r'rn n'#l n !Ìq ymn " p"" p"k l 'n"u z #r'ru r ›l"npk"k  n" mm"k#l #k' xlkn s 'nwk sy  k "n pk"k k" m"kr" #kn"'#n knp"kp"kl nn  n kp#"r #nnnlrlkst#nu s szsok'nyq k " n k'm' k ym ln ln  k  #k k xl l "#k m"ks n#'nn skoq  k xk' r lq lor " lk"#nnn##'"y 'n ll#km wkqk n"ymu#l&'n rl s 'n k " ¬l"ry km ymr  k ym "#k ""npk"k m"ksn lk"#m"kr" s #k n" kp l #lk# kp k r r'rqk ym p"# n #"y n'#l ku }p"# k "npk"kn w 'nr  "'ôm" sn r'r n ™!k"ml„Š… x "&'" |" nk'k k p"# k m"kr"n w 'nr  k" m"o r'r n'#l n !{̄€Š…u õ öÕ֕cÕf ÷ed– {l m"ks kp k"rnr knqk "npk"knq m"kr"n t'nkl" o km "p#n k pk" #kl" "o nynn n  w srr kn"o#n "#ku } ##nn „…qlk'lk"n n#'nn 'kk k s'nqpk" n#"srkp kn k r l #'r kp #k"#k k"rn"y n'"kp#kmsyu } „"kn †…q l ln m"n kp  lq rkq  nyn k" kn  l ‰n sx kn nrw#y lkn{lkp n'y #kpk"#  "m"nku kp ym nynn pk"sr' kst#knynn nln x "n"#l wunynn !k" "#yq 's" kp xk"vn lo ‰ w kx"n ym pk" k" rly #k'm nynn kp kst#nu

} „‡…q lsx 'lk"n#nnnq#'r m"n  ‰nk k wk o k m"ko pk" w"n #nn "knlmn  pk" pk" l "n' ymn nynu {l" m"kmkn #'n  kk kp "knlm n'symr sn k s"nlmq xl#lŽ!Ìs"n~u }p"n"'#'"u  "ns# k l  kp nnk#k n'snr m"n  l } „Œ…q lk 'lk"n m"n‰m"nn  nyn pk"›kyq #l#vr l ymn" #kmsy kp #kn"n kst# kn  r'r  m'"mkn k" zˆÌu {ly m"kmkn  rk"lln 'nr sk'r ymn k sn ymn k xll"  ‰m"nnk r xl "nm# ro kst# ku# lnn"'#'" mm"k#l n"y n sn kkllŽ!Ìkp !zjqln #nn r" kqxl#l s"n nrw# rk"l xk' mmy n"rl pk"x"y k !zj knu Íkl kp llnymnxk"vnkp kst#n n#'nnqw s p"k |" m"nm#onq l m"ks kpk"#l#vr  l #k‰ kp  kst# k l n rly #k'm l lkn "ky 'n  kst# nynnu ‹kxo"q xlku #lÍy#nq#k"nq ly #kn" ky lm"n ymr l" kp kst#nq nk'#lkp kn n  l ‰nk mnq n mknnsq k"nn v "l" k"lkrk l &'nk kp ymr l kst#n xl  nynq k'"k l m"ks kp ymr l k n  n kp kst#nu }q mn 'mkkplw"n‰n# kp  kst#  ymrl'nrk"l l # n ss kmm"k#l l l m"n# #nn "knlmnq ln xk"vn n{l" n #km"yu n kst# nk ymnu sky }kp „øxk"v xl l'lk"n ym m"kmkn nyn "nm#oy #k'y ²py k l r"k'mr kp …  „  …q l mkyk"mln³  ²ym r"k'mn³u ‹kxo"q lk'rl ln'yym n"'#'"n "n n" k lkn 'n  k'" mm"k#lql m"ks '" ln xk"vn kp nm kst# ym ymrqnynn m"#'"y kp s"y  "#o p'#knq xl#lq ' kk l #'""y m"k  k "o okmq kn k km" klk'"ymr ku j'"l"k"q l" mm"k#l nq k#ymnrq nr   kp nr kst#n œs kst#n xlkn "kp m k kl" ymn   r"k'mq  k pk" ymr kn n nn kst#nu } rl p#kp lnq lnlxk"vn rl nk#l#vn s nlnly#km"yq !zj kn "&'" nkmln# m"kou p ù ïebhÖgÚieb {l #v kp m"km"n#lnn pk"ymr km"kn k"'n kn#l"#"n#nu n'#l n k} "npk"kn k s" ko"y "n"#o ln mm" xpk"lo m"kmkn  nm ‰nk k kst# k" ymr k s" #"  k k" #k‰q #'r nm n"ry pk" ym rlokn nlkx #k#k kp "#k# kst#nuk" Žnr‰s  nm"'n‰m x nlkx ln ‰ mm"k#l m"n kp k "npk"kn ##"knn o"k'n  knq xl m"n"or ym npyuymnq ¬ lo m"kmkn  nm rk"l pk" #l#vr l #kpk"# kp k my kp y ro "npk"k r'ru › m"kkym m

k kp lnkp rk"l n'np'nn sr m k#k‰nq l ’#mnô’!j mpk"q xl l rk nr n  no" n'#l n !k Í'n kk "km"sy k" ßôúô{ "npk"knu öÕûÕdÕbhÕÚ 0W,?* ,3? ,3? ý>L,]*;,)?5AA*\ þ*5)\ÿ K)8< 5?8L L8<=83536+ \ ±=)*3Z5)J68 LL<ä L8<=83536+ \ ],)*,38 @5A,>3?5 ,5A 5A 6 F\ä\ 0],)6ü3 <,==*3Z L,6*83\6 J ,3?(3 þ,6)*LJ =,Z5+ K)þ ? +=5L* @(3 *4*3J )*L 8>,>A ë,A?>)*5äEB \ äCæ3J 6V5FDDF\355? 98) <5Z,<8?Y B\ 5A+\5,3=)5L*+5 \ ,3? 0A*+?,*) U)53\ K*)+6YLA,++ )5A,6*83+V*=+ *3 ,3 8WX5L6Y8)*5365? ,4*3 @*5)<,3 E\ A,3Z>,Z5\ (3 ],)*5Y *5))5 5)4,*+J ,3? ),[55 ±)*=A, *LV\ ]8?5A W>+\ ê8[,)?+ @A,3LJ C\ 6V5I,4*5)*365)8=5),W*A* 67 89 þ<8?5AA*3Z 688A+\ (3 þ þ þ \ \ *< @\ÿ@)>L5\ ±8<5 LV,AA53Z*3Z 67=*3Z *++>5+ *3 8WX5L6Y8)*5365? A,3Z>,Z5+\ J :J FFDDB\ \ H5LA,),6*45 5*6V H>??7J6),3+98)<,6*83 033, 5)W5)J98)]*LV,5A \ ý,[A57J<8?5A+\ 5))7 (3/,7<83?J ,3? *< 5?*±655A\ 8WX5L6Y8)*5365? \ 4,3 @8<<5AJ ÿ(?5, )8>= >WA*+V*3ZJ FDDE\ ÿ þ 68)J\ \ <8?5A+\ 83,6V,3(3G?[,)?+J ÿH,3*5A ,L +83J ,3? G<*3, ê8)A, \ 0 þ67=5 +7+65< 98)ÿ 8WX5L6 J =,Z5+ ä ä \ 0;] )5++J FDDE\ \ G)* G)3+6\ K,<*A7 =8A7<8)=V*+<\ (3 J=,Z5+ BDB BF \ ±=)*3Z5)Yë5)A,ZJ FDDä\ äD\ 033, 5)W5)J ]*LV,5A \ ý,[A57J 5))7]H0\/,7<83?J *< ±655AJ ,3? 03?)5[ U88?\ ê),3+98)<,6*83 êV5 <*++*3Z A*3 89 (3 ÿ D äDC\ ±=)*3Z5) ÿë5)A,ZJJ 48A><5 FCDC 89 J =,Z5+ FDDF\ ää\ U\ ý,ý83?5 ,3? 8V3 J B-C: >ZV\C ±>WLA,++*3Z +>W67=*3Z *+Y,\ ,3>,)7 ä ä\ FJ äF\ H8L><536 æWX5L6 ],3,Z5<536 )8>=\ G365)=)*+5 L8AA,W8),6*83 ,)LV*65L6>)5 -G;0:\ æ] 38\ 98)<,A FDDEYDFYDäJ FDDE\ äB\ ëêY]5)Z5 )8>=\ /K/54*+5? +>W<*++*83 98) ]æK F\D >5)7 ë*5[+ ê),3+98)<,6*83+ \ æ] ?8L><536 3>5+ 98) äE\ <8?5A6),3+98)<,6*83 03 5 5L6*45 ,AA*,3L5 (3 þ J FDDB\ ÿ þ äC\ V>)+6J5?*68)J *< ±655A ,3? 5,3Y],)L >5A\ ê7=*3Z )5A,6*83+V*=+ þ*3 ]H0\ (3 H\ \ 0 þ5Y ±655A ä \ <8?5A *






               !" #  $    %    &  ' ( %)    *  



:





    ( ) '# + 

, -    %     . %    / - /  0   1 2 234  ,    &  ' ( %)   %  - 5  -   %   # # '%  % 0& (  1 2 264 7  '  8 9    8 +# - 8  %8  : 7 ,  7     +  %  ;  * '/ < =  +  % <   (   5    # # '%  % ,      =   >26?   .@1 5   %/   @1

& =   * '

%   % '  +#  %- +   -    %   *  / % %/        >2 @5   %/   @3  - . #        . %    / + + %/  ,

 7    #   +  % < =  >21  %      %    / + + %/  :  , B C , C B B 

   8 @ =    % '      -  9   % +# - 

6=



6=

A -  '    . ,

,

B

D   %/  1      E F !" . #     %)    %G-  %   H  &  ' ( %)   %  -     D I       - #  !" #  &  '.( %)   %  -  0 !& ( . 14   @3 =    % '   +#  %- +    *  J '%. %'%   / % %/ 0=  J  1 2 264 

H*?*5)98)ë8X6*+5 ä \ [8) 5,3Y],)L >5A\ ]êýJ ,3?FDDE\>6 . Y 53Z*35 ,3? 9),<5Y <8?5A ,3? 6),3+98)<,6*83\ :







 D  J =&  *

,

Model Typing for Improving Reuse in Model-Driven Engineering ... - Irisa

Mar 2, 2005 - paradigm, both for model transformation and for general ... From the perspective of the data structures involved, model-driven computing ..... tools that work regardless of the metamodel from which the object was instan- tiated.

202KB Sizes 5 Downloads 438 Views

Recommend Documents

Model Typing for Improving Reuse in Model-Driven Engineering ... - Irisa
Mar 2, 2005 - on those found in object-oriented programming languages. .... The application of typing in model-driven engineering is seen at a number of.

Model Typing for Improving Reuse in Model-Driven Engineering Jim ...
typing in model-driven engineering, including a motivating example. Following this, in section 3 ... type system). Not all errors can be addressed by type systems, especially since one usually requires that type checking is easy; e.g., with static ty

Validation in Model-Driven Engineering: Testing Model ... - Irisa
using MDA for software development, there remain many challenges for the process of software validation, and in par- ticular software testing, in an MDA context ...

On model typing
Jan 31, 2006 - in languages such as Java and C#, for example, types are defined by the .... Bézivin, J., Jouault, F., Valduriez, P.: On the need for megamodels.

pdf-38\models-of-reuse-in-software-engineering-research-paper ...
There was a problem loading more pages. pdf-38\models-of-reuse-in-software-engineering-resear ... ersity-computer-science-dept-by-charles-w-krueger.pdf.

pdf-38\models-of-reuse-in-software-engineering-research-paper ...
CARNEGIE MELLON UNIVERSITY. COMPUTER SCIENCE DEPT) BY CHARLES. W KRUEGER. DOWNLOAD EBOOK : MODELS OF REUSE IN SOFTWARE ENGINEERING. (RESEARCH PAPER. CARNEGIE MELLON UNIVERSITY. COMPUTER. SCIENCE DEPT) BY CHARLES W KRUEGER PDF. Page 1 of 7 ...

Typing Relationships in MDA
The languages currently used to write model transformations, including but not limited to those proposed in .... This is the same relationship as is commonly seen in programming languages such as Java, and ... type of the type of R' (contravari-.

wastewater engineering treatment and reuse 4th edition pdf ...
Page 1 of 1. File: Wastewater engineering treatment. and reuse 4th edition pdf. Download now. Click here if your download doesn't start automatically. Page 1 of ...

wastewater engineering treatment and reuse solution manual pdf ...
Page 1 of 1. File: Wastewater engineering treatment. and reuse solution manual pdf. Download now. Click here if your download doesn't start automatically.

ACTIVITY-BASED TEMPORAL SEGMENTATION FOR VIDEOS ... - Irisa
based indexing of video filmed by a single camera, dealing with the motion and shape ... in a video surveillance context and relying on Coupled Hid- den Markov ...

ACTIVITY-BASED TEMPORAL SEGMENTATION FOR VIDEOS ... - Irisa
The typical structure for content-based video analysis re- ... tion method based on the definition of scenarios and relying ... defined by {(ut,k,vt,k)}t∈[1;nk] with:.

ACTIVITY-BASED TEMPORAL SEGMENTATION FOR VIDEOS ... - Irisa
mobile object's trajectories) that may be helpful for semanti- cal analysis of videos. ... ary detection and, in a second stage, shot classification and characterization by ..... [2] http://vision.fe.uni-lj.si/cvbase06/downloads.html. [3] H. Denman,

Model-Driven Engineering
Computation for Humanity—Information Technology to Advance Society ... In this periodic video blog the process of book creation is made transparent so as to:.

Honesty by typing - UniCa
We introduce a type system for CO2 processes, which associates behavioural types. (based on Basic Parallel ... this result, we show that our type system has a decidable type inference (Theorem 8.6). We establish subject reduction, i.e. types ...... A

feature matching in model-based software engineering
There is a growing need to reduce the cycle of business information systems development and make it independent of .... Examples of this approach to the engineering of embedded and .... memory management, synchronization, persistence ...

prototyping model in software engineering pdf
prototyping model in software engineering pdf. prototyping model in software engineering pdf. Open. Extract. Open with. Sign In. Main menu.

Reverse Engineering the FRB/US Model in R - GitHub
Jun 25, 2016 - 2.1.10 a.10 ECNIAN . ...... 1The pdf was created with noweb, the literate programming tool: ”noweb ... plan to morph it into the R software environment for statistical ...... 2.9.30 i.30 RCAR: New car loan rate at finance companies.