w w w w w w
-, .
, , , .. : , . , . .
4.1.1.2.
. , . , , .. .
Case*Method, [11], , , . , :
* , ()
* ()
* .
, , - .
IDEF1X. IDEF1X . , , , - - -. : - , . : , - . , IDEF1X .
|
|
. 4.5. |
, 4.6. |
. : , , , / . , , ; , , (. 4.5).
. 4.6. , |
_ _ _ |
|
, ( ) , .
, .., .. [15]. , - , . () - , . , , -. IDEF1X.
:
;
, , ;
, () .
:
1. ,
.
2. ( ) :
;
.
|
|
3. , (, , ).
4. .
5. .
. 1. ( ), .
:
;
.
1.1. :
;
, .
, , .
, , , .
, , , . , .
, :
;
;
.
1.1.1. , .
;
;
;
, .
.
:
;
;
.
: ; ; ; ; ; .
, , . : ; ; ; ; .
, . , , , . .
, .
|
|
1.1.2. , , () , (). - , (, max, min, , ..), , . , . :
- , ( ). ;
- , () , . , . , .
1.1.3. . , , , () . () . :
, ;
(, ..);
.
, . , , .
1.2. :
;
;
;
;
.
1.2.1.
, , :
;
() ;
, , ;
, , , , ;
, , , , ;
, , , ( , ).
|
|
() :
;
.
( ) . (, , , ) . , . .
:
;
, ;
;
.
:
- ... - ;
, .
, , :
, ;
.
, , :
;
.
1.2.2.
:
, , ..., , ..
, , , , ..
, .
:
, ();
(), ( );
, ;
, , ;
, , , .
:
, ;
, ( );
, , , .
- . , . , , .
1.2.3. :
;
;
.
, , N, N.
, :
|
|
;
, ;
.
, : ( ), , 1.
, - , , :
;
;
.
, . , - . , , , .
:
=, ( Dl = D2); <, (D1 D2);
>, (Dl =) D2);
, (Din D2 ^ 0);
+, (D1 u D2 ).
:
1) , .. .
2) , , , .
, .. , ( ).
, : , .
. , , :
( );
, ();
;
, , ;
, , , ;
, , .
, , , . (, ), , .
2. :
;
;
.
2.1. , . - , :
, , , ( ), ;
, .
2.2. , , , 1:.
2.2.1. , 1 , , 1:, :
;
, , ;
.
2.2.2. , 2, , 1:, :
, , , , ;
, , ;
.
2.2.3. , , , 1:, :
, , , , ( ) ;
, , , 3- ;
, , ; , , , ;
.
2.3. - , .. . , , .
, , , ,
nlt>nlk + m{l, + lk) ^
- ;
- ( );
- () ;
h
- ,
^t - ^ 1 ^0 , 5 10,)
5 nlk > nlk + 6 mlk
/ > 6/4
.. , , , .
(S) , , :
. S
(2)
T2j- , i-
,
d - , , : ltSri > lkSn + m(lt + lk).
^ 5/£,to:
.. , ..., ( , ( (3)) ,
3_
, , 4 * - -
).
3.
. , . , :
;
-
, ;
(3) |
2 riS> |
Ż, - J=i |
, , , , .