Дж. Рамбо, М. Блаха - UML 2.0 - Объектно-ориентированное моделирование и разработка, страница 13

3.17 атрибут ассехтРегглЬяол относится к файлу и пользователю одновременно и не может быть прикреплен только к одному из них без потери информации. На рис. 3.18 показаны атрибуты двух ассоциаций типа один-ко-многим. Каждый человек, работающий на компанию, получает зарплату и занимает некоторую должность. Босс оценивает работу каждого сотрудника. Атрибуты могут присутствовать и в ассоциациях типа один-к-одному. На рис. 3.19 показано, каким образом можно упаковать атрибуты ассоциации типа один-к-одному или один-ко-многнм в класс, противоположный полюсу с кратностью «один». Для ассоциаций типа многие-ко-многим это сделать невозможно. Как правило, упаковывать атрибуты ассоциации в файл все же не рекомендуется, поскольку кратность ассоциации может измениться. Оба варианта, изображенных на рис.

3. 19, допустимы для ассоциации типа один-ко-многим, однако только первая форма останется корректной, если кратность ассоциации ИЪиЬРог изменится на многие-ко-многим. 3.2. Концепции связи и ассоциации 57 Мападва рвгГоппапсеиаепе Рис. 3.18. Атрибуты в ассоциациях типа один-ко-многим На рис. 3.20 показан класс ассоциации, участвуюший в другой ассоциации. Пользователи могут проходить авторизацию на нескольких рабочих станциях.

Каждая авторизация обладает приоритетом и правами доступа. Пользователь имеет домашний каталог на всех рабочих станциях, где он авторизован, но у нескольких рабочих станций и пользователей может быть один домашний каталог. Классы ассоциаций являются важным аспектом модели классов, поскольку они позволяют точно указать индивидуальности и маршруты навигации. Првдпочтитвльная форма ~оьТШв Не рекомендуется Рис. 3.19. Не следует упаковывать атрибуты ассоциации в класс Рис.

3.20. Класс ассоциации позволяет четко указать индивидуальности и маршруты навигации Не следует путать классы ассоциаций с ассоциациями, которые были выделены в отдельные классы. Разница демонстрируется на рис. 3.21. Класс ассоциации порождает один-единственный экземпляр для каждой пары экземпляров человека и компании. Напротив, экземпляров покупок (акций) между одним человеком 58 Глава 3 ° Моделирование классов и одной компанией может быть сколько угодно.

Каждая покупка обладает собст- венной индивидуальностью и собственными значениями количества, даты и стои- мости. Клесс-ессоциеция О япе81оса циепйу Обычный клесс Рис. 3.21. Классы ассоциаций существенно отличаются от обычных классов 3.2.7. Квалифицированные ассоциации Квалифицированной называется ассоциация, у которой имеется специальный атрибут (квалификатор), используемый для того, чтобы отличать друг от друга объекты, находящиеся на полюсе ассоциации с кратностью «многом Квалификаторы могут быть определены для ассоциаций типа один-ко-многим и многиеко-многим. Квалификатор позволяет выбрать отдельный объект из множества целевых объектов, уменьшая таким образом эффективную кратность до значения «один». Квалифицированная ассоциация с целевой кратностью «один» или «не более одного» образует четкий маршрут для поиска целевого объекта по исходному.

На рис. 3.22 демонстрируется наиболее типичный пример использования квалификатора для ассоциаций с кратностью один-ко-многим. Банк обслуживает множество счетов. Счет принадлежит одному-единственному банку. В контексте банка уникальный счет определяется своим номером.

Банк и Счет — это классы, а Номерсчета — квалификатор. Квалификация уменьшает эффективную кратность ассоциации до единицы. 1 Вела ессоип1Митьег 0..1 Ассоц т Кеелифицироеенная Неквалифицированная Рис. 3.22. Квалифицированная ассоциация Обе модели (квалифицированная и неквалифицированная) вполне корректны, но модель с квалифицированной ассоциацией сообщает дополнительную информацию. В квалифицированной модели добавляется ограничение на кратностге сочетание банка и номера счета дает не более одного счета. Квалифицированная модель также передает значение номера счета для прослеживания модели, что 3.3.

Обобщение и наследование Б9 отражается в методах. Сначала следует найти банк, а затем указать номер счета, и в результате вы получаете нужный счет. Для обозначения квалификатора используется небольшой прямоугольник, который пристыковывается к исходному классу около конца линии, обозначающей ассоциацию. Квалификатор может быть пристыкован к любой стороне прямоугольника исходного класса. Исходный класс вместе с квалификатором определяют целевой класс. На рис.

3.22 ВапЬ и ассоипг№тЬег вместе дают Ассоипг, а потому асоипг!»итбег указывается в прямоугольнике, пристыковаииом к объекту Вапlг. Другой пример применения квалификатора приведен иа рис. 3.23. На бирже представлены многие компании. Однако каждая из иих имеет свой собствеииый код ценных бумаг. Компания может присутствовать иа разных биржах с разными кодами. (Мы предполагаем, что это утверждение истинно. Если бы иа всех биржах система кодов была единой, мы бы сделали ВсЬе~5утЬо! атрибутом класса Сатрапу.) Рис. 3.23. Квалификатор облегчает прослеживание моделей классов 3.3.

