-.
- - , - . - , [9].
, - [11;10]. .
- . 3.4, -.
3.4. -.
- : , . , Rational Unified Process, .
(facts) . -. . - , . , , , .
:
-;
;
;
- ;
;
( ).
(constraints) , . , -: / , / , .
:
10 ;
, 12 ;
, ;
24 8 ;
18 ;
.
, , . , , , .. , , -. , . , 90 30 .
|
|
(action enabler) -, - . . , . < >, <- > , .
:
, ;
, , ;
, , , ;
, ;
, , ;
-, .
(inference), , . . , -, . , , .
:
, ;
, , , c ;
, ;
10 , ;
, , .
(computations) -, . , . , , , , . - ; , , .
|
|
10% 6 10 , 20% 11 20 30% 20 ;
Opel , , , , , , .
. , . . , - , . . . , . - , , [10]. -, , :
, ;
, ;
, ;
, ;
;
, .
- , . , -, .
-
- , , . , , -, . , IBM Rational RequisitePro.
, , , , , . , , , , .
, [12] - . (Object Constraint Language - OCL), UML.
.
, 10 . OCL, : context Team inv: self.numberOfMembers <= 10
|
|
, , OCL, . , . , [12] :
- , , :
10 .
- , . , .