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

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

Диаграммы состояний описывают внутреннее поведение объектов, фиксируя их состояния и переходы из одного состояния в другое на протяжении всего жизненного цикла. Состояния характеризуются определенными значениями атрибутов объектов. Переходы из одного состояния в другое активизируются событиями. В описаниях широко применяется система обозначений Харела (Harel. Statecharts. 1987, с. 231-274; Harel. On Visual Formalism. 1988, с. 514-530). Этой же системой пользуется Рамбо (Rumbaugh et al. Object-Oriented Modeling and Design. 1991).

На рис. 111 показана базовая структура типичной диаграммы состояний, привязываемой к объекту.

Рис. 111. Диаграмма состояний

В рамках определенного состояния — например, «обработка заказа» — могут выполняться те или иные операции. Изменение этого состояния на «завершение обработки заказа» является, следовательно, событием, активизирующим переход. С событием может быть связано некое условие, например, «Успешно ли завершена обработка заказа?» Такое условие указывается в скобках.

Действия приводят к возникновению новых состояний. Примером может служить действие «выдача заказа на производство», представленное на рис. 111. Это действие не обладает собственной функциональностью, в противном случае его нужно было бы моделировать как отдельный процесс. Возникшее новое состояние влечет за собой выполнение функции производства.

Диаграммы состояний строго следуют правилу СДП. Неукоснительное соблюдение этого правила позволяет выполнять теоретическую проверку для выявления каких-либо отклонений в процессе. В этом состоит одно из преимуществ диаграмм состояний. Аналогичные теоретические методы проверки (верификации) применимы и в моделях СДП, но они не вычисляются посредством алгоритмов. Однако подобных результатов можно достичь и при помощи эвристических имитационных исследований.

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

Следовательно, метамодель диаграмм состояний аналогична метамодели СДП, на рис. 110.