Page 99 - 6602
P. 99

Рис. 6.13.  Різні варіанти переходів в складений стан і із складеного
                                                          стану

                                  Інколи  бажано  реалізувати  ситуацію,  коли  вихід  з  окремого
                            вкладеного стану відповідав би також виходу із складеного стану. В
                            цьому  випадку  зображують  перехід,  який  виходить  з  вкладеного
                            стану і перетинає кордон стану-композиту (перехід с на рис. 6.13).
                            Аналогічно, допускається зображення переходів, що входять ззовні
                            стану-композиту в окремий вкладений стан (перехід b на рис. 6.13).
                                  Перехід d є внутрішнім для даного стану-композиту і ніяк не
                            впливає  на  вихід  із  стану-композиту.  Вихід  з  даного  складеного
                            стану також можливий при настанні події e, яка приводить в його
                            кінцевий  стан,  а  з  нього  –  в  стан  Е,  що  знаходиться  поза  даним
                            станом-композитом.
                                  У окремих ситуаціях може виникнути необхідність врахувати
                            в  моделі  синхронізацію  настання  окремих  подій  і  спрацьовування
                            відповідних переходів. Для цієї мети в мові UML є псевдостан, який
                            називається синхронізуючим станом або станом синхронізації.
                                  Стан  синхронізації  (synch  state)  -  псевдостан  в  кінцевому
                            автоматі,  який  використовується  для  синхронізації  паралельних
                            областей кінцевого автомата.
                                  Синхронізуючий  стан  позначається  невеликим  колом,
                            усередині   якого    розміщений    символ    зірочки   "*".   Він
















                                                           95
   94   95   96   97   98   99   100   101   102   103   104