2. Состояния

Конкретное состояние (в общем случае – статический срез системы) формируется инструментом State(Состояние). На диаграмме оно изображается в виде прямоугольника с закругленными углами. Состояние имеетимя, начинающееся с заглавной буквы. Под ним могут записыватьсяусловие идействия. Условия про­веряются, а действия выполняются, когда автомат находится в соответствующем состоянии.

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

3. Подавтоматы

Внутри каждого состояния разрешается формировать собственный автомат (под­автомат) – мини-диаграмму состояний. Благодаря этому возможно проектиро­вать систему постепенно, раскрывая отдельные ее элементы по мере необходимо­сти.

Подавтомат – это автомат, вложенный в другой автомат и описываю­щий поведение конкретного состояния.

4. Диаграммы состояний

Диаграммы состояний (StateMachineDiagram) стали новым типом диаграмм в версииUML2.0. Они особенно важны для разработчика, использующего средуDelphi. Дело в том, что в последней версииDelphi2006 имеется технология моде­лирования ЕСОIII. Она расширена средствами визуального построения алго­ритмов. С помощью этих средств описывается работа разных элементов модели. Ранее для описания модели и генерации исходного кода на языкеDelphiприме­нялись лишь статические диаграммы классов. Теперь задействованы и диаграм­мы состояний.

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

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

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

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

Каждое из состояний на диаграмме не обязано пассивно ожидать внешне­го события, приводящего к переходу основного объекта в следующее состояние. Состояние может вести определенную деятельность. Соответствующая деятель­ность задается свойством состояния Doactivity(Выполнение деятельности). Нужная деятельность уже должна быть задана в проекте, например на одной из диаграмм деятельности. Подобное состояние, когда до него доходит очередь, начинает эту деятельность и ожидает ее завершения, фактически отображая не статическое состояние, а выполнение процесса. Этот процесс может быть прерван, что вызо­вет переход в другое состояние. Если он закончится успешно, также выполнится соответствующий переход.

В диаграммах состояний UML2.0 можно описывать историческое состояние. Обычная история состояния и глубокая история представлены как отдельные элементы:ShallowHistory(Обычная история состояния) иDeepHistory(Глубокая история).

Элемент Junction(Слияние) визуализирует слияние и разделение потоков управ­ления. Он представляет собой промежуточный узел, по внешнему виду аналогич­ный начальному элементуInitial. В таком узле собираются, а потом вновь расхо­дятся потоки управления. В диаграммах состояний можно также задействовать условный элементChoice(Выбор).