(reactive system) . [86] -, . - : , .
( ), 4. (, ). , . [87], , , - , , , . UML.
. . , , , , ( ), . . 6.3. , . , , , (), . . , . -, , , : . ,
. , . . . , . . 6.3 y1 Y2 , .
6.3 . : (), , . .
, , . . 6.4 d , : b , , . , . 6.4 .
|
|
, . d . . 6.4 - , {, , .
-. .
. 6.5 {, , , ( , ). , , .
. , , , . , , . . 6.6
, . ( ) , , . -, d. , , , .
- IEEE 802.12 (. 6.7). , . .
. , . , , , . , , . , , . . ( ) . , , .
, . ( , - ) , , . , . .
|
|
, . AnyLogic .
6.3. :
, .
, , : - (), ( ), (), () ( ) (. 6.8).
, . - .
:
- ;
- , ;
- ;
- ;
- .
Pedestriancross Model.
, , Model . Model . -
, statechart. traffic_light (. 6.9).
traffic_light ( state) , , (. 6.10). , , <F2>, .
, , , ( ).
( , ),
, , . , "" .
, , , , -
. , ,
. , -
, ,
, , . -
, -
. . . -
,
.
(. 6.11). go ( ), attention ( ), slow ( ), stop ( ) ready ( ). attention : ( ), ( ). .
|
|
, . , . . , . g 25 , 7 , 4 slow, 20 4 ready. : 1 .
, t1, , 25 (. 6.12). - . 1 (1 , 1 -). , ( ) .
. , - root. - . - . Pedestriancross1, Model Examples\Part II.
: , ready . . Model. (boolean) red, yellow green, , "": , (. 6.13). : false.
, . , go , - stop ( ), ready . . .
go green=true;, green=false; (. 6.14). , , ( false). , slow , . . yellow true, false. stop red, ready red yellow true false .
|
|
. root green, yellow red ( 1 0) -.
AnyLogic (. 6.15). -, . -, 45 ( ). : red , color.red, Color.gray (). Java:
red? Color.red: Color.gray
, , :
yellow? Color.yellow: Color.gray green? Color.green: Color.gray
, color Java, a gray , .
PedestrianCross2. . . 6.15 ready. go , .