Моделирования uml
Download 1.84 Mb. Pdf ko'rish
|
ivanov novikov unificirovannii jazik modelirovanija uml 2011
|
Событие изменения (change event) — это событие, которое
возникает, когда некоторое логическое условие становится истинным, будучи до этого ложным. Синтаксически событие изменения записывается с помощью ключевого слова when , за которым указывается логическое выражение (условие). Семантически событие изменения означает следующее. Подразумевается, что в системе имеется механизм, работающий как демон (например, приложение, запущенное в 162 фоновом режиме), который генерирует событие, если в результате изменения состояния системы изменяется значение логического выражения. Если выражение, являющееся аргументом события изменения, принимает значение true (имея до этого значение false ), то переход возбуждается. Если выражение имеет значение true в тот момент, когда автомат переходит в данное состояние, то переход сразу возбуждается. Если переход срабатывает, то автомат, как обычно, переходит в новое состояние. Если переход не срабатывает, то событие изменения теряется. При этом если условие продолжает оставаться истинным, то нового события изменения не возникает. Для того чтобы снова возникло событие изменения, нужно, чтобы условие стало сначала ложным, а потом истинным. Рассмотрим элементарный пример из информационной системы отдела кадров. ИЗМЕНЕНИЯ В ТЕХНИЧЕСКОМ ЗАДАНИИ По достижении определенного возраста (55 лет для женщин и 60 лет для мужчин) сотрудник увольняется на пенсию. Реализация данного требования приведена на рис. 4.16. Рис. 4.16. Переход по событию изменения Заметим, что условие достижения пенсионного возраста сотрудников записано с помощью специального языка (OCL) и подразумевает, что класс Person (рис. 4.16 — это часть диаграммы автомата именно этого класса) имеет атрибут с именем age . |
