Feb 4, 1999 - N is translated to the OCL expression obtained by successively calculating t ra n s as follows : 1. Sequence {l . . l} - >iterate( iже Integer vals l ...
"!#$%&'()* ,+-. / +0"1324+513 6& /7 58 9%:A@%BDCFE =>* F¢ ¡ >¤£):¥u¦J§* V:©¨Cª@%«A>* VE
OI & !,/Z(? " $ "%8aiG7Q! (R! QV(KC!4%0[ -0E1E!,iBDC+,! /Z " (R%0[ -VGo%'EFH 68%'& %8 | j!4- &)A+ C!,7+ &)(4B8- EF7 % [4!KH Go@ 5;7BAC< " $7D d [`7+ !,C+qA-0!@-(*! +,7) j!,7+ ! %?k
e
¾u fRº¾e%uJµ¸ve¹JReÂ%(uJRJR¹v jhZ e u¾ fRºT¾v n Z% gªV»V¼V¹RReÂ%(TT¼\[F-q s
]$ 7%$t y/e(-R[` -0!,7+ ;-'( (K% j/Z- ! Aik? " $; H G ;$?p- &)A+ GEZ-' j/F&6 3;7;2c H 4 " d R/1&%'+.A2C+ ! %C&)(*7Q+ ;! )- !-0E1E>! ;/F&P(*!.- &) j (% F [ G %$? g-0+,;+ - E>! + /e-0&6'EF (
»ª¼áeºªRä(K 7QC&) j (p-0&)A )-06W(m=@?xk
©%8+ az-0EFE1Hi! QC&>?)/U[ "%$A& $ dCdCd $ 5R-0+,-0EFE! Q-0! !,+ /17! 4&P-0ai (7P(* A[`%'+R)%8! P -0&)AbRn? Phn R:/ZZ ( S = y ( 9 Ph@R=.?2k
/e(;-zGQ+ /Fa]/F! /1BDR%8G)C+@-0!,/F%8&:[`%8+g j%8E1EF "! /F%'&)(;9u(*|7&) j ("? )-06W(h- &)A(*!.(m=s/F&$#
t ;7 ?'BDC+ /~_) ( !,R[`%8E1EF% kD(*/1&) jRknRA2%4&Q%8!
] 7:5A7:>L0=?T2B
¹V¾TRRJ¹v¸¼v¾euÂ%(TRRJR¹á j ?¾R¾TRVvFÂTpZF»s
%8ai A2C+ /1BD A%'Go+.-0!,/F%'&)(yP-|BDg- EZ(*%-4+ G+ (KC& !.-0!,/F%'&/1& $#L0=?T2B
k
E
/Z(
wz
(;57$ 9 3% . ("$'9$
F -0!@-ya - &/FGQ7EZ- ! /F%'&REZ- &687P-068|(x&%'+ a - EFE1H
=
P
s#! r
¤ d /U[_R(,-0! /e(O_)|(R9 c =s-0&PAY9u¢D=.?!,C&P
s
R
d
h!,+.-0&P(*/F!,/FBD; "EF%D(K7+ g%0[n-4+ EZ-0!,/F%'& C- &&%8!)hCf G+, ( (K A/1&+,CEZ- ! /1%8&)- E-0EF6'C+@-%8++ CEe-0!,/F%8&P-0E C-0Ee j7EF7P(jr)(* pR8¤ ?)^\$|0 d Qh! +@-0&)(K/F!,/FBDg jEF%W(*7+,h% [n-+ EZ-0!,/F%'&V/Z(%' j!.(S% [A2/U5C+,C&2! jEZ-'( (*|(j?DEF/1D-0&/F&)(K!.-0&P j^% [ M3 " O] j%8& !.- /F&/1&6-0& /1&)(*!@-0&) j;% [9u-(*75 jEe-8(,(^%0[!,g-0)(K! +@-8 j!p jEZ-'( (.=SM " ? d Q4(*7Q)(*C! 9 k
^EZ(K%V! Qi- EF68%'+ /1! a j%8a]G7! /1&6 ! ]! +.- &)(*/1! /1BD jEF%W(*7+,i%0[ )-8(h!,%V) -8 j%8+@A2/F&6'EFH-8A- G! |A k
C+ 4/e(R(*!,/FE1ES-iEZ-'(*!R 7+@A2EF4!,% (*7+,ai%87Q&2! d 7 /Z( 7)(K!;-iai&Ca]%8&/e ^k4)-CBDg7)(* A5? ! )- !;)-8(R! % o+ GEZ-' j A H ! Q-0EF6'%8+,/F! Qa ! P-0!g j%8a]G7! |(^/F!?>(*/1&) j4k -0&&%'!;7)(*]-iB8- + /e-0E1 d 7V% j7+.( ! +,CV!,/Fai (;/F&M!, - o% BDq! (K!i%0[;&Q%8&2TN+ j£PCf2/1B2/1!KHD?- &)A kqk%'7EZA E1/FDi!,% C-0Ee j7Ee-0! q/F!%8&E1H %8&) j d XV%8+,C% BDC+C?/U[k]+ CGEe-8 j -' m%'& %0[p! ]! +,C% j7+ +,C&) j|($%0c [ 7:/F&! i!, (*!}-0)% BDD? ! C&:kz C-0&&Q%8!h) (K7+ ! P-0!h|-8 ./F&)(K!.- &) j%0[! Qi(K 7QC&) j/Z(R D7)-0E!,% -0&Q%8! QC+4%8&W?S-0&PA /F& G)-0+,! /e j7EZ- +
IO&Ee-0&6'7)-06'V/Fa]GEFCa"&2!@-0! /1%8&)("?!,[`%8E1EF% k>
/Z(>(K j! /1%8&g-8AQA2+ (,(* (>! Qx7Q+ /F&Q6R j%'aiGE1C! C&Q ( (%0[5;#B'-0E17 ?>- &)A!,)-0!R!,h+, (*7QEF! 9 "*$()()() $ 5C=S/e( (K! %'+ A/1&i! Q^B'-0+,/Z- EF -|[`! + f2 "7! /1%8&%0[! Q^G+,%86'+.-0a d RB'-0E17R-'( (K/F68& T aiC& ! / $/e(y/1&2!,C+ G+,C! |A-'(^7)(K7)-0EN? ! )- !R/Z("? ! Qh&Ck B'-0E17h% [n! gB8- + /e-0E1 /Z(!
Tw B8- EF7%0[ /GEF7P( d Q^B'-0E17p-8( (K/F6'&aiC& ! / c /Z(S! &%'&2Tu&QC6D- ! /FBDp(*7Q! +@-8 j!,/F%8&w?!,)-0! /Z(j?/U[ G / !,C&:! &CklB'- EF7%0[ /Z( %'! + k
! +.- &)(*Ee-0!,/F%8&t¨ V1TD¦ #"9
-0&)A 6i- &)A/e(
/
4A2CG)C&PA(R%8&.
V ¨VHDT ¦ #.9 $ = 4 : 7%%7JA : r]$7%?; $ : 5E%$JA ]$7%?;D 5E ;$ 4 $ : t X I 7_;$ $ :t ;OO;$ AH: D t $ :t ;OO;$ AH:D %$t4 D
/U[_mG6)?! QC& ¨ VHTD¦ #.9
/z 1$ = 4
/U[_mq6)?! QC& ¨ VHTD¦ #.9
/z 1$ = 4
: 7%%7JA : r]$7%?; $ : 5E%$JA ]$7%?;D 5E ;$ 4 $ : t X I 7_;$ $ :t ;OO;$ AH$ : ;7BA 6 3D D t $ :t ;OO;$ AH:D %$t4 D : 7%%7JA : r]$7%?; $ : 5E%$JA ]$7%?;D 5E ;$ 4 $ : t X 6 7_;$ AH$ : t at5#;E;$ JA r1DD ;OO ;$ A/: D %$ " $BAH$ : a5E%$ 'A E 6 DD ;OO ;$ A/:D t $ :t ;OO;$ AH:D %$t4 D
A D A ED
9 %8! /e jS!,)-0!zOqc6R/Fa]GEF/1 ( c - 6)?0!,C+ "[`%8+ /F!>ai/168 ! )/F&) j%'+ +, j!>! %(KG) -0;%0[P! (*7Q)(* D7C&P j;%0[F$ : t ;(*!.- + !,/F&6]-0! a¢-0&)A C&)A2/1&6-0! 6)?)(*Cg(*!@-0!,CaiC& !
V ¨VHDT ¦ #.9 c" $ = 4 : 7%%7JA : r]$7%?; $ : 5E%$JA ]$7%?;D 5E ;$ 4 $ : t X I 7_;$ $ :t ;OO;$ A 4 : r7_;$ +: D t $ :t ;OO;$ AH:D %$t4 D
/U[_mG6)?! QC& ¨ VHTD¦ #.9
/
$ = 4
c
: 7%%7JA : r]$7%?; $ : 5E%$JA ]$7%?;D 5E ;$ 4 $ : t X I 7_;$ $ :t ;OO;$ A 4 $ :t ;7BA 6 D 7_ ;$ +$ : t 7Ax6 D ;$4 D t $ :t ;OO;$ AH:D %$t4 D
/U[_mq6)?! QC& ¨ VHTD¦ #.9
/
c
$ = 4
: 7%%7JA : r]$7%?; $ : 5E%$JA ]$7%?;D 5E ;$ 4 $ : t X 6 7_;$ AH$ : t at5#;E;$ JA r1DD A D ;OO ;$ A 4 : I7_;$ t +: D %$ " $BAH$ : a5E%$ 'A E 6DD A ED ;OO ;$ A/:D t $ :t ;OO;$ AH:D %$t4 D 9u C+ g-06W-0/1&Vkg-'( (*7Qai;! )- !^!,4(K7)(*|7&) jIA ; D %0[ $ : ;(K!.-0+,! /1&6i- ! c -0&PA C&)A /F&6}-0!Z/Z(SCaiG!KHg/U[ 4 ?-0&PA! )- !!,;(*7Q)(* D7C&P j A EtR D %0[S$ :t (*!@-0+ !,/F&6 -0! a¢4- &)AC&PA2/F&6- !R6/Z(Ca]G!KH4/U[_i c
4 6
d=
v $ = 4 `
5E3%$ Jh: ;7At 3D t7;%7 A I]$7 ;?% 7%%7 " +a ?$ " : (s " ^5E%$JA ]$7;? D : ¨VHDT ¦ #"9 $ c = D
¨ V1TD¦ #.9 ``
``<
E `
< ?S- &)A _P&/F!, j%8E1EF "! /F%'&)(h- + "EF%D(K A7&2T A2C+h!,i%'Go+.-0!,/F%'&)(a]C&2!,/F%'& A -8(h!,/F+@AYG)%D(,(*/FQ/FEF/1!KH d J7!?%8&!,i%8!,C+4)- &)A ?! [` -0!,7+ ]$ 7%$t -'( (*% "/Z-0!, Ak! %p\RXY3 c8d1c !Kkn%-8A2B'-0& !.- 68 ( 7+ /1&64a -' m/1& d F 7! % ! - aQ/F687Q/F! /1 (j?5(*%'aih/1&) j%'&)(*/e(*! &) j/F|(R-0&)A ! Q4EZ-8 .V% [[`%'+ a - EF/F!KHi% [
\$
s
J^# ;J
80}X d J/eA2%8/1!C?o# d #Q%8GG HD?)J d R+,/FC6 TKJ+7) .2&QC+C? dFgd XV%D( (K (j?)- &)AV© d %8/e(*/F& d # %8& T j+ ! (*H & !.-0fh[`%'+^#n 3iTCf- aiGE1 (x% [(*!,+ 7) j!,7+ |A(KGo| j/U_5 -0! /1%8&)("? ©P+ 7)- + H c 8 8 d ^B'-0/1EZ-0QEF;- L ! _77O 9a % N ;- &)A'8 - & JC( vC/1B2/1&>? A2/1! %8+@(j? V,§ ,\. . / Z)¦ ($#}§ R)* ,+ "¦ ¨ . V"¦T8¨ Z§D¦T §V!*#-+Q§ @U +Q§U#. V1TD¦ ,\. - U ¦ .. 0/ 1 ,,+ ?2GP-068|( c ¤ c ¥Wª d L RIKX?XV7QEF%'7)(*D?Q©+.-0&P jD? c '8 d
'0
JC+ &PA} (K! C+,C/Z . d 0{.2 ¨N§Vh.m¦2¨"h.WVm¨/. 5§ R"¨ NTVW. ."¦2¨ .- Z¦ ( TD)¦ (UT*(. d EeA2C& o%'7+ 6Q? c ' d
( DC
vCQ0
L(*C&MvC'-0+@-0)- & d R-0E1Eu? c 8 d
,3 U2¦)(YF¨N/.WV S¦ $9. /4 :§0/
T8¨ T T$#. @T,-+CZ¦ . #-TD¦/) T8¨T T$#.' TD¦T*(. ". ¦ ¨ d S + C& ! /e j
^