Обобщение и наследование 3.3.1. Определения Обобшеиие (яепега11хат1оп) — это отношение между классом (суперклассом) и одиой или несколькими его вариациями (подклассами). Обобщение объединяет классы по их общим свойствам, благодаря чему обеспечивается структурирование описания объектов. Суперкласс характеризуется общими атрибутами, операциями и ассоциациями. Подклассы добавляют к иим свои собственные атрибуты, операции и ассоциации. Говорят, что подкласс наследует составляющие суперкласса. Обобщение иногда называется отношением типа «является», поскольку каждый экземпляр подкласса одновременно является экземпляром суперкласса. Простое обобшеиие упорядочивает классы в рамках некоторой иерархии. В этом случае каждый подкласс имеет одного непосредственного предка (его суперкласс). В главе 4 рассматривается более сложная форма обобщения, при которой подкласс может иметь несколько иепосредствеииых суперклассов.

Уровней обобщения может быть много. 60 Глава 3 ° Моделирование классов (Г1римечание: список устройств, насосов и резервуаров не попныйй Рогпр Неагнхснапоег Тапа зсгГаселгеа 1ОЬе01ате1ег 1ОЬеьапогь ЧО!ОГПЕ РГЕЗЗОГЕ 5ОСВООРгеззсге 615спагяеРгеззОГЗ Яопна1е Врненса1тапа Ргеазпг1хедтапа Р1оаопонооттапа Е1апе1ег гйагпе1ег Ье!цм Е1авегег ЬЗ1ды Рис. 3.24. Многоуровневая иерархия наследования с экземплярами Примеры обобщений приведены на рис. 3.24. Оборудование может быть насосом, теплообменником или резервуаром. Насосы бывают нескольких типов: центробежные, мембранные и плунжерные.

Резервуары бывают сферические, с наддувом и с плавающей крышей. То, что символ обобщения резервуара изображен ниже символа обобщения насоса, никакого особого значения не имеет. В нижней части рисунка изображены несколько объектов. Каждый объект наследует составляющие от одного класса с каждого уровня иерархии обобщений. Поэтому объект Р101 обладает составляющими оборудования, насоса и мембранною насоса. Объект Е302 обладает составляющими оборудования и теплообменника.

3.3. Обобщение н наследование 61 Обобщение обозначается большой незакрашенной стрелкой. Стрелка указывает на суперкласс. Суперкласс можно соединять с каждым из его подклассов непосредственно, но мы предпочитаем группировать обобщения в дерево. Треугольник можно повернуть и расположить его с любой стороны от суперкласса, но по возможности следует изображать суперкласс сверху, а его подклассы — снизу.

Комментарии 0МЕ, указывающие на наличие дополнительных подклассов, не приведенных на диаграмме, ставятся в фигурных скобках. Обобщение транзитивно и действует через произвольное количество уровней иерархии. Термины предок (апсезгог) и потомок (дезсепдапЕ) используются для описания классов, находящихся далеко друг от друга по уровням, но связанных отношением обобщения. Экземпляр подкласса одновременно является экземпляром всех его предков.

Экземпляр обладает значениями всех атрибутов всех классов-предков. Экземпляр может вызывать любую операцию, указанную у любого из его предков. Подклассы не только наследуют все составляющие своих предков, но и добавляют к ним свои собственные составляющие. Например, Риглр добавляет атрибуты зисаопргеззиге, йзсйатдергетите и ~!отойаге, отсутствующие у оборудования других классов. На рис. 3.25 изображены классы геометрических фигур.

Этот пример лежит ближе к программированию и демонстрирует наследование операций. Операции гдове, зе(есб гогаге и йу1ау наследуются всеми подклассами. Операция зса1е применяется только к одномерным и двумерным фигурам. Операция ~гл применима только к двумерным фигурам. Рис. 3.25. Наследование на примере геометрических фигур 62 Глава 3 «Моделирование классов Слово, написанное на диаграмме рядом с линией, обозначающей обобшенне,— это имя набора обобщений (о1тепз1опа11гу — размерность).

Имя набора обобщений — это перечислимый атрибут, показывающий, какой аспект объекта абстрагируется конкретным обобщением. Каждый набор должен абстрагировать только один аспект. Например, аспектами обобщений для класса ТранспортноеСредство являются источник энергии (ветер, горючее, животное, сила тяжести) и область передвижения (земля, воздух, вода, безвоздушное пространство). Значения наборов обобщений находятся во взаимно-однозначном соответствии с подклассами обобщений.

Название набора обобщений указывать не обязательно. Не следует создавать слишком глубокую иерархию подклассов. Глубоко вложенные подклассы могут затруднять восприятие модели, точно так же, как глубоко вложенные участки кода в процедурных языках. Небольшое реструктурирование часто помогает уменьшить глубину иерархии наследования. На практике подходягцая глубина вложенности определяется вкусом разработчика.