М. Фаулер, К. Скотт - UML. Основы - 2002 (1158629), страница 20
Текст из файла (страница 20)
Поскольку интерфейс является частным случаем класса, он определяется как стереотип класса. (Подробнее об этом см. в разделе «Интерфейсы и абстрактные классы» далее в этой главе.) Стереотипы обычно записываются с помощью текста, заключенного в кавычки (например, »интерфейс»), однако они могут также изображаться с помощью пиктограммы стереотипа. Многие расширения ядра языка 1)МЬ можно описать в виде совокупности стереотипов.
В рамках диаграмм классов могут существовать стереотипы классов, ассоциаций или обобщений. Вы можете понимать стереотипы как подтипы следующих типов метамодели: Класса„Ассоциации и Обобщения. При использовании языка 1)МЬ аналитикам иногда бывает трудно разобраться в разнице между ограничениями и стереотипами. Если вы помечаете класс как абстрактный, то что это — ограничение или стереотип"г В существующих официальных документах это называется ограничением, но нужно сознавать, что различие между ним и стереотипом весьма размыто. Именно поэтому нет ничего удивительного в том, что подтипы зачастую являются более ограниченными, чем супертипы.
Работа ОМО в этом направлении сосредоточена на создании так называемых профилей ()МЬ. Профиль представляет собой часть языка 1)МЬ и расширяет его с помощью стереотипов, предназначенных для специальных целей. Начало этой работы ОМО положено разработкой профиля реального времени и профиля языка определения интерфейсов (1РЬ) СОВВА. Очевидно, что работа в зтом направлении будет продолжена.
Диаграмма объектов Диаграмма объектов представляет собой мгновенный снимок объектов системы с точки зрения времени. Поскольку на ней изображаются экземпляры классов, но не сами классы, диаграмма объектов часто называется диаграммой экземпляров. Для представления варианта конфигурации объектов может быть использована некоторая диаграмма экземпляров. (На рис. 6.1 изображено некоторое множество классов, а на рис.
6.2 — соответствующее множество объектов.) Это может оказаться весьма полезным в случае сложных связей между объектами. 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. Динамическая классификация Агрегация и композиция Агрегация и композиция Агрегация — один нз моих излюбленных приемов моделирования. Это легко объяснить в двух словах: агрегация — отношение «являться частьюь. Например, можно сказать, что двигатель и колеса являются частями автомобиля. Звучит вроде бы просто, однако при рассмотрении разницы между агрегацией н ассоциацией возникают определенные трудности. До появления языка ПМЬ вопрос о различии агрегации и ассоциации у аналитиков просто не возникал. Осознавалась подобная неопределенность или нет, но свои работы в этом вопросе аналитики совсем не согласовывали между собой.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
