М. Фаулер, К. Скотт - UML Основы (1114905), страница 23
Текст из файла (страница 23)
С1ааа Огоаг ( рг1яата Нар 11я«1С«аа В ходе концептуального моделирования я использую конструкцию квалификатора только для того, чтобы показать ограничения относительно отдельных позиций — «единственная Строка Заказа для каждого Продукта в Заказе». В моделях уровня спецификации нужен квалификатор, чтобы показать наличие интерфейса для поиска по ключу.
Лично меня вполне устраивает одновременное использование как квалифицированной, так и неквалифицированной ассоциации, если при этом существует подходящий интерфейс. В моделях реализации я использую квалификаторы для того, чтобы показать использование схемы, словаря, ассоциативного массива или другой аналогичной структуры данных. Класс-ассоциация Классы-ассоциации позволяют дополнительно определять для ассоциаций атрибуты, операции и другие свойства, как это показано на рис.
6.14. - Касс-ассоциация Рис. 6.14. Класс-ассоциация Из данной диаграммы видно, что Личность может работать только в одной Компании. При этом необходимо каким-то образом хранить информацию относительно периода времени, в течение которого каждый служащий работает в каждой Компании. 109 Класс-ассоциация Это можно сделать, добавив в данную ассоциацию атрибут «интервалВремени».
Можно было бы включить этот атрибут в класс Личность, однако на самом деле он характеризует не Личность, а ее отношение к Компании, которое будет изменяться при смене работодателя. На рис. 6.16 показан другой способ представления данной информации: преобразование Работы в отдельный самостоятельный класс. (Обратите внимание, как при этом изменили свои значения соответствующие кратности.) В данном примере каждый из классов в первоначальной ассоциации обладал однозначным концом ассоциации по отношению к классу Работа. После преобразования конец ассоциации «работодатель» становится производным, хотя это можно не показывать вовсе.
Рис. б.15. Преобразование класса. ассоциации в обычный класс Что же полезного может дать класс-ассоциация в качестве компенсации за необходимость помнить еще один вариант уже описанной нотацииу Класс-ассоциация дает возможность определить дополнительное ограничение, согласно которому двум участвующим в ассоциации объектам может соответствовать только один экземпляр класса-ассоциации. Мне кажется, что необходимо привести еще один пример. Посмотрим на две диаграммы, изображенные на рис.
6. 16. Форма этих диаграмм практически одинакова. Однако мы можем представить себе некоторую Личность, работающую в одной и той же Компании в различные периоды времени, т. е. он или она увольняется с работы, а позже вновь восстанавливается. Это означает, что Личность в течение некоторого времени может иметь более чем одну ассоциацию Работа с одной и той же Компанией. Что же касается классов Личность и Квалификация, трудно представить себе ситуацию, когда Личность могла бы обладать более чем одним уровнем Компетентности в рамках одной и той же Квалификации.
Действительно, такую ситуацию, по всей видимости, следует рассматривать как ошибку. В языке 1)М1. разрешается использовать только второй вариант. Для каждой комбинации Личности и Квалификации может существовать только одна Компетентность. Верхняя диаграмма на рис. 6.16 не позволяет какой бы то ни было Личности иметь более чем одну Работу в одной и той же Компании. Ес- Глава б. Диаграммы классов: дополнительные понятия ли же необходимо разрешить совмещать различную работу, то Работу следует преобразовать в обычный класс, как это сделано на рис. 6.16. работодатель Компания Личность Личность Квалификация Рис. 6.16.
Тонкие особенности класса-ассоциации Ранее в подобных случаях специалисты по моделированию принимали самые разнообразные допущения относительно смысла класса-ассоциации. Некоторые из них предполагали, что могут существовать только уникальные комбинации, такие как в случае компетентности, в то время как другие избегали какого бы ни было ограничения. Многие аналитики вовсе не задумывались об этом и могли в одних случаях допускать наличие ограничения, а в других случаях — нет.
Таким образом, когда вы пользуетесь языком 1тМЬ, помните, что данное ограничение присутствует всегда. Часто этот вид конструкции можно встретить там, где речь идет об исторической информации, как в предыдущем примере с Работой. В подобной ситуации может оказаться полезным образец «Н1в1ог1с Марр1пК», описанный в книге (Фаулер, 1997 [181). Мы можем использовать его, определив стереотип «история» («Ь)втогу»), как на рис.
6.17. Рис. 6.17. Стереотип «история» для ассоциаций Параметризованный класс Данная модель устанавливает, что в каждый момент времени отдельная Личность может работать только в единственной Компании. Однако в течение некоторого периода времени Личность может работать в нескольких компаниях. Это условие предполагает наличие интерфейса следующего вида: о1ааа Рвгвоп ( //получить текуаего работодателя Соврапу цеСЕар1оуег( ); //работодатель на конкретную дату Соврапу цеСЕвр1оуег(0ате); чо1а опапцееар1оуег(соврапу пеневр1оуег, Овсе спапцеОасе); чо1а 1еачеЕвр1оуег(0ате онапцеОате); Стереотип «история» не является частью языка ()МЬ, однако я упомянул о нем здесь по двум причинам.
Во-первых, эта нотация в нескольких случаях моделирования оказалась для меня весьма полезной. Вовторых, она показывает, как можно использовать стереотипы для расширения языка ()М( . Параметризованный класс Некоторые языки, в особенности С++, включают в себя понятие параметризованного класса или шаблона (Сешр)аСе). Наиболее очевидная польза от применения этого понятия проявляется при работе с некоторыми совокупностями в сильно типизированных языках. Таким образом, в общем случае поведение для множеств можно определить с помощью шаблона класса Множество (ЗеС).
о1авв бес <Т> ( чо10 1пвегт(Т пенЕ1еввпс); чо1а гевоче(Т апЕ1ваепС); После этого можно использовать это общее определение для задания конкретных классов-множеств. Вот <Евр1оуее> еар1оувецвт; Для этой цели в языке ()МЬ можно применить параметризованный класс, используя изображенную на рис. 6.18 нотацию. к, Ларянагр шаблона Рис. 6.18. Параметризованный класс Глава б. Диаграммы классов: дополнительные понятия Верхний прямоугольник с буквой Т на диаграмме является тем местом, где указывается параметр типа. (Можно указать более одного параметра.) В нетипизированных языках, таких как язык Яша11$аПс, такой вопрос не возникает, поэтому от данного понятия нет никакой пользы.
Подобное использование параметризованного класса, например Множество <Служащие>, называется связанным элементом (Ьоппс! е!е- шепФ). Связанный элемент можно изобразить двумя способами. Первый способ отражает синтаксис языка С++ (рис. 6. 19). Рис.
6.19. Связанный элемент (версия 1) Альтернативная нотация (рис. 6.20) усиливает связь с шаблоном и допускает переименование связанного элемента. ! «присвщпь эне ниве <Служащий> Присниние зна етв ларане~ру Сваинный элемент Рис. 6.20. Связанный элемент (версия 2) Стереотип «присвоить значение» («Ыпд») является стереотипом отношения уточнения. Эта отношение показывает, что МножествоСлужащих согласовано с интерфейсом Множества. В терминах спецификации МножествоСлужащих является подтипом Множества. Это соответствует другому способу реализации совокупностей конкретных типов, который заключается в объявлении всех необходимых подтипов.
Видимость Однако использование связанного элемента не эквивалентно определению подтипа. В связанный элемент нельзя добавлять свойства — он полностью определяется своим шаблоном. При этом можно добавлять только информацию, ограничивающую его тип. Если же вы хотите добавить свойства, то должны создать некоторый подтип. Параметризованные классы допускают использование производных типов. Если вы создаете тело шаблона, то можете определить операции над соответствующим параметром. Когда в последующем вы объявите связанный элемент, компилятор попытается установить, поддерживает ли передаваемый параметр операции, определенные в данном шаблоне. Именно зти действия соответствуют механизму производных типов, поскольку можно вообще не определять тип параметра; компилятор сам вычисляет его в процессе связывания с источником шаблона.
Это свойство является центральным при использовании параметризованных классов из библиотеки стандартных шаблонов ВТ| (Вйапс|агс| Тешр|а1е 1аЬгагу) в языке С++; зти классы могут также использоваться для решения других программистских задач. Использование параметризованных классов не обходится без последствий — например, в языке С++ они могут повлечь за собой значительное увеличение объема кода.
Я редко использую параметризованные классы в концептуальном моделировании, поскольку онн применяются в основном для совокупностей, которые следует моделировать посредством ассоциаций. (Исключение составляет лишь один случай, когда я все-таки пользуюсь ими. Он связан с образцом вйапяе» (Диапазон) (см.
Фаулер, 1997 118).) Параметризованные классы бывают мне необходимы только в моделях уровня спецификации и реализации, если они поддерживаются тем языком программирования, на котором я работаю. Видимость Должен признаться„что испытываю некоторое беспокойство относительно данного раздела. Видимость — это одно из тех понятий, которые являются простымн по существу, однако обладают сложными тонкостями. Сама идея видимости заключается в том, что у любого класса имеются общедоступные (риЪ|1с) и закрытые (рг|та$е) элементы.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
