Моделирование состояний. 
Разработка модели программного обеспечения информационной системы автоматизации работы рекламного агентства

Модель состояний (statechart model) служит детализированным описанием класса или, более точно, динамических изменений состояний класса.

Состояние (state) объекта обозначается текущими значениями его атрибутов (как элементарных атрибутов, так и атрибутов, обозначающих другие классы). Модель состояний (statechart model) фиксирует возможные состояния, в которых может находиться класс, и эффективно фиксирует «жизненный путь» класса. На протяжении своего жизненно цикла объект остается одним и тем же — его идентичность никогда не изменяется. Однако состояние объекта изменяется.

Диаграммы состояний — хорошо известное средство описания поведения систем. В большинстве объектно-ориентированных методов диаграммы состояний строятся для единственного класса и отражают динамику поведения единственного объекта.

Диаграмма состояний представляет собой двудольный граф состояний (прямоугольников с закругленными углами) и переходов (стрелки), вызванных событиями.

Значения атрибутов объекта изменяются, однако не все подобные изменения приводят к переходу между состояниями.

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

Диаграмму состояний для класса «Событие» считаем строить не целесообразным, так как он включает в себя лишь одно состояние Зарегистрировано.

Построим диаграмму состояний для класса «Рекламная услуга» и представим ее на рисунке 30.

Первоначально объект находится в состоянии «Занесена в список», из него он может перейти в состояние «Предоставлена клиенту». После этого автоматически она переходит в состояние «Не оплачена». После того как клиент производит оплату, в зависимости от того оплатил он полностью или частично, объект переходит в состояния «Оплачено полностью» или «Оплачено частично». Из состояния «Оплачено частично», после завершения оплаты объект переходит в состояние «Оплачено полностью».

Рис. 31. Диаграмма состояний класса «Рекламная площадь»

Первоначально объект находится в состоянии «Внесена в список». Система проверяет сроки окончания ее использования. Если срок истек то она переходит в состояние «Свободна». Если рекламная площадь предоставляется клиенту, то она переходит в состояние «Используется». Из него она автоматически переходит в состояние «Не оплачена». После того как клиент производит оплату, в зависимости от того оплатил он полностью или частично, объект переходит в состояния «Оплачено полностью» или «Оплачено частично». Из состояния «Оплачено частично», после завершения оплаты объект переходит в состояние «Оплачено полностью». Из состояния «Используется», после истечения договора, она возвращается в состояние «Свободна».

Первоначально объект находится в состоянии «Подготавливается». После обсуждения менеджера с клиентом всех условий он переходит в состояние «Заключен». После заключения контракта, агентство приступает к его исполнению. Соответственно объект переходит в состояние «Исполняется». После исполнения происходит оплата договора. В процессе исполнения со стороны менеджера и со стороны руководства проводится контроль за договором. Объект может перейти в состояние «Проверяется». После завершения контракта объекту присваивается состояние «Окончен».

Рис. 33. Диаграмма состояний класса «Клиент»

Первоначально объект находится в состоянии «Занесен в список». Если клиент заключает договор, то объект переходит в состояние «Заключает договор». Если клиент по каким-либо причинам отказывается от заключения договора с агентством, то он переходит в состояние «Пассивен». Из него он может перейти в состояние «Заключает договор». Из состояния «Заключает договор», после оплаты услуг агентства, объект переходит в состояние «Оплатил услуги». Из этого состояния объект может вернуться в состояние «Заключает договор», либо перейти в состояние «Пассивен».

Рис. 34. Диаграмма состояний класса «Менеджер»

Диаграмма состояний класса «Менеджер». Первоначально объект находится в состоянии «Зарегистрирован». Администратором ему присвоены имя и пароль для входа в систему. Если он в данное время не работает с системой, то ему присваивается состояние «Вне системы». Если менеджер прошел авторизацию, то он переходит в состояние «Активен». Из этого состояния объект может перейти в состояние «Регистрирует событие», либо в состояние «Заключает договор», либо в состояние «Контроль договора». После выхода из системы объекту вновь переходит в состояние «Вне системы».