Термины и понятия

Диаграмма состояний (Statechart diagram) показывает автомат, фокусируя внимание на потоке управления от состояния к состоянию. Автомат (State machine) -это описание последовательности состояний, через которые проходит объект на протяжении своего жизненного цикла, реагируя на события, - в том числе описание реакций на эти события. Состояние (State) - это ситуация в жизни объекта, f на протяжении которой он удовлетворяет некоторому условию, осуществляет определенную деятельность или ожидает какого-то события. Событие (Event) - это

спецификация существенного факта, который происходит во времени и простран­стве. В контексте автоматов событие - это стимул, способный вызвать срабатыва­ние перехода. Переход (Transition) - это отношение между двумя состояниями, показывающее, что объект, находящийся в первом состоянии, должен выполнить некоторые действия и перейти во второе состояние, как только произойдет опре­деленное событие и будут выполнены заданные условия. Деятельность (Activity) -это продолжающееся неатомарное вычисление внутри автомата. Действие (Ac­tion) - это атомарное вычисление, которое приводит к смене состояния или воз­врату значения. Диаграмма состояний изображается в виде графа с вершинами и ребрами.

Общие свойства

Диаграмма состояний обладает свойствами, общими для всех диаграмм (см. главу 7), то есть имеет имя и графическое содержание, проецируемое на модель. От прочих диаграмм она отличается именно этим содержанием.

Содержание

Обычно диаграмма состояний включает в себя:

• простые и составные состояния (см. главу 21);

• переходы вместе с ассоциированными Событиями и действиями (см. ту же главу).

Примечете Диаграмма состояний, по сути, составлена из элементов, встре­чающихся в любом автомате. Она может содержать ветвления. разделения, слияния, состояния деятельности и действий, объекты, начальные и конечные состояния, исторические состояния и т.д., -в общем, к диаграмме состояний применимы все без исключения

характеристики автомата. Диаграмму деятельности (см. главу 19) отличает от диаграммы состояний лишь то, что она состоит в ос­новном из элементов, встречающихся в графе деятельности, и пред­ставляет собой разновидность автомата, в котором все или боль­шая часть состояний есть состояния деятельности, а все или большая часть переходов инициируются фактом завершения дея­тельности в исходном состоянии.

Как и все прочие диаграммы, диаграмма состояний может содержать примеча­ния и ограничения (см. главу 6).

Типичные примеры использования

Диаграммы состояний применяются для моделирования динамических аспек­тов системы. Имеется в виду обусловленное порядком возникновения событий поведение объектов любого рода в любом представлении системной архитектуры (см. главу 2), включая классы (в том числе активные, см. главу 22), интерфейсы (см. главу 11), компоненты (см. главу 25) и узлы (см. главу 26).

Использовать диаграммы состояний для моделирования некоторого динамичес­кого аспекта системы можно в контексте практически любого элемента модели. Обычно, однако, диаграммы состояний применяются в контексте системы в целом, подсистемы или класса. Можно присоединять диаграммы состояний и к прецеден­там (для моделирования сценария).

При моделировании динамических аспектов системы (см. главу 31), класса (см. главы 4 и 9) или прецедента (см. главу 16) диаграммы состояний обычно ис­пользуются только с целью моделирования реактивных объектов.

Реактивный, или управляемый событиями, объект - это такой объект, поведе­ние которого лучше всего характеризовать его реакцией на внешние события. Как правило, реактивный объект находится в состоянии ожидания, пока не получит событие, а когда это случается, его реакция зависит от предшествующих событий. После того как объект отреагирует на событие, он снова переходит в состояние ожидания следующего события. Для таких объектов интерес представляют преж­де всего устойчивые состояния, события, инициирующие переходы из одного со­стояния в другое, и действия, выполняемые при смене состояния.

Примечание В противоположность этому диаграммы деятельности использу­ются для моделирования рабочего процесса или операции. Они в боль­шей степени подходят для показа протекания деятельности во вре­мени и этим напоминают блок-схемы.