Динамические модели объектно-ориентированных ИС

Лекция 4. Динамические модели объектноориентированных ИС Учебные вопросы: 1. Автоматы. 2. Диаграммы взаимодействия. 3. Диаграммы Use Case. 1 Классификация динамических моделей объектноориентированных ПС Динамические модели ОО ПС Автоматы Взаимодействия Диаграммы схем состояний Диаграммы сотрудничества (кооперации) Диаграммы деятельности Диаграммы последовательности Прецеденты Диаграммы Use Case 2 Диаграммы схем состояний Диаграмма схем состояний отображает конечный автомат, выделяя поток управления, следующий от состояния к состоянию. Конечный автомат – это поведение, которое определяет последовательность состояний в ходе существования объекта. Эта последовательность рассматривается как ответ на события и включает реакции на эти события. Диаграмма схем состояний включает: • набор состояний системы; • переходы от состояния к состоянию; • события, которые вызывают переход из одного состояния в другое; • действия, которые происходят в результате изменения состояния; • начальное и конечное состояние. 3 Элементы диаграммы Рисунок 1.1 – Обозначение состояния Таблица 1.1 – Примеры событий баланс < 0 Изменение в состоянии помехи Сигнал (объ ект с именем) уменьшить(Давление) Вы зов действия after (5 seconds) when (time = 16:30) Истечение периода времени Наступление абсолю тного момента времени Рисунок 1.2 – Переходы между состояниями Таблица 1.2 – Примеры действий Кассир.прекратитьВ ы платы () Вы зов одной операции flt:= new(Фильтp); Вы зов двух операций flt.убратьПомехи() send Ник. привет Посы лка сигнала в объект Ник 4 Рисунок 1.3 – Диаграмма схем состояний системы охранной сигнализации 5 Действия в состояниях Для указания действий, выполняемых при входе в состояние и при выходе из состояния, используются метки entry и exit соответственно. Действие, которое должно выполняться, когда система находится в данном состоянии, указывается после метки do. Рисунок 1.4 – Входные и выходные действия и деятельность в состоянии Активна 6 Условные переходы Между состояниями возможны различные типы переходов: • переход инициируемый событием; • переходы без событий; • условные или охраняемые переходы. Рисунок 1.5 – Обозначение условного перехода Порядок выполнения условного перехода: • происходит событие; • вычисляется условие [УсловиеПерехода]; • при [УсловиеПерехода] = true запускается переход и активизируется действие, в противном случае переход не выполняется. Рисунок 1.6 – Условный переход между состояниями 7 Вложенные состояния Рисунок 1.7 – Обозначение подсостояний Рисунок 1.9 – Историческое состояние Рисунок 1.8 – Переходы в состоянии Активна Рисунок 1.10 – Символ состояния со скрытыми подсостояниями 8 Диаграммы деятельности Диаграмма деятельности представляет особую форму конечного автомата, в которой показываются процесс вычислений и потоки работ. В ней выделяются не обычные состояния объекта, а состояния выполняемых вычислений – состояния действий. При этом полагается, что процесс вычислений не прерывается внешними событиями. Рисунок 1.11 – Состояние действия Рисунок 1.12 – Состояние под-деятельности 9 Переходы и вспомогательные вершины Переходы между вершинами – состояниями действий – изображаются в виде стрелок. В диаграммах деятельности используются вспомогательные вершины: • решение (ромбик с одной входящей и несколькими исходящими стрелками); • объединение (ромбик с несколькими входящими и одной исходящей стрелкой); • линейка синхронизации – разделение (жирная горизонтальная линия с одной входящей и несколькими исходящими стрелками); • линейка синхронизации – слияние (жирная горизонтальная линия с несколькими входящими и одной исходящей стрелкой); • начальное состояние (черный кружок); • конечное состояние (не закрашенный кружок, в котором размещен черный кружок меньшего размера). Плавательная дорожка – это определенная область, которая имеет имя и фиксирует область деятельности конкретного лица, обозначая зону его ответственности. 10 Рисунок 1.13 – Диаграмма деятельности покупателя в Интернет-магазине 11 Диаграммы сотрудничества Диаграмма сотрудничества – это диаграмма взаимодействия, которая выделяет структурную организацию объектов, посылающих и принимающих сообщения. Элементами диаграмм взаимодействия являются участники взаимодействия – объекты, связи, сообщения. ИмяОбъекта : ИмяКласса Адам : Человек Рисунок 2.1 – Обозначение объекта Имя : Тип = Значение номер:Телефон = "7350-420" Имя, тип, значение активен = True Имя и значение : Имя объекта и класса Только имя класса Пользовате (анонимный объект) ль мойКомпью те р Только имя объекта (подразумевается, что имя класса известно) агент : Объект – сирота (подразумевается, что имя класса неизвестно) 12 Взаимодействие объектов Стандартные стереотипы видимости «global» «local» Объект-поставщик находится в глобальной области определения Объект-поставщик находится в локальной области определения объекта-клиента «parameter» Объект-поставщик является параметром операции объектаклиента «self» Один и тот же объект является и клиентом, и поставщиком Моделируемые разновидности действий Вы зов В объекте запускается операция Возврат Возврат значения в вызывающий объект Посы лка (Send) В объект посылается сигнал Создание Создание объекта, выполняется по стандартному сообщению «create» Уничтожение Уничтожение объекта, выполняется по стандартному сообщению «destroy» 13 Взаимодействие объектов Для записи сообщений в языке UML принят следующий синтаксис: ВозврВеличина := ИмяСообщения (Аргументы) Примеры записи сообщений: Коорд := ТекущПоложение(самолетТ1) Вызов операции, возврат значения оповещение( ) Посылка сигнала УстановитьМаршрут(х) Вызов операции с действительным параметром «create» Стандартное сообщение для создания объекта 14 Рисунок 2.2 – Поток синхронных сообщений Рисунок 2.3 – Поток асинхронных сообщений 15 Рисунок 2.4 – Итерационный и разветвляющийся поток сообщений Алгоритм формирования диаграммы сотрудничества: • отображаются объекты, которые участвуют во взаимодействии; • рисуются связи, соединяющие эти объекты; • связи помечаются сообщениями, которые посылают и получают выделенные объекты. 16 Диаграммы сотрудничества 1:Ввести критерии поиска () Страница поиска Соискатель 4:Результаты () 2:Искать () 3:Результаты () Поисковая система 17 Диаграмма сотрудничества системы управления полетом 18 Диаграммы последовательности Диаграмма последовательности, отражая сценарий поведения в системе, обеспечивает более нагляд­ное представление порядка передачи сообщений по времени. Фокус управления – это высокий тонкий прямоугольник, отображающий период времени, в течение которого объект выполняет действие (свою или подчиненную процедуру). Линия жизни объекта – это вертикальная пунктирная линия, которая обозначает период существования объекта. Соиск ат ель Ст раница поиск а Поиск овая сист ема Ввести критерии поиска () Искать() Результаты поиска() 19 Диаграммы последовательности Рисунок 2.5 – Диаграмма последовательности системы управления полетом 20 Фокус управления Фокус управления – это высокий тонкий прямоугольник, отображающий период времени, в течение которого объект выполняет действие (свою или подчиненную процедуру). Вершина прямоугольника отмечает начало действия, а основание – его завершение. Момент завершения может маркироваться сообщением возврата, которое показывается пунктирной стрелкой. Можно показать вложение фокуса управления (например, рекурсивный вызов собственной операции). Для отображения «условности» линия жизни может быть разделена на несколько параллельных линий жизни. Каждая отдельная линия соответствует условному ветвлению во взаимодействии (рис. 2.7) Рисунок 2.6 – Вложение фокусов управления Ветвление показывается множеством стрелок, идущих из одной точки. Каждая стрелка отмечается сторожевым условием (рис. 2.8) 21 Диаграммы USE CASE Диаграмма Use Case определяет поведение системы с точки зрения пользователя. Она рассматривается как главное средство для первичного моделирования динамики системы, используется для выяснения требований к разрабатываемой системе, фиксации этих требований в форме, которая позволит проводить дальнейшую разработку. Диаграммы Use Case часто называют диаграммами прецедентов или вариантов использования. В состав диаграмм Use Case входят элементы Use Case, актеры, отношения зависимости, обобщения и ассоциации, примечания и ограничения и пакеты. Актер – это роль объекта вне системы, который прямо взаимодействует с ее частью – конкретным элементом (элементом Use Case). Элемент Use Case – это описание последовательности действий (или нескольких последовательностей), которые выполняются системой и производят для отдельного актера видимый результат. Отношения в диаграммах Use Case Рисунок 2.9– Отношение ассоциации между актером и элементом Use Case Рисунок 2.10– Отношение обобщения между актерами Рисунок 2.11– Отношение обобщения между элементами Use Case Диаграммы USE CASE Рисунок 2.12 – Пример диаграммы Use Case