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

Событие таймера (time event) — это событие, которое 
возникает, когда истек заданный интервал времени с момента 
попадания автомата в данное состояние. 
Синтаксически событие таймера записывается с помощью 
ключевого слова 
after
, за которым указывается выражение, 
определяющее длину интервала времени. Семантически событие 
таймера означает следующее. Подразумевается, что у состояния 
имеется таймер, который сбрасывается в 
0
(начинает отсчет), когда 
автомат переходит в данное состояние (напомним, что автомат 
считается перешедшим в состояние, когда закончено выполнение всех 
действий, предписанных переходом). Таймер ведет отсчет времени. 
Если до истечения указанного интервала времени сработает другой 
переход, то событие таймера не возникает. Когда указанный интервал 
времени истекает, наступает событие таймера и возбуждается 
соответствующий переход.
Если переход срабатывает, то автомат переходит в новое 
состояние.
Если переход по событию таймера не срабатывает (из-за 
ложности сторожевого условия), то событие таймера теряется, и 
таймер продолжает отсчет времени, так что позже может сработать 
другой переход по событию таймера с большим интервалом времени. 
Событие таймера не может быть отложено. 
Приведем пример использования события таймера на переходах 
в конечных автоматах (рис. 4.15). 
ИЗМЕНЕНИЯ В ТЕХНИЧЕСКОМ ЗАДАНИИ 
 
Информационная система должна хранить информацию не 
только о работающих, но и об уволенных сотрудниках. По 
прошествии 10 лет после увольнения, если эта информация не нужна 
более, она уничтожается. 

---

161
Таким образом, по истечении десяти лет после увольнения 
объект, представляющий уволенного сотрудника (запись в базе 
данных) уничтожается, если только этот объект не помечен 
специальным образом (сторожевое условие 
keepForever
). Если 
объект оставлен в базе, то через десять лет проверка повторяется. 
Рис. 4.15. Переход по событию таймера со сторожевым условием 
В UML 2 появился очень полезный вариант события таймера, 
которое связано не с интервалом времени пребывания в локальном 
состоянии, а с глобальным временем — системными часами. Данное 
событие записывается с помощью ключевого слова 
at
, за которым 
нужно указать некоторый момент абсолютного времени (год, месяц, 
день, час, минуту, секунду…). Когда заданный момент наступает, 
происходит событие таймера. Если указать момент в прошлом, 
событие 
at
никогда не наступит.