Диаграмма состояний в моделировании¶

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

¶История и происхождение

Концепция состояний и переходов восходит к теории автоматов, развитой в 1940–1950-е годы в работах американских математиков Уоррена Мак-Каллока и Уолтера Питтса, а также Джорджа Мили и Эдварда Мура. Модели Мили и Мура описывали выходной сигнал автомата в зависимости от текущего состояния и входного воздействия.

В 1987 году американский учёный Дэвид Харел предложил визуальный формализм statecharts — диаграммы состояний с иерархией и параллелизмом, что позволило описывать сложные реактивные системы. Этот подход лёг в основу диаграмм состояний в UML (Unified Modeling Language), стандартизированном в 1997 году консорциумом OMG. В России методология UML и диаграммы состояний вошли в практику проектирования в конце 1990-х — начале 2000-х годов вместе с распространением объектно-ориентированного программирования.

¶Основные элементы

Диаграмма состояний состоит из набора стандартных обозначений:

• Состояние — прямоугольник со скруглёнными углами, обозначающий устойчивое положение объекта (например, «Ожидание», «Обработка», «Завершено»).
• Начальное состояние — закрашенный кружок, точка входа в автомат.
• Конечное состояние — кружок с внешним кольцом, обозначающий завершение.
• Переход — стрелка между состояниями, помеченная событием, условием (guard) и действием.
• Составное состояние — состояние, содержащее вложенные подсостояния.
• Точка ветвления — ромб, разделяющий поток в зависимости от условия.
• Историческое состояние — обозначение возврата к последнему активному подсостоянию.

Формально автомат задаётся множеством состояний, алфавитом событий, функцией переходов, начальным и конечным состояниями.

¶Виды диаграмм

Различают несколько разновидностей:

В UML диаграмма состояний близка к диаграмме деятельности, однако первая ориентирована на состояние объекта, а вторая — на поток управления и последовательность действий.

¶Применение

Диаграммы состояний используются в нескольких областях:

• Программная инженерия — моделирование жизненного цикла объектов, пользовательских интерфейсов, сетевых протоколов, встраиваемых систем.
• Проектирование цифровых устройств — синтез логики на основе конечных автоматов, реализуемых на триггерах и ПЛИС.
• Бизнес-моделирование — описание статусов заказа, заявки, документа (например, «создан — согласован — исполнен»).
• Тестирование — генерация тестовых сценариев на основе покрытия состояний и переходов.
• Робототехника и автоматика — управление режимами работы оборудования.

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

¶Инструменты

Для построения диаграмм состояний используются как специализированные CASE-средства, так и универсальные редакторы. Среди распространённых: IBM Rational Rose, Enterprise Architect, Visual Paradigm, а также свободные решения — PlantUML, StarUML, draw.io. В PlantUML диаграмма описывается текстовым кодом, что упрощает версионирование в системах контроля версий.

¶Преимущества и ограничения

К достоинствам относят наглядность, формальную строгость, возможность автоматической генерации кода и тестов. Диаграммы позволяют выявить недостижимые состояния и «зависания» системы.

Ограничения связаны с ростом сложности: при большом числе состояний диаграмма становится трудночитаемой (проблема «взрыва состояний»). Для её смягчения применяют иерархию и параллельные области. Кроме того, диаграмма состояний описывает поведение одного объекта и плохо подходит для моделирования взаимодействия множества объектов — для этого служат диаграммы последовательностей и коммуникаций.

¶Связь с теорией автоматов

Диаграмма состояний — практическая визуализация конечного автомата. Различают детерминированные и недетерминированные автоматы, автоматы Мили (выход зависит от перехода) и Мура (выход зависит от состояния). Эти модели лежат в основе лексических анализаторов, регулярных выражений и протоколов передачи данных.

Источники: стандарт OMG UML; Д. Харел, «Statecharts: A Visual Formalism for Complex Systems»; труды по теории автоматов; документация PlantUML.