Дж. Арлоу, А. Нейштадт - UML 2 и Унифицированный процесс - Практический объектно-ориентированный анализ и проектирование, страница 42

9.15. Стиль 3214Глава 9. ОтношенияДаже если нет возможности навигации по ассоциации, все равно можетсуществовать возможность прохода по ассоциации, но затраты на этобудут высокими.Даже если нет возможности навигации по ассоциации, все равно может существовать возможность установления отношения в этом направлении. Но вычислительные затраты на это, скорее всего, будуточень высокими. В примере на рис. 9.13, несмотря на отсутствие возможности прямой навигации от Product к Order, просмотрев по очередивсе объекты Order, можно найти Order, ассоциированный с конкретнымобъектом Product. То есть можно пройти не допускающее навигации отношение, но с большими вычислительными затратами. Односторонняя возможность навигации подобна улице с односторонним движением: по ней нельзя пойти против движения напролом, но чтобы добраться до ее конца, можно найти другие (более длинные) пути.Если на целевом конце отношения указано имя роли, объекты исходного класса могут ссылаться на объекты целевого класса по имени роли.С точки зрения реализации на ОО языках программирования возможность навигации подразумевает, что у исходного объекта есть объектная ссылка на целевой объект.

Исходный объект может использоватьэту ссылку для отправки сообщений целевому объекту. На диаграммеобъектов это можно представить в виде однонаправленной связи с ассоциированным сообщением.9.4.4. Ассоциации и атрибутыСуществует тесная связь между ассоциациями класса и атрибутамикласса.Ассоциация между исходным и целевым классами означает, что объекты исходного класса могут сохранять объектную ссылку на объектыцелевого класса. Иначе это можно представить так, что ассоциация эквивалентна исходному классу, имеющему псевдоатрибут целевогокласса.

Объект исходного класса может ссылаться на объект целевогокласса с помощью псевдоатрибута (рис. 9.16).источникHouseцельaddress11HouseAddressaddress:AddressЗадание имени роли для допускающего навигацию отношения аналогично тому,что у исходного класса есть псевдоатрибут с тем же именем, что и имя роли,и того же типа, что и целевой классРис. 9.16. Объект исходного класса ссылается на объект целевого классапосредством псевдоатрибута2159.4. Что такое ассоциация?Нет широко используемого ОО языка программирования, имеющегоспециальную языковую конструкцию для поддержки ассоциаций. Поэтому при автоматическом генерировании кода из UMLмодели ассоциации одинкодному превращаются в атрибуты исходного класса.На рис.

9.17 в сгенерированном коде есть класс House с атрибутом address типа Address. Обратите внимание, как имя роли обеспечивает имяатрибуту, а класс, находящийся на другом конце ассоциации, обеспечивает класс атрибута. Приведенный ниже код на Java был сгенерирован из модели, представленной на рис.

9.17:public class House{private Address address;}Как видите, есть класс House, имеющий один атрибут address типа Address. Обратите внимание, что видимость атрибута address – private; онаприменяется по умолчанию в большинстве случаев генерации кода.Если кратность целевого класса больше 1, она реализуется одним изследующих способов:•как атрибут типа array (массив) (конструкция, поддерживаемаябольшинством языков программирования);•как атрибут некоторого типа, являющегося коллекцией.Коллекции – это просто классы, экземпляры которых имеют особоеповедение, заключающееся в способности сохранять и возвращать ссылки на другие объекты.

Самым обычным примером коллекции в Java является Vector, но есть и многие другие. Более подробно коллекции обсуждаются в разделе 18.10.Псевдоатрибуты хороши для отношений одинкодному и одинкомногим, но для отношений многиекомногим возникают проблемы.Их реализация будет показана в главе 18.Ассоциации используются только тогда, когда целевой класс являетсяважной частью модели, в противном случае отношения моделируютсяс помощью атрибутов. Важными являются бизнесклассы, описывающие часть прикладной области. Не имеющими большого значенияклассами являются компоненты библиотеки, такие как классы String,Date и Time.Houseaddress11псевдоатрибутAddress=Houseaddress:AddressатрибутРис. 9.17.

Из этой модели сгенерирован код, в котором есть класс Houseс атрибутом address типа Address216Глава 9. ОтношенияДо известной степени выбор явного указания ассоциации или атрибутов является вопросом стиля. Лучшим всегда будет тот подход, в котором модель и диаграммы выражают задачу ясно и точно. Часто представленная на диаграмме ассоциация с другим классом более понятна,чем это же отношение, смоделированное как атрибут, который заметить намного сложнее. Если кратность цели больше 1, это ясно показывает, что целевой класс важен для модели.

Таким образом, для моделирования такого отношения используются ассоциации.Если кратность целевого класса равна 1, целевой объект может бытьтолько частью исходного, и поэтому не стоит показывать отношениес ним как ассоциацию. Возможно, лучше смоделировать его как атрибут. Это особенно справедливо, если кратность равна 1 на обоих концах отношения (как на рис. 9.17), когда ни источник, ни цель не могутсуществовать самостоятельно.9.4.5. КлассыассоциацииВ ОО моделировании распространена следующая проблема: когда между классами установлено отношение многиекомногим, встречаются такие атрибуты, которые не удается поместить ни в один из классов. Проиллюстрируем это примером, приведенным на рис.

9.18.На первый взгляд это довольно безобидная модель:•каждый человек (объект Person) может работать во многих компаниях (объект Company);•каждая компания (Company) может нанимать много людей (объектPerson).Однако что происходит, если добавить бизнесправило, заключающееся в том, что каждый Person получает зарплату в каждой нанявшей егоCompany? Где должна быть записана эта зарплата: в классе Person илив классе Company?Действительно, нельзя сделать зарплату Person атрибутом класса Person,потому что каждый экземпляр Person может работать на многие Companyи в каждой получать разную зарплату.

Аналогично нельзя сделать зарплату атрибутом Company, поскольку каждый экземпляр Company нанимает множество Person, зарплата которых может быть разной.Решение кроется в том, что зарплата на самом деле является собствен+ностью самой ассоциации. У каждой ассоциации найма, устанавливаемой между объектом Person и объектом Company, своя индивидуальная зарплата.Company**PersonРис. 9.18. Отношение многие+ко+многим2179.4. Что такое ассоциация?UML позволяет моделировать эту ситуацию с помощью классаассоциации (рис.

9.19). Важно понимать этот синтаксис: многие люди думают,что классассоциация – это всего лишь прямоугольник, свисающийс ассоциации. Но ничто не могло бы быть дальше от истины, чем это.На самом деле классассоциация – это линия ассоциации (включая всеимена ролей и кратности), пунктирная нисходящая линия и прямоугольник класса на конце пунктирной линии. Короче говоря, классассоциация – все, что входит в затемненную область (рис.

9.19).Классассоциация – это ассоциация, являющаяся еще и классом.По сути, классассоциация – это ассоциация, являющаяся еще и классом. Она не только соединяет два класса, как обычная ассоциация, онаопределяет набор характеристик, принадлежащих самой ассоциации.У классовассоциаций могут быть атрибуты, операции и другие ассоциации.Классассоциация означает, что в любой момент времени между любыми двумя объектами может существовать только одна связь.Экземпляры классаассоциации – это на самом деле связи, у которыхесть атрибуты и операции.

Уникальная идентификация этих связей определяется исключительно индивидуальностью объектов, находящихсяна каждом конце. Этот фактор ограничивает семантику классаассоциации: его можно использовать только тогда, когда между двумя объектами в любой момент времени установлена единственная уникальнаясвязь. Это обусловлено тем, что каждая связь, которая является экземпляром классаассоциации, должна быть уникальной.

На рис. 9.19 применение классаассоциации означает, что на модель накладывается следующее ограничение: для данного объекта Person и данного объекта Company может существовать только один объект Job (должность). Иначе говоря, каждый Person может занимать только одну Job в данной Company.Однако если ситуация такова, что данный объект Person может занимать несколько Job в данном объекте Company, классассоциацию использовать нельзя – семантика не соответствует!Но нам попрежнему надо кудато сохранять зарплату для каждойгруппы Company/Job/Person. Поэтому мы материализуем (делаем реальCompany**PersonJobкласс!ассоциацияsalary:doubleРис.

9.19. Класс+ассоциациякласс!ассоциация состоит из класса,ассоциации и пунктирной линии218Глава 9. Отношения1Company*Job*1Personsalary:doubleРис. 9.20. Материализованное отношение в виде обычного классаным) отношение, представляя его в виде обычного класса. На рис. 9.20Job является обычным классом. Как видите, у Person может быть несколько Job, каждая Job в каждой конкретной Company.Материализованное отношение делает возможным существование более одной связи между любыми двумя объектами в конкретный моментвремени.Откровенно говоря, многие разработчики объектных моделей простоне понимают семантической разницы между классамиассоциациямии материализованными отношениями. Поэтому одни часто подменяются другими.

Однако разница на самом деле очевидна: классыассоциации могут использоваться только в том случае, когда каждая связьимеет уникальную индивидуальность. Надо просто запомнить, что индивидуальность связи определяется индивидуальностью объектов,располагающихся на ее концах.9.4.6. Квалифицированные ассоциацииКвалифицированные ассоциации могут использоваться для превращения ассоциации nкомногим в ассоциацию nкодному путем заданияодного объекта (или группы объектов) из целевого набора. Это оченьполезные элементы модели, поскольку они показывают, как можновести поиск или осуществлять навигацию к конкретным объектамколлекции.Рассмотрим модель, изображенную на рис.