%PDF-1.6
%
1 0 obj
<<
/Author(Sparx Systems)/Title(Model Validation)/Subject(UML Model Validation in Sparx Systems Enterprise Architect)/Producer(Sparx Systems Pty Ltd)/Keywords(Model Validation, UML Model Validation, UML Rules, Object Constraint Language, OCL Conformance, Model Well-Formedness)/CreationDate(D:20221003115856+00'00')/ModDate(D:20221003115856+00'00')/Creator(Sparx Systems Enterprise Architect)
>>
endobj
2 0 obj
<>
stream
Sub Systems, Inc. - pdc11
2022-10-03T11:58:56+00:00
2022-10-03T11:58:56+00:00
application/pdf
Sparx Systems
Model Validation
UML Model Validation in Sparx Systems Enterprise Architect
Model Validation, UML Model Validation, UML Rules, Object Constraint Language, OCL Conformance, Model Well-Formedness
Sparx Systems Pty Ltd
A
1
endstream
endobj
5 0 obj
<>
stream
xXN1}+RH%F.Z *Jԋ>@ ETwxw=;VJes2̙gh_BN%Wm["u߈rWho?_Owl'ǯwowEg-<ہfg<4XnƁas;=:Iu8y={)JZLTφFL.Q88:Fw91[ؓҘbQ8;-~B99]Eȩr->PJ!sG(2Tq.k}.*0WFɀkCq<g=OZct!k9=;z=J>Zu%:zVOo7R7~:&J1\tLIG\]R 9ZU9TF%C% QTy_+^pe5Iо$#c`^@(,ny*d^-8zc}`ؔNAuԕYrG ZUPڟj
]TaEnly:nA#F\xWUA(̀}9TնT0)4C=$[`G%ox(ȑc,6VzVT%KuG$n5Kb+Rx,ܛVR*vIX,:/CnSJH"u.KFCKt,,yɪ Iz+mbfBzZWҁOMBEfΥsicMLuP[cp>Kj
<xi- u=ݡ|Y#C$^jyӪZC:>T-Y6k|buydcUhU3EٜuC~PÌ
endstream
endobj
6 0 obj
<<
/Type/Page
/Parent 4 0 R
/Resources 3 0 R
/MediaBox [0 0 595 841]
/Contents 5 0 R
>>
endobj
7 0 obj
<>
stream
xKdWz~ENXڗ*Pbn@2$&|AEpS :b.;pMps3N<+Wi;z
Q7*խqkL<`w_VNu'ռT+lO'U~]߾N>'{yYvÍOo~{m獗Wӽ=Qxw7<~'ÿ?g:
?϶|ϻ?E}s ~NsjIg K.jj6,ݖVZQ)mҊX+ݬVuKfbߒ.Yأ[`bX\%kZb9O#9y'aLZ֊ҊݰVؔV؆LZakapvg"`!ww´SE&HwwK]]4mjinvӴݢm0mmۀiۆhL6D6a>ؒmm0mmۂiۖhL۶D۶`>Vlmmôm[mӶhm3ѶLfmsE0maڶm[m!ڶiBmӶhmKѶ%LۖmKDV0m[`ڶRm7Mۭn[4mhL>D>`!ӶOѶO}}´Sm_m_0mmiۗh7L۾E۾a-
ӶoѶLnm7Dn0mavmô.viCӶhmѶL۞sZmO=E^0m{`m{n[4mjaڎ!ڎvvc1E1aڎ)ڎ vLv,ccK}.aX0mmdži;h;6La0DgVh;pv8LpE0mG#`ڎmZH#Eۑ0mG#aڎmG%ڎi;JEvVm7MۭnssC0mmi;h;'L9E۹`%v.v.ssô[ܢ0m`Nm&Ni;]vh;tvL3D0mg3amg´)΄i;Kvh;VMۭn[4mhL5D5`>()`ڮ!ڮ vMvMkk´]K]*X0mmׂih6L۵E۵aڮ-ڮ
VLe2D0ma.mô}#+D0mW+`ڮmW´])ڮi`[Z0mW`ڮmW]n[4mjinv{{C힢0mmih'L۽D۽`%v/v/{{ô[ޢ6Dm0m`nmô.ni]vhvL;E0mw;amw%iKvjinvӴݪi{G?`>gI$>+瘂$v'Qi?&LsX0{DX0}D0DKa?Ba?Za0D[a0D0pO"~8L'Qj?9bj?ӋwYwkv?P?ܽoeOOeC}1o/)lA+K.955ypݚi?ڊWu?ǫ[9^3:nn
^WSx<,~y|ܙsh%Ec/a/} }[pp4 hw&w1]Nc0ܝpwapϏS4{=i{)1SEc\j^p/[82qoex~e4Ǥ1<0<&11i?{REcx,ax,c c[4H56a0Äa4 i~.pÅ4G#h?GjH#4G
#iG%1oӋh~į36ZoA߯?ye^.888N]f_.n,EJw2y
ns-z]f_=B3ie*]I+.CH.]fNҹ2r
[/@e-Z/CnՊ}y2n2YؗWtkeSˬ)T:V\FMҥ2i2)e*I+.sPJZq3EJwuuKaLKX+.]fLҹh{;LEa!wwS흢0mmi{h{LۻDۻ`ޥn[4mjinѶ
mmmCmmm0mmۄiۦh&L۶D۶`ڶ%ڶӶ-Ѷmmmôm[mmۢm3Df0m`6môm.6i\mӶhmѶLm-Eۖ0m[-aڶm[m%ڶiJmӶjinvӴݪiۇhL>D>`!ӶOѶO}}´Sm_m_0mmiۗh7L۾E۾a-
Ӷh
m7ѶLnm7E0mavmô!iCӶhmOѶ'L۞mO=E^0m{`m{ѴݪiUMv0mmǀi;h;&L1E1aڎ)ڎ vLv,ccKآ0mmdži;h;6La0Da0m`mô.i;\vh;vLH#Eۑ0mG#aڎmG%ڎi;JEvVm7M-vvssC휢0mmi;h;L۹D۹`%vnvnssô[4vLi4D0maNmô.i;Cvh;Lv&LۙL3Eۙ0mg`mgn[4mjinv
kk]C]횢0mmׄih&L۵D۵`ڮ%ڮv-v-kkô][]ڢ2De0m`.mô]..i\]vh
vLLjҊiR] vhJvLU*DU0mWVm7Mۭn{{C0mmih'L=E=a%v/v/{{ô[ޢ0mm&niMvhvv;Lv;D0mw;`mw´)iS vh.vL].[4mjinvô=ϣkqV0oD$rsLAY}
&hi?'Qh?L'Qk?6'~lO~l簡0O"~'Qj?&9|j?fȴITڏy$Zڏ"o'wog=~hcj}1{Kڷfχ,ÿo[i_nŇ˝Ӄ˭;cý|L[1w>yAG;ړj6^ٺzϳ,.W_SHwLwJw6,]LI
K:#:#)ZqXAt:#ΦsV+uFSfb_g="tkuFc P댠t֊댠t kuFc P댠tkuFS:#1uF)ݖV\gҥ:#:#1uF)I+3HJZqJw:#N0mmi{h{'L;Eۻ`%..[4mjinvômCmmm0mmۄiۦh&L6E6aڶ)ڶӶ-Ѷ-mmm[mmۢm0mmۆiLmӶhm3ѶLmsE0m-`ڶm[m!ڶiBm ӶhmKѶ%LVm+DV0m[hnvӴݪiE>`!ӶѶ}}´Smm0mmiۗhL۾D۾`-
ӶoѶo}}ô&viMӶhmwѶ;LmwE0m{=`m{)iS Ӷhm/ѶL^m/TMvVm7M-ڎvvccS혢0mmDŽi;h;L۱D۱`ڎ%ڎvlvlccô[vh;0vLapE0maڎmG!ڎi;Bvh;Hv$Lۑ(DQ0mG`ڎRm7Mۭn[0mmi;h;L9D9`) vNvNss´K\\0mmi;h;7L۹E۹a-Ni;Mvh;
tv:LtE0mg3`mg!΄i;S vh;LvLY,DY4mjinvӴݪihL5D5`ڮ!ڮvMvMkk´]S]ZZ0mmׂih6L۵E۵aڮ-ڮ
vh2vLe2E0ma.mW]!ڮiLZ0mW+aڮmW´])ڮiJ]vh
*vMۭn[4mja!vv{{´S힢0mmihL۽D۽`-
vovo{{ô&niMvhvv;LvE0mw;`mw)iS vh.vL].D]4mjinvӴݢyŪI$>+O"Y}0tD$
DŽ{5Fȴ(9~lO"~lO~'~'k?IIq|ڏ o'woOmCTn}1{KnIc=27t]ά[֜?n=?V|nY❝Xqh)ܪ[QG[oO7iS?S|f{=8X_Ct5$]+ݜnn%rU=[#X֒V,bb%{Zb;;`!k
Ki5>apVxZ%kŹt֊piE$ҊVVZ!Ȃ&VTJ+a!kEVm7L6D6`ڶ!ڶӶ
ѶMmm´mSmmm[0mmۂiۖhL۶E۶aڶ-ڶ
ӶmѶmDf0m`>ӶhmsѶ9Lm-D0mJ+mKѶ%LۖmK-Eۖ0m[`>_ҊiJmEvVm7M-f2IӶѶ}}´Smm0mwiłiۗhL۾D۾`-
ӶoѶo`Ӷh
m7ѶLnmwE0mam{!iCӶhmOѶ'L۞mOD^0m{`Rm7Mۭn[4mh;L1D1`ڎ!ڎvLvLcc´SXX0mmǂi;h;6L۱E۱aڎ-ڎ
vlvLa0Da0mamô.i;Bvh֊mG)ڎi;R vha(vLQ(TMvVm7L9D9`!vvss´S}sa\0mmi;h;L۹D۹a->VlvnDi0m`Nm.>E0mamg!i;C vh;Lv&Lۙ,DY0mghnvӴݪiU
v
v
kk]C]횢0mmׄihL۵D۵`ڮ%ڮvmvmkkô][]2vLe2De0ma.mô].ڮiB]vh
v%LەJ+Eە0mW`ڮmW]%ڮiUMvmihL=D=`! lI:{{´K^^0mmi|wI+6L۽E۽a-
vh
6vLJZ0manmô.iC"`mw´)iS vhYiEݥn[4mjinH}V0pD"{|H}V0vD0xϱc}c}c=Ǟڏ
Iڏ
#IT!$Z1$
~a?a?B0C_߽ͺ[{7?}-OR;fݿc/wK̯?_R%|c^5h-ugƇ˝ug>?V>mx[u+1njA3߿LoD~Qu+?zkkom?s?%z|ڳgzۯv_/~?,~O7]/]I.ObeIVcw/)K+t%~]ҊHX+9a-H"CZkE
iE-X+jK+aVTZSZ֊6iE]ϭ1X1KmV+lIdF?`
IgVi,X+fK+քbmirX+hL۶E۶aڶ-ڶ
ӶmѶmDf0m`6mVhmsѶ9Lm-D0m[OeaHѶ%LۖmK-Eۖ0m[`ڶm
X+J4mjinvӴݢm0mm(V+|}Cmm0mmiۗh\ZD۾`%ӶoѶo}}ô[}8k`vm&vi]ӶhmѶLm=D0m{=am{´)iKӶhm/vӴݪiUMvcC0mmDŽi;h;&L1E1aڎ%ڎv,v,ccô[آ0mm&i;Lvh;pv8Lp#D0mGav$LۑH#Eۑ0mG`>`ڎmGn[4mja>ϭvvssS휢0m iłi;h;L۹D۹`%
vnvnհbô&Ni;Mvh;
tv:Lۇd
i;]vh;vLL3Eۙ0mg3amg%i;KEvVm7Mۭnkk]C]0mmׄih&L5E۵`ڮ%ڮv-v-kkô][]ڢ0m`.m]&.i\]vhrvL
+D0mW+aڮmW´])ڮiJ]vh
*vMۭn[4mhL=D=`!vvO{OY) v/v/{{KޢEkmih
6vLm6Dj
mô.ni]vha)iS vh.vL]c[X+J4mjinvӴݢ0$o'`c
H}V0vD0x~,O"~,O~lO0D0D0O0O~'Qk?S_8\ݟBT6/o3-w q{:!f4uϧHz|
9^1ao^?{L/7f~u x+Mms}շkTtvWK.nmm?ݗ{ůF}y{IVOe=ǻܾEŻܿų.*S\V-ոeK.*&SM\VŻEŻʽ3Z5.roVܧxxxNv-^Ѫqr?Ϥx)ոEŻ}wˊR=]Vi(aVp+ícx+V7>>h!Aca}
}S~.ip_41ܗ0ᾄi-?jUc}[Fc0܍p7apw݅4i{!1CIc0ܓpOa'p/ý^4{ ýpoex1McxaxccC4Ǥ1<0<᱄h%Ecx,axlcc[0axa0Äa4i.1iX4107ὅm4 &o1]Ncx0vax;sLF;hw)1SIcx08Vw%1K82qoex>ßqV4H"QD
sLY8~"ϊ$FiiI
'kI'RkI6
'֒lOВl簡%1O%1OԒsԒGWw~ָ8~{Ox)C};b˷-ċW{u{i}
:_^/^Ø˭u_~7fƫ[[xu+GG[1zǟo?sܯVp:Og>4pU?!ވ7זx6i%^&-^s57,SYTc{H5OoK5ӪSV
R
[jI5,hհjU!sMTÓV
oFZ5bI5hՈjDѪ-IFnF:R,Z5jH5jѪQ&ըURQMFOFoZ5ڥj066h!Ac
aUæ0&6e[p[4ۢ1ܖ00V-Mcmammh7n&71LnNc0ܜpsa9p-4[-h[n)1RnIc0܊p+aV1cx+1܇0>>h)IcOaO}
ϟiXp_41ܗ07ᾅi-Mcoanp7݄n4 iw.w1CAc0܃paԓj$pO=^4{ ýh{~>cx+V711h!Ac"pGcxLaxLc
cSXX4cƢ1<0<6᱅i-McxlaxjR
1$ݻ߬5nN}ӷ?BO>~HoǴM_msu|}//8z
endstream
endobj
8 0 obj
<<
/Type/Page
/Parent 4 0 R
/Resources 3 0 R
/MediaBox [0 0 595 841]
/Contents 7 0 R
>>
endobj
9 0 obj
<>
stream
x]ݏ۸߿/fW %iwe^MAϯ,,r:"Z.7$nj>f͵Mapf[ݳ+ʤ0mþ{^)߇ǿ~8<){tϿױ'_ވ^Oױ맿cȦ>= mSI2фַnwٳg7?7ϟ^`ϚFbo¸၂]7wCSMܴMͼT;ki9_טs9]#vMn:x dJ@nRpϴW?`'(
14OCY/~$Efd#9͆A5yzע-lz
HWpk}^hY} 0Po^wb`SU~H=n{Jσ`eG2mLhu]iX--dPABhrμ2[9!#ym߹]#A8sWx`Ov_?(`Ĭ^(5k