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

из состояния 
Unemployed
разумно определить как составной переход в состояния 
In office
и 
Contractor
. Аналогично, переход в случае 
увольнения должен происходить, во-первых, когда сотрудник 
находится в офисе (увольнять заочно не принято), и, во-вторых, когда 
сотрудник занимает должность постоянно. Прекращение трудовых 

---

222
отношений с контрактником или проходящим испытательный срок 
обычно даже не называется увольнением. Это можно отразить с 
помощью соответствующего составного перехода из состояний 
In office
и 
On staff
. Далее, переход в себя по событию 
move() 
(4 на рис. 4.48), видимо, не должен менять конфигурацию 
активных состояний, поэтому в параллельных вложенных машинах 
целесообразно 
заменить 
начальные 
состояния 
историческими (5 и 6 на рис. 4.48). 
Обратите 
внимание 
на 
необходимость 
использование 
глубинного 
исторического 
состояния (5 на рис. 4.48). 
На рис. 4.48 приведен соответствующий фрагмент диаграммы 
автомата. События на переходах во вложенных параллельных 
областях мы не стали указывать повторно, чтобы не загромождать 
диаграмму. 
Составные 
переходы 
изображаются 
с 
помощью 
специального значка, который выглядит как узкая закрашенная 
полоска (может быть расположен вертикально или горизонтально) и 
называется линейкой синхронизации. Все сегменты составного 
перехода начинаются или заканчиваются на линейке синхронизации. 
В зависимости от того, сколько сегментов переходов начинается и 
заканчивается на линейке синхронизации, они получает специальное 
название (обозначение не меняется). Если на линейке начинается 
один сегмент и заканчивается несколько, то линейка синхронизации 
называется соединением (join). Если на линейке заканчивается один 
сегмент и начинается несколько, то линейка синхронизации 
называется развилкой (fork). В данном случае на рис. 4.48 
использованы одно соединение (3 на рис. 4.48) и одна развилка 
(2 на рис. 4.48). 
Поведение машин состояний в параллельных областях 
составного состояния 
Employed
на диаграммах рис. 4.47 и рис. 4.48 
независимо — каждая из групп параллельных состояний "живет своей 
жизнью".

---

223
Employed
On trial
Contractor
On staff
H
promote(Contractor)
promote(On staff)
promote
(On staff)
promote
(Contractor)
Well
In office
On vacation
go(On vacation)
go(In office)