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