, (CASE-) . , , .
:
- , (. 1.4);
- , ;
- ( ), .
. 1.4.
, , , , , .
, :
- ;
- ;
- (.. , ). , . . , ;
- (3-7 ). ;
- . , . , , . , , ;
- , , ;
- ( (), , );
- CASE-, , . CASE- 4, CASE- - 5.7.
, (, ), . :
|
|
- ;
- ;
- .
:
- () ;
- , : ( ), , , , . .;
- , , CASE-, . .;
- , : , ( , ..), . .
:
- , ;
- ( , , , ..),
- , , ;
- , ;
- CASE- .
:
- ( ), ;
- ;
- ;
- ;
- .
SADT- - , . , , , . - .
, , , . . , , . .
|
|
, . , - , .., , . , .
SADT , , . . . .
, , , , , .
. 2.2. SADT-.
2.3 - 2.5 .
. 2.3.
. 2.4.
, . , . . . , .
SADT- , . , , ( ) . , , .. ( 2.5).
. 2.5.
, ( ) , . , , ( 2.6).
. 2.6.
. , , , . , .
, , . , 21 , 1 2. , 2 2 0, . 2.7 .
. 2.7.
SADT . :
SADT.
(0) : .
, . , SADT- . 2.8.
|
|
. 2.8.
(1) . , , , .
(2) . , , , , .
(3) . - , . - 2.9.
. 2.9.
(4) . , , / ( 2.10).
(5) . , , . , , - ( 2.11).
(6) . , . , , , . - , , 2.12.
. 2.10.
. 2.11.
, 2.12, :
C = g(B) = g(f(A))
, . , 4-6 , .
. 2.12.
(, " ") | |||
(, " ") | , - | ||
, (, " ") | , | ||
, | , | ||
, | , | ||
, | , |