ДС описывает процесс изменения состояний 1го класса, а точнее 1го экземпляра класса объекта. Изменения состояний может быть вызвано внешними воздействиями со стороны других объектов или извне, для описания реакции объекта на внешнее воздействия используется ДС.
Главное предназначение ДС – описание возможных последовательностей состояний и переходов, которые в совокупности характеризуют поведение элемента модели в течение его ЖЦ. ДС является графом специального вида, представляет собой автомат. Вершинами этого графа являются состояния и другие типы элементов автомата (псевдосостояния), графически отображаемые в виде прямоугольника с искривленными углами.
Дуги графа служат для обозначения перехода из состояния в состояние.
Автоматы.
В языке UML представляют собой формализм для моделирования поведения элементов моделей и системы в целом. Автоматы описывают отдельное поведение объекта в форме последовательности состояний, охватывающих все этапы его ЖЦ, начиная от создания до уничтожения.
Основные понятия формализма автомата – это состояние и переход, при этом отличие состояния от перехода заключается в том, что длительность нахождения в конкретном состоянии существенно превышает время затрачиваемое на переход. Предполагается, что в пределе время от перехода из состояния в состояние равно 0.
Формализм автомата состоит в правилах:
- автомат не запоминает историю перемещения из состояния в состояние (если запоминает - это триггер).
- в каждый момент времени А находится или может находиться только в одном состоянии.
- хотя процесс изменения автомата происходит во времени, время в автомате не учитывается (=0).
- количество состояний автомата обязательно должно быть конечным и все они должны быть определены.
- графически автомат не должен содержать изолированных состояний, в которые нельзя попасть.
- автоматы не должны содержать конфликтующий переход, т.е. таких переходов из 1-го и того же состояния, когда объект может перейти в 2 или более последовательного состояния.
