Page 87 - 6602

Кінцевий стан (final state) - в мові UML позначається у
вигляді закрашеного кружка, поміщеного в коло (рис. 6.3, б), в яке
може лише входить стрілка-перехід. Кожна діаграма станів або
підстанів може мати декілька кінцевих станів.

Перехід (transition) - здійснюється при настанні деякої події:
закінчення виконання діяльності (do activity), отримання об'єктом
повідомлення або прийом сигналу. На переході вказується ім'я
події, а також дії, які виконуються об'єктом у відповідь на зовнішні
події при переході з одного стану в інший.
Перехід може бути направлений в той же стан, з якого він
виходить. В цьому випадку його називають переходом в себе. Цей
перехід зображається петлею із стрілкою і відрізняється від
внутрішнього переходу. При переході в себе об'єкт покидає
вихідний стан, а потім знову входить в нього. При цьому всякий раз
виконуються внутрішні дії, специфіковані мітками «entry» і «exit».
Спрацьовування «переходу» (fire) - може залежати не лише
від настання події, але і від виконання певної умови, названої
сторожовою. Об'єкт перейде з одного стану в інший в тому випадку,
якщо сталася вказана подія і сторожова умова набула значення
"істина".
На діаграмі станів перехід зображається суцільною лінією із
стрілкою, яка виходить з вихідного стану і направлена в цільовий
стан. Кожен перехід може бути помічений рядком тексту, який має
загальний формат:
« ім'я події » '(' «список параметрів, розділених комами» ')'
'[' «сторожова умова» ']'
«вираз дії».

Подія (event) - специфікація істотних явищ в поведінці
системи.

83