- , (.7.1,7.2). .
. - UML.
. , ( ).
:
- ;
- .
(State machine) , . (Interaction) .
, , ; . .
(), . .
:
- ;
- .
:
- ();
- .
, , , . . , . , , .
, . . .
, , . .
, .
( ) , , . , , .
|
|
. : , . , .
. , . , , .
, ; . , .
, . .
, . , .
, , . , . .
:
1) ;
2) , ;
3) , .
UML , - , . .13.1, , ( ).
.13.1
(. .2).
.13.2
, . , . , , .
, .13.3.
.13.3
, , .13.4.
.13.4 -
.13.5 .
.13.5 -
, , . 10 ( after (10 sec.)) ( ()). () , , () . 5 after (5 sec.) (). ( ), . ( ()).
|
|
, , entry exit .
, .13.6, () , ().
.13.6 -
, , , do. , . , ().
. . , , - , , (. .13.7). (guard condition), , - .
:
1) ;
2) ;
3) =true , .
.13.7
UML . . , . .13.8 , .
.13.8 -
.13.9 .
.13.9 -
: , : , , . , . . .
. (concurrent substates) , . , . , .
( 1 3 .13.10).
.13.10 -
, . . , , . - , , .
|
|
, . . . .13.11, .
.13.11 -
, . , . ( ) . , . , ( ).
. , , , , . , -. .
.13.12, , ( ) , .
.13.12 -
.13.13
.13.14
UML , , .
, . , ( ), .
.
:
- , , ;
- . , , ;
- , ;
- . ( ). ;
|
|
- . , , , ;
- , ( ). UML .
, . , . , . , - .
(. 5.15), .
.13.15 -
( ) , . , ( ), . - ( .13.16).
.13.16 - -
, .
. .
, :
- ( ); , ( ).
- ( ); .
- ( );
- ( );
, ( ) ( ).
- ( );
- ( , ).
.13.17. -. . : , , , .
.13.17
, . , .
.13.18 -
.13.19 -
.13.20 ()
. . , , .
. , . , , . , , .
|
|
. . .
, UML- (. .13.21-5.22). .
.13.21 -
.13.22
, (. .13.23).
.13.23
. . , , . , , .
, . . . :
global - - -;
local - - -;
parameter - - -;
self - , .
. () . , (), . .
, . .
. UML :
:= (),
, .
( ), -, , , . . . , . , ( ).
( ). .13.24, .
.13.24 -
2.1: : = (3) , 2: (3) , 2.2: () . . : , . , 2.1 2.2. , . , : .
. .13.25, . , . . , , , . .
.13.25 -
, . . . :
- ( ) ;
- , .
- .
, .
.
*[i:= 1.. n]. , . ,
1*[i:= 1.. 4]: (i)
, : [>0]. , : [<=0]. .13.26.
4 , ( ). , .
, :
1) , ;
2) , ;
3) , .
.13.26 -
( ).
.13.27 .
, . : . :
- ();
- ();
- ();
- ().
.13.27 -
. :
- , ;
- , .
.13.28
( ) -.
.
. , . , , ( ).
, , X, , Y.
.13.29 -
.13.29, , , , X. , , . , , Y . , . , .
.
. , . , . , . create. , . destroy. .13.30, X :
.13.30 -
. , , ( ). , . , . (, ). ( .13.31).
.13.31 -
. . ( .13.32).
.13.32 -
, . ( .13.33).
.13.33
.13.34 -