. , ( ). UML [8], [23], [41], [53], [67]. , .
:
q ;
q .
(State machine) , . (Interaction) .
, , ; . .
(), . .
:
q ;
q .
:
q ();
q .
UML, . , , . , . .
:
1) ;
2) , ;
3) , .
UML , - , . . 12.1, , - ( ).
. 12.1.
(. 12.2).
. 12.2.
. 12.2 : , , , .
, , .
:
< 0 () after (5 seconds) when (time = 16:30) | ( ) |
|
|
:
. () flt:= new(p); .() send . |
send.
, . 12.3.
. 12.3.
, , . 12.4.
. 12.4.
. 12.5 .
. 12.5.
, , . 10 ( after (10 sec.)) ( ()). () , , () . 5 after (5 sec.) (). ( ), . ( ()).
, , entry exit .
, . 12.6, () , ().
. 12.6.
, , , do. , . , ().
. . . , .
. 12.7.
. 12.7.
:
1) ;
2) ;
3) =true , .
. 12.8. , , .
. 12.8.
UML . . , . . 12.9 , .
|
|
. 12.9.
. 12.10 .
. 12.10.
: , : , , . , . . .
. .
, . . . . 12.11, .
. 12.11.
, . , - . ( ) . , . , ( ).
. 12.12, , ( ) , .
. 12.12.
, . , . , . , - .
(. 12.13), .
. 12.13.
( ) , . , ( ), -. - (. 12.14).
. 12.14. -
, .
. .
, :
q ( );
q ( );
q ( );
q ( );
q ( );
|
|
q ( , ).
, .
.
, ( ) ( ).
. 12.15. -. . : , , , .
. 12.15. -
, . , .
. , , . . , . , , . , , .
. . .
. 12.16.
. 12.16.
, .
:
:
: : : | ( ) (, ) (, ) |
: =
:
: = "7350-420" = True | , , |
. . , , . , , .
, . . . :
|
|
global local parameter self | - - - - - , |
, . .
. UML :
(Send) | , create , destroy |
UML :
:= (),
, .
:
:= (1) () () create | , |
( ), -, , , . . . , . , ( ).
( ). . 12.17, .
. 12.17.
2.1: : = (3) , 2: (3) , 2.2: () . . : , . , 2.1 2.2. , . , : .
. . 12.18, . , . . , , , . .
. 12.18.
, .
.
*[i:= 1.. n].
, . ,
1*[1:= 1.. 4]: (i)
, : [>0]. , : [<=0]. . 12.19.
4 , ( ). , .
, :
|
|
1) , ;
2) , ;
3) , .
. 12.19.
( ).
. 12.20 .
. 12.20.
, . : . :
q ();
q ();
q ();
q ().
. :
q , ;
q , -; .