Состояния это положение объекта в котором применяется определённый набор правил, линий поведения, предписанный и физ. законов. Каждому состоянию дается имя и номер явл-ся уникальными в рамках этих моделей состояний. Эти данные заносятся в рамки явл-ся отображением состояний на Д.П.С. Некоторые модели состояний имеют одно или более состояний, где объект появляется впервые. Такие состояния известны под названием состояния создания.
В некоторых моделях состояния одно или несколько состояний явл-ся концом жизненого цикла экземпляра, Такие состояния известны под названием состояния убывания. Заключительное состояние может представлять одну из двух ситуаций: 1) экземпляр становится неподвижным. 2) экземпляр прекращает существование.
Событие.
Событие это абстракция инцидента или сигнала в реальном мире, который сообщает нам о перемещении чего-либо в новое состояние. В абстрагировании события выделяют 4-е события: 1) значение. 2) предназначение. 3) метка. 4) данные собы-тия.
Значение события заключается в короткой фразе, которая сообщает, что происходит в реальном мире (кнопка нажата, дверь открыта). 2) Предназначение события это модель состояния, которое принимает событие. Может быть, один единствен-ный такой приемник для данного события. 3) Метка. Для каждого события должна обеспечиваться уникальная метка. Обычно используется комбинация буква-номер (V1,V2,…). 4),Данные переносимые события приводят для действия при достиже-нии объектом определённого состояния. Событием могут переноситься два типа данных: идентифицирующие и дополнительные.
Список событий.
Список событий это просто список всех событий, которые были определены для всех моделей состояния.
Пример:
Метка значение Данные события Источник Предназначение
V1 Кнопка нажата ID печи Кнопка печи Печь
V2 Назначенное время истекло ID печи Таймер печи Печь
Л1 Лампочка включена ID лампочки Печь Лампочка
Э1 Поступление напряжения на силовой элемент ID элемента Печь Силовой элемент
Желательно использование некоторого инструментария обеспечивающего сортировку в различном порядке, что облегчает понимание и проверку модели состояния (базы данных, электронные системы, CASE системы ).
Существует ряд правил связывающих данные события с состояниями, которые могут быть достигнуты как результат получения события.
Правила тех же данных.
1) Все события вызывающие переход в определенные состояния должны нести одни и теже данные события.
2) Правило состояния не создания. Если событие может вызывать переход в состояние, которое не явл-ся состоянием создания, то идентификатор экземпляра, к которому событие применяется должно переносится как данное. Это правило гаранти-рует, что действие для состояния, куда произошёл переход в результате произошедшего события способно определить какой из существующих экземпляров совершил этот переход.
3) Правило состояния создания. Событие которое вызывает переход в состояние создания не несет идентификатора, если данная модель состояния создается идентификатор в действии состояния создания.
Действие.
Действие это деятельность или операция, которая должна быть выполнена экземпляром когда достигает состояния. С каждым состоянием связывается одно действие, поскольку все экземпляры объекта совместно используют одну и туже модель состояний. Действия должны быть выполнены любым экземпляром. Действие обычно читает и записывает атрибут того экземпляра, для которого оно выполняется. Действие также может : 1) выполнять любое вычисление. 2) порождать событие для любого экземпляра любого объекта. 3) порождать событие для чего либо вне области анализа (операторы, аппаратного устройства или объекта в другой подсистеме. 4) Создавать, удалять, устанавливать, сбрасывать или считывать таймер. 5) Читать и записывать атрибуты других экземпляров своего объекта. 6) Читать и записывать атрибуты экземпляров других объектов.
Чтобы гарантировать непротиворечивость модели состояния как единого целого на действия должны быть наложены определенные ограничения: 1) сохранение экземпляра непротиворечивым. 2) гарантирование непротиворечивости связи. При создании или удалении экземпляров объекта необходимо чтобы любые связи, включающие эти экземпляры не противоречили правилам установлиным для информационной модели. 3) Сохранение подтипов и супертипов непротиворечивыми.