Palmov-ITvSS(UML)-lec / Диаграмма состояний - 7 / Диаграмма состояний - 7
.pdf
Лекция №7
Главное предназначение этой диаграммы
— описать возможные последовательности состояний и переходов, которые в совокупности характеризуют поведение элемента модели в течение его жизненного цикла.
По существу является графом специального вида, который представляет некоторый конечный автомат.
Конечный автомат (state machine) в UML представляет собой некоторый формализм для моделирования поведения элементов модели и системы в целом.
Каждая диаграмма состояний представляет некоторый конечный автомат.
Некое техническое устройство (например, компьютер), для которого вводятся два самых общих состояния: "исправен" и "неисправен" и два перехода: "выход из строя" и "ремонт".
Состояние и переход.
Длительность нахождения системы в отдельном состоянии существенно превышает время, которое затрачивается на переход из одного состояния в другое.
Переход объекта из состояния в состояние происходит мгновенно (если не оговорены дополнительные условия).
В общем случае КА представляет динамические аспекты моделируемой системы в виде ориентированного графа, вершины которого соответствуют состояниям, а дуги — переходам.
Поведение системы моделируется как последовательное перемещение по графу состояний от вершины к вершине по связывающим их дугам с учетом их ориентации.
КА не запоминает историю перемещения из состояния в состояние (определяющим является сам факт нахождения объекта в том или ином состоянии, т.е. КА "забывает" все состояния, которые предшествовали текущему в данный момент времени).
В каждый момент времени КА может находиться в одном и только в одном из своих состояний. КА может находиться в отдельном состоянии как угодно долго, если не происходит никаких событий.
Концепция времени не входит в формализм КА. Длительность нахождения КА в том или ином состоянии, а также время достижения того или иного состояния никак не специфицируются.
Количество состояний КА должно быть обязательно конечным, и все они должны быть специфицированы явным образом. Отдельные псевдосостояния (начальное и конечное состояния) могут не иметь спецификаций.