!"
#!$!%&
'())#!#
*
+,#+-.!/0/++,
1
/
1
2
1
1
1
!
"
1
!
-
1
#
$%%&'
(
)
3
1
*
2
1
1
+
1
,"
-
,
4
1
.
/0"
!"#$
%
!"&
#$'
(
)*+,-'./
#!! /!"&
0
123,2
4
$
,-'. #
/
$
+
*+
/
0
1
1 2
1
1
1
,
33-
5
!"#
$
%%%
9
9
77
%
9
778
9
977%
:';<=
77%
%
6
&
'
(
5
6/
&- 7#."%$85 **859:-8*;8<898*55
&- 7#."%$85 *;859:-8*;8<898=>55
<#$
#85 ;859:-8=8?898=55
#$
?%85 =859:-8*@84898;@55
A
4$85 @859:-8B848#.C98=55
5
6/
+
1
1
1
1
,
33-
$
%%%
97:<%7%=
97:<%7%=
'
>97:<%7%=?
97:<%7%=
97:<%7%=
9'!<%7%=
'%
%7%
7%
/
#"
)"*
+ ,-.
97:<%7%=
97:<%7%=
@!%
97:<%7%=
97:<%7%=
9'!<%7%=
@%&
>
7%?
-
/
)
0
1
,
#"
!"!#
$
%
&'()
*
3
1
4
,!.1
1
51.51
1
!(61!) ,!.1
1
1
,
33-
4
$
%%%
(AB::/5
C
7D&(%:6
.@!
(
:3
EF
'%7;
'
G7%H
,
234
1
7
8
1
$&"
1
9
1
:
0
536)
'
"
1
:
5
1
;<
2
1
1
! =
>
2
2
;<
2
! -
2
?
-
6
#
00
7
''%%
1
1
;"
<
2
(
*)
2
;
!
2
2
!
/+
+
'
/
4
'
//
,"
-.
1''
"
2.3
λ#$
/
0
!
!
%&$
%&
$
((
!'
$
$)*
++
/-
7
1)
8
+
1
1
"
1
5'
-
1
'
/3
,
"9
!
7
'
1
1
'
332
3()
2
;2
1
(3)
/4
+
):;
/,
<$
04'"%56
"%&
6.1@A
1
@A
?
2
? 2
/0
/5
+<$
1
.? IJ<
$
;
7
$
8
=
+<$7!
1
1? GFH
F;
GF HG)F H
GF HG)F H
F8
G)FH
/6
=
'
+
1
3
' 322B 1''
5
4
%"
-+
F;
F;
F8
F8
GFH
GF HG)F H
GF HG)F H
GF HG)F H
GF HG)F H
G)FH
GFH
GF HG)F H
GF HG)F H
G)FH
!"#$ %&$' %&(#)
!"#"$ %&$' %&(#)
$
;
$
;
$
8
$
8
IJ<
7
=
-
IJ<
'I“”JK
7
'I“8”JK
=
*
!"#"+(+(#)(#)
*
!"#"+(+(#)(#)
-/
+
'
1
83
1
6.1
1
1''"
--
#
<$
1
(C)
1
1
1
-3
-4
!
1
D
"
1
D2
"
1
2
D 2
D
2
D
2
"
(2 )
2
@
-,
49+
'
-0
7
1)
8
-49
1
'
.<$
1
()"
1
!
2
2
3( ")
,
3
(
" )
-5
70
4900
1
A'# 1
!
"
1
2
(
" )
2
(
" )
" -6
49-49.00
9
9
9
%:!:
C:!%8'
9<L=
9
977%
:';<=
3+
49-49.00
&
97:<%7%=
97:<%7%=
97:<%7%=
%:!:
F@
:
:!%8'
9<L=
97:<%7%=
9'!<%7%=
3
4900
/
(AB::/5
C
7D&(%:6
.@!
(
:3
%:!:
C%
%%:7
7;'
3/
4900
G%H
G7%H
GHGH'%
;
G)HGH
G)HG)H
GHGH
G)H
GHA::
/5G)HG)H
GHGHC
7
D&G)HGH
%:6
G)HG)H
G)7%H
EF
G)%H
3-
#
4970
1
(E 1B)22B 33
'
*$
77
%
I>M &<L=?J
9
9
9
I>9<L=?J
9
778
977%
:';<=
8
77%
%
'
)!
34
77
%
I>M &<L=?J
9
9
9
I>9<L=?J
9
778
977%
:';<=
8
77%
%
3,
0
'49
7
49
1
; <
1
2
1
2
1
"
30
'
&
*
97:<%7%=
97:<%7%=
F@
97:<%7%=
97:<%7%=
9'!<%7%=
@#8
8
%7%
7%
35
0
'49
&
1
1*"
2
1
;
( "
3)
1
;
2
1
D 36
'
/
*
(AB::/
C
7D&(%:6
.@!
(
:
$;NF
EF
7
G7%H
4+
0
'
'
1
1
+
2
,!.1
2
!
,!.1
2
1
<F
4
'
03)70
1
1
"
2
13"
(2
)
2
*
(
)
"
2
A
"
2
!
3F
4/
6
=
'
'
1
D 1
1
,
1
!
"G
"8
'
< 43
4-
1
!:" 1
=>
2
C
2
2
44
1
1
4C
1
:'>!<
H
4,
))
8
'>
73<
%!
97:<%7%=
97:<%7%=
F@
97:<%7%=
97:<%7%=
9'!<%7%=
%7%
7%
40
"'
-+
.
1
1
1
!
2
,"
3
2
;
2
#
2
3
D
"
2
!
45
"-+
.
1
1
!
'
2
42
"
"22
2
;
2
"
!
2
!
"
7
''
"
,+
46
7,'
4
0
1
1
"
#
@
1
'
7:
"
"
2
7:
,
"7,
1
1"
#
@
1
'
2
%;
"
"
,/
"
1
1
1
!"
1
7:
7:
,-
"
%!
O
7:P
%;I
!'J
;
O
%!
P
%
:'
!
O
;P!
,3
",
#
"
1
!
1
2
#
2
2
8
,4
49
'
"3
1
(22)
2
"" "
2
2
""
1
""
1
2
:
,,
49
'
"3)
1
2
1
!
1
2
!
2
4
!
8
!
,5
,0
1
1
!
3"
2
* ()
(,)
,6
'
1
!
2
1
!2
2
""
!
"
0+
"
8
!
0
*
1
2
1
0/
)
7
0?
.
.%%
A
%
%
8'
A
!%
Q%
''
0-
*
**
7
1
1
2
A22
2
42
2
"
"
!
03
&*
1
!
2
1
!
2
$2
(
)
2
G2(
3
)
2
(
#*)
2
D
#
9
-&**
.
9<9IL9J=
04
77
%
77
%
!"
%%
77%
%
0,
6
'
-&**
.
9<9IL9J=
%
%%
#$
9%7%<9IL9J=
%7%
%
%%
'
!7
00
-&**
.
97:<%7%=
L
9<%7%=
%%
%7%
7%
%7%
05
-&**
.
97:<&=
LR9IL9J99
9<&=
%%
!!'
'
$
06
*
-
.
1
"2
3
2
!4!
2
!4!
1
"
3
?
1
2
'
2
'
5+
3
640
0
Requirements aspect
Core
(Algorithm)
Architecture aspect
Op
Op
Op
Testing aspect
Op
Op
Op
Consistent
roundtrip
editing of views
Testing
Architecture
5
"
'
!"
5/
#
''
7
5-
0
'
1
1
+
(
#1)'
2
2
+
2
8
;
+'
2
1
D "
( )
+2
'
2
C?
53
)
40
0
1
!
2
2
1
+
IA"A
5
2
2
*
54
"
1
1
D
" 2
2
!
2
4 2
8
5,
4
50