Подпакет Автоматы

В подпакете Автоматы описаны понятия для представления поведения модели в пространстве с конечным числом состояний и переходов. UML оперирует понятием автомата, включающим его объектную ориентацию. В нем автоматы применяют для моделирования поведения экземпляров классов и для спецификации взаимодействий между кооперациями. Дополнения к формализму автоматов обеспечивают семантический базис для графов деятельности.

В Автоматы входят: составное состояние (CompositeState), событие (Event), конечное состояние (FinalState), псевдосостояние (PseudoState), простое состояние (SimpleState), состояние (State), автомат (StateMachine), переход (Transition) и др.

Под состоянием в UML понимается абстрактный метакласс, используемый для моделирования ситуации или процесса с, обычно неявным, выполнением инвариантного условия. Примером может служить ожидание объектом внешнего события (запроса, передачи управления и т.д.). И наоборот, состояние можно использовать для моделирования динамических условий – так, момент начала выполнения некоторого действия обозначает переход объекта в соответствующее состояние.

4.2.4.3. Пакет «Общие механизмы.

В этом пакете, состоящем из одного подпакета управления моделями, определены общие механизмы, применимые ко всем моделям UML (рис. 4.2.8). Он служит для спецификации методов организации элементов в модели, пакеты и подсистемы.

Рис. 4.2.8. Состав пакета «Общие механизмы».