Моделирования uml

Заключительное состояние (final state) — это специальное 
состояние, соответствующее ситуации, когда машина состояний 
уже не работает.
На диаграмме заключительное состояние изображается в виде 
закрашенного 
кружка, 
который 
обведен 
дополнительной 
окружностью.
19
Подобно начальному состоянию, заключительное 
состояние не имеет таких составляющих, как действия на входе, 
выходе и внутренняя активность, но имеет входящий переход,
20
ведущий из того состояния, которое является последним состоянием в 
данном сеансе работы конечного автомата. 
19
Жаргонное название этого символа — "бычий глаз". 
20
Разумеется, заключительное состояние не может иметь исходящих 
переходов — чтобы машина состояний заново заработала, ее нужно снова 
запустить. 

---

148
Вообще говоря, работа конечного автомата может завершаться 
несколькими 
различными 
способами. 
Это 
соответствует 
общепринятой программистской практике: программа может иметь 
вариант нормального завершения и несколько вариантов завершения 
при возникновении исключительной ситуации или при ошибке. 
Отражая данную особенность поведения на диаграмме состояний, 
можно указать несколько переходов в одно и то же заключительное 
состояние. Синтаксически это допустимо. Однако мы настойчиво 
рекомендуем так не делать и помещать на диаграмму столько 
заключительных состояний, сколько в действительности существует 
семантически различных вариантов завершения работы данной 
машины состояний. 
Прежде чем переходить к описанию других специальных 
состояний, еще раз уточним связь между составными состояниями, 
переходами между ними, начальным и заключительным состоянием. 
Напомним, что: 
- если имеется входящий переход в составное состояние, то 
машина состояний, вложенная в данное составное состояние, обязана 
иметь начальное состояние; 
- если машина состояний, вложенная в составное состояние, 
имеет заключительное состояние, то данное составное состояние