М. Фаулер, К. Скотт - UML Основы (1114905), страница 20
Текст из файла (страница 20)
93 Операции и атрибуты в контексте класса 1 предок Рис. 6.1. Диаграмма классов для Партии сложной структуры Вы можете сказать, что изображенные на рис. 6.2 элементы являются экземплярами, поскольку их имена подчеркнуты. Каждое имя записывается в виде имя экземпляра: имя класса. Обе части имени не являются обязательными, поэтому н Джон н ьЛнчность представляют собой допустимые имена. При этом можно указать значения атрибутов и связей, как изображено на рис.
6.2. Рис. 6.2. Диаграмма объектов для примера экземпляров класса Партия Диаграмму объектов можно представлять себе как диаграмму кооперации без сообщений. Операции и атрибуты в контексте класса Если в языке СМЕ на операции или атрибуты ссылаются применительно к некоторому классу, а не экземпляру класса, то имеет место так называемый контекст класса. Это эквивалентно статическим членам в языках С++ или матье и переменным и методам класса в языке Глава б.
Диаграммы классов; дополнительные понятия ЗтпаП~а()с. На диаграмме классов свойство в контексте класса поддаркцвдцтая (рис. 6.3). Контекст ЖЮИЩИ Рве. о.3. Нотация контекста класса Множественная и динамическая классификация Классификация служит для обозначения отношения между некоторым объектом и его типом. Большинство методов делают некоторые предположения о типе этого отношения; аналогичные предположения также присутствуют в основных объектно-ориентированных языках программирования.
Джим Оделл высказал сомнения по поводу этих предположений„поскольку, по его мнению, они являются слишком жесткими для концептуального моделирования. Поскольку ати предположения устанавливают однозначную статическую классификацию объектов, Оделл предложил использовать для концептуального моделирования множественную динамическую классификацию. При однозначной классификации любой объект принадлежит единственному типу, который может наследовать от супертипов. При множественной классификации объект может быть описан несколькими типами, которые не обязательно должны быть связаны наследованием.
Заметим, что множественная классификация отличается от множественного наследования. При множественном наследовании тип может иметь много супертипов, но для каждого объекта должен быть определен только один тип. Множественная классификация допускает принадлежность объекта нескольким типам без определения специального типа для этой цели. В качестве примера рассмотрим тип Личность, подтипами которой являются Мужчина или Женщина, Доктор или Медсестра, Пациент или вообще никто (рис.6.4). Множественная классификация позволяет некоторому объекту иметь любой из этих типов в любом допустимом сочетании, при атом нет необходимости определять типы для всех допустимых сочетаний. Если вы используете множественную классификацию, то должны быть уверены в том, что четко определили, какие сочетания являются допустимыми. Это делается с помощью дискриминатора, который помечает линию обобщения и характеризует сущность подтипов.
Не- 95 Множественная и динамическая классификация сколько подтипов могут иметь общий для всех дискриминатор. Все подтипы с одним и тем же дискриминатором являются непересекающимися, то есть любой зкземпляр супертипа может быть экземпляром только одного из подтипов с данным дискриминатором. Удачный способ изобразить ситуацию, в которой несколько подклассов используют один дискриминатор, — зто соединить соответствующие линии с одним треугольником обобщения, как показано на рис. 6.4. Альтернативный способ — изобразить несколько стрелок с одинаковыми текстовыми метками.
Рис. оА. Множественная классификация Можно задать одно полезное ограничение, которое позволяет утверждать, что любой экземпляр суперкласса должен быть зкземпляром одного из подклассов в данной группе. (Суперкласс в атом случае является абстрактным.) Хотя по атому вопросу в стандарте языка ОМЬ существует некоторая путаница, многие аналитики используют ограничение (согпр)еФе) (полный) для задания подобного ограничения. В качестве иллюстрации отметим следующие допустимые сочетания подтипов на диаграмме: (Женщина, Пациент, Медсестра), (Мужчина, Физиотерапевт), (Женщина, Пациент) и (Женщина, Доктор, Хирург).
Заметим также, что такие сочетания, как (Пациент, Доктор) и (Мужчина, Доктор, Медсестра) являются недопустимыми. Первое множество недопустимо, поскольку не включает тип, определенный дискриминатором е пол е с ограничением (полный); второе множество недопустимо, поскольку включает сразу два типа с одним и тем же дискриминатором «роль». По определению однозначной классификации соответствует единственный непомеченный дискриминатор. 96 Глава б.
Диаграммы классов: дополнительные понятия Возникает еще один вопрос: может ли объект изменять свой тип7 Примером такой ситуации является банковский счет. Когда счет клиента становится пустым, он существенно меняет свое поведение. В частности, должны быть переопределены некоторые операции (включая «снять со счета» и «закрыть счет»). Динамическая классификация разрешает объектам изменять свой тип в рамках структуры подтипов, а статическая классификация этого не допускает. Статическая классификация проводит границу между типами и состояниями, а динамическая классификация объединяет эти понятия.
Следует ли использовать множественную динамическую классификацию7 Я полагаю, что она полезна для концептуального моделирования. Ее можно использовать и при моделировании спецификаций, но при этом нужно иметь подходящее средство для ее реализации. Весьма характерно, что с точки зрения интерфейса динамическая классификация выглядит как обычное обобщение, и пользователь класса не сможет определить, какая конкретная реализация используется (см.
Фаулер, 1997 [181). Однако, как и в большинстве подобных случаев, выбор зависит от конкретных обстоятельств, и окончательное решение остается за вами. Преобразование множественного динамического интерфейса в однозначную статическую реализацию может оказаться более затруднительным, чем оно того заслуживает. На рис. 6. б показан пример использования динамической классификации в отношении работы, выполняемой личностью, которая, естественно, может меняться. Характерно, что в этом случае для подтипов необходимо определить дополнительное поведение, а не только одни метки. В подобных случаях зачастую имеет смысл создать отдельный класс для выполняемой работы и связать этот класс с личностью с помощью некоторой ассоциации.
Специально для этой цели я разработал образец под названием «Ролевые Модели»; информацию об этом образце и другую информацию, дополняющую мою книгу «Апа)ув(э Рат,- 1егпв» 118), можно найти в Интернете на моей домашней страничке. Рис. 6.5. Динамическая классификация Агрегация и композиция Агрегация и композиция Агрегация — один нз моих излюбленных приемов моделирования. Это легко объяснить в двух словах: агрегация — отношение «являться частьюь.
Например, можно сказать, что двигатель и колеса являются частями автомобиля. Звучит вроде бы просто, однако при рассмотрении разницы между агрегацией н ассоциацией возникают определенные трудности. До появления языка ПМЬ вопрос о различии агрегации и ассоциации у аналитиков просто не возникал.
Осознавалась подобная неопределенность или нет, но свои работы в этом вопросе аналитики совсем не согласовывали между собой. В результате многие разработчики считали агрегацию важной, но по совершенно другой причине. Язык ПМЬ определяет агрегацию, но семантика этого отношения очень широка. Вот мнение Джима Рэмбо: «Представляйте ее как безвредное лекарство«(Рамбо, Джекобсон, Буч, 1999, [373). В дополнение к агрегации в языке УМЬ определена более сильная разновидность агрегации, называемая композицией. При композиции объект-часть может принадлежать только единственному целому; кроме того, как правило, жизненный цикл частей совпадает с жизненным циклом целого: части живут и умирают вместе с целым.
Обычно любое удаление целого распространяется на все его части. Такое каскадное удаление часто рассматривается как часть определения агрегации, однако оно имеет место только в том случае, когда кратность конца ассоциации составляет 1..1. Например, если вы действительно хотите удалить Клиента, то должны распространить это удаление на Заказы (и, соответственно, на Строки Заказа). На рис. 6.6 изображены примеры рассмотренных ранее понятий. Связи композиции у Точки означают, что любой экземпляр Точки может быть либо Многоугольником, либо Окружностью, но не может быть Рис.6.6.Агрегацил и композиция 98 Глава б. Диаграммы классов: дополнительные понятия ими одновременно, Однако некоторый экземпляр Стиля может быть общим для нескольких Многоугольникос и Окружностей.
Более того, указанная композиция означает, что удаление некоторого Многоугольника повлечет за собой удаление всех ассоциированных с ним Точек, но не повлечет удаление связанного с ним Стиля. Подобное ограничение, а именно: некоторая Точка может одновременно принадлежать только либо Многоугольнику, либо Окружное ти. не может быть представлено с помощью кратности 1. Из этого также следует, что точка является объектом-значением (см. раздел «Ссылочные объекты и объекты-значения«в этой главе). К противоположной стороне этой ассоциации можно добавить кратность 0..1, но сам я этого не делаю.
Черный ромб говорит все, что должно быть сказано. На рис. 6.7 показано другое обозначение композиции. В этом случае компонент-часть помещается внутрь целого. Имя клаесса-компонента не выделяется полужирным шрифтом и записывается в виде имя роли: имя Класса. Кроме того, в верхнем правом углу указывается кратность. Можно использовать также и атрибут для компоненты с единственным значением. Рие. 6.7. Альтернативная нотация для комногиции В разных ситуациях для композиции используются различные обозначения. Это только две нотации для композиции, хотя вариантов для подобной нотации, предлагаемых языком УМБ, гораздо больше. Следует обратить внимание, что эти варианты нотации могут использоваться только для композиции, но не для агрегации.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
