20.Статические модели объектно-ориентированного представления программных систем
Структура ответа:
статические модели
диаграммы классов, пример
отношения в диаграммах классов
деревья наследования
абстрактный класс, конкретный класс, конечный класс, корневой класс, дочерний класс
Основным средством для представления статических моделей являются диаграммы классов.
Организация свойств и операции
Имя класса указывается всегда, свойства и операции – выборочно.
Если свойство подчёркивается, то его область действия является класс. В противном случае областью действия является экземпляр.
Если областью действия является класс, то все его экземпляры используют общее значение этого свойства. В противном случае у каждого экземпляра своё значение свойства.
Отношения в диаграммах классов
Отношения в диаграммах классов
Существует следующие отношения:
Ассоциация отображает структурные отношения между экземплярами классов. Каждая ассоциация может иметь метку (Имя), которая описывает природу отношения. Когда класс участвует в ассоциации, он играет в этом отношении определенную роль. Роль определяет, каким представляется класс на одном конце ассоциации для класса на противоположном конце ассоциации. Один и тот же класс в разных ассоциациях может играть разные роли. Часто важно знать, как много объектов может соединяться через экземпляр ассоциации. Это количество называется мощностью роли в ассоциации. Мощность записывается в виде выражения, задающего диапазон или одну величину.
Агрегация показывает отношение по ссылке.
Композиция отношение физического включения.
Агрегация и композиция считаются разновидностями ассоциации, применяемые для отображения структурных отношений между целым и его частями.
Зависимость является отношением использования между клиентом и поставщиком.
Обобщение – отношение между общим предметом (суперклассом) и специализированной разновидностью этого предмета (подклассом). Супер – класс – документ, а разновидность документа – подкласс.
Реализация семантическое отношение между классами, в котором класс-приемник выполняет реализацию операций интерфейса класса-источника.
Деревья наследование – иерархия классов с использованием отношения обобщения.
Абстрактный класс – это класс, который не может иметь экземпляров. Абстрактные классы записываются в виде курсива.
Конечный класс - это класс, который не может иметь детей.
Корневой класс – это класс, который не может иметь родителей.
Конкретный класс - имеет экземпляры.
21.Динамические модели объектно-ориентированного представления программных средств: автоматы.
Структура ответа:
динамические модели
автоматы
диаграмма схем состояний, пример
конечный автомат — определение
состояние, переход, событие, действие
диаграмма деятельности, пример
состояния действия
вспомогательные вершины диаграммах
Динамические модели – изменение во времени. Динамические модели обеспечивают представление поведения системы.
Автоматы
Автомат (State machine) описывает поведение в терминах последовательности состояний, через которые проходит объект в течение своей жизни.
Автомат:
задает поведение системы как цельной, единой сущности;
моделирует жизненный цикл единого объекта;
удобно применять для формализации динамики отдельного трудного для понимания блока системы.
Диаграмма схем состояний отображает конечный автомат, выделяя поток управления, следующий от состояния к состоянию. Конечный автомат — поведение, которое определяет последовательность состояний в ходе существования объекта. Эта последовательность рассматривается как ответ на события и включает реакции на эти события. Диаграмма схем состояний показывает: набор состояний системы; события, которые вызывают переход из одного состояния в другое; действия, которые происходят в результате изменения состояния.
Состояние – это п-д в жизни объекта на протяжении, кот-го он удовлетворяет какому то условию, выполняет определенную деят-ть или ожидает событие.
Действия в состояния: Для указания действий, выполняемых при входе в состояние и при выходе из состояния, используются метки entry и exit соответственно. Действие, которое должно выполняться, когда система находится в данном состоянии, указывается после метки do.
Условнее переходы: Типы переходов: переход инициируемый событием; переходы без событий; условные или охраняемые переходы.
Вложенные состояния: Хар-ка конечных автоматов в UML явл подсостоянием (это сост-е вложенное в др состояние). Подсот-е позволяет упростить моделирование сложного поведения.
Диаграммы деятельности: представляет особую форму конечного автомата, в которой показываются процесс вычислений и потоки работ. В ней выделяются не обычные состояния объекта, а состояния выполняемых вычислений — состояния действий.
Переходы между вершинами — состояниями действий — изображаются в виде стрелок. Сост-е дейст-я считается атомарным (действие нельзя прервать), выполняется за один квант времени, нельзя подвергнуть декомпозиции.
В диаграммах деятельности используются вспомогательные вершины: решение (ромбик с одной входящей и несколькими исходящими стрелками); объединение (ромбик с несколькими входящими и одной исходящей стрелкой); линейка синхронизации — разделение (жирная горизонтальная линия с одной входящей и несколькими исходящими стрелками); линейка синхронизации — слияние (жирная горизонтальная линия с несколькими входящими и одной исходящей стрелкой); начальное состояние (черный кружок); конечное состояние (не закрашенный кружок, в котором размещен черный кружок меньшего размера).