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

На диаграмме верхнего уровня вложенный автомат 
указывается как простое ссылочное состояние, а на диаграмме 
нижнего уровня вложенный автомат раскрывается как составное 
состояние. При этом строка имени ссылочного состояния имеет 
следующий синтаксис. 
ИМЯ СОСТОЯНИЯ : ИМЯ ВЛОЖЕННОГО АВТОМАТА
Подчеркнем, что ссылочное состояние заимствует структуру и 
поведение вложенного автомата, но не владеет им композиционно. 
Тот же самый вложенный автомат может быть использован в другом 
месте и в другой машине состояний. Таким образом, в UML 2 
вложенные автоматы по назначению и способу использования 
подобны подпрограммам в обычных языках программирования.
Вместо понятия заглушки указываются точки входа и выхода на 
границе вложенного автомата. Если продолжать аналогию с 
подпрограммами, то это аналог входных и выходных параметров, 
через которые во вложенный автомат передаются соответствующие 
события. 
Переходы на границу и с границы ссылочного состояния имеют 
тот же самый смысл, что и переходы на границу и с границы 
составного состояния, как если бы копия составного состояния 
вложенного 
автомата 
была 
подставлена 
вместо 
ссылочного 
состояния.

---

155
Уточненное 
в 
UML 2 
понятие 
вложенного 
автомата 
представляется нам настолько простым и естественным, что вместо 
дальнейших пояснений мы просто сошлемся на рис. 4.11 и рис. 4.12, 
где еще раз представлен пример, аналогичный примеру на рис. 4.9 и 
рис. 4.10. 
Мы надеемся, что читатель оценит красоту и точность нотации 
UML 2. 
Рис. 4.11. Составное состояние, использующее
вложенный конечный автомат 
Рис. 4.12. Составное состояние, раскрывающее
вложенную машину состояний 

---

156
4.2.7. События 
Различные типы состояний, рассмотренные в предыдущем