Введение в формальные методы описания бизнес-процессов. Кулябов Д.С - 87 стр.

UptoLike

8.5. Диаграмма классов 87
типа является зависимой от конкретного языка программирования специфи-
кацией типа возвращаемого значения для соответствующего формального па-
раметра; значение по умолчанию в общем случае представляет собой выра-
жение для значения формального параметра, синтаксис которого зависит от
конкретного языка программирования и подчиняется принятым в нём огра-
ничениям.
Выражение типа возвращаемого значения является зависимой от языка
реализации спецификацией типов значений параметров, которые возвраща-
ются объектом после выполнения соответствующей операции.
Свойство служит для указания значений свойств, которые могут быть
применены к данному элементу.
8.5.2. Отношения между классами
В диаграмме классов могут использоваться следующие типы отношений
(связей): ассоциации, зависимости, обобщения и реализации. Перечисленные
типы отношений уже были определены в разделе 8.4, рассматривающем по-
строение диаграмм вариантов использования. Поэтому здесь приведены толь-
ко примеры их графического изображения на диаграмме классов.
Отношение ассоциации обозначается сплошной линией с дополнитель-
ными специальными символами (имя ассоциации, имена и кратность клас-
сов-ролей ассоциации), которые характеризуют отдельные свойства конкрет-
ной ассоциации (рис. 8.11). С помощью чёрного треугольника, расположенно-
го над линией связи справа или слева от имени ассоциации, уточняется смысл
имени и указывается направление чтения имени связи.
Когда в диаграмме классов требуется отразить тот факт, что ассоциация
между двумя классами имеет специальный вид «часть–целое», то использу-
ется ассоциация специального вида агрегатная ассоциация. В этом слу-
чае класс «целое» имеет более высокий концептуальный уровень, чем класс
«часть». Графически агрегатные ассоциации изображаются в виде простой ас-