Дж. Рамбо, М. Блаха - UML 2.0 - Объектно-ориентированное моделирование и разработка (1158633), страница 24
Текст из файла (страница 24)
Закладка подразумевает наличие вложенного содержимого и должна вызывать ассоциации с папкой. Рвоааевиаев Рис. 4.27. Обозначение пакета 4.12. Практические рекомендации 107 Тема пакета может быть достаточно произвольной. Темой может быть основной класс, основные отношения, важнейшие аспекты функциональности или симметрия. Во многих бизнес-системах имеются пакеты, которые называются Сизготег (Клиент) или Рагг (Деталь). Клиент и Деталь — основные классы, важные для бизнеса, поэтому они и присутствуют во множестве приложений. В инженерном приложении мы разделили модель классов на пакеты по преобладающему отношению. Модель была нацелена на описание оборудования, а атрибуты и отношения сильно отличаются у разных типов оборудования.
Модель классов компилятора можно было бы разделить на пакеты лексического анализа, разбора, семантического анализа, генерации кода и оптимизации. После формирования пакетов можно воспользоваться соображениями симметрии для формирования дополнительных пакетов. Ниже мы приводим рекомендации, которыми стоит воспользоваться прн проектировании пакетов. ° Аккуратно определяйте область каждого пакета. Точные границы пакета зависят только от вас.
Определение области пакета требует планирования и организации, подобно многим другим аспектам моделирования. Следите за тем, чтобы имена классов и ассоциаций в каждом пакете были уникальными и по возможности согласовывались друг с другом в разных пакетах. ° Определяйте каждый класс только в одном пакете. В этом пакете должны быть указаны название класса, его атрибуты и операции. В остальных пакетах, ссылающихся на этот класс, достаточно значка класса — прямоугольника с его именем.
Такое соглашение облегчает чтение моделей классов, потому что сразу видно, к какому пакету относится какой-либо класс. Читатель не отвлекается на определения, которые могут быть несогласованными (если вы забудете исходное определение класса). Кроме того, оно упрощает параллельную разработку пакетов. ° Делайте пакеты удобными для совместного использования.
Ассоциации и обобщения должны умещаться внутри одного пакета, но классы могут присутствовать в разных пакетах и тем самым связывать их. В среднем не более 20 — 30 Ж классов должны присутствовать в нескольких пакетах. 4.12. Практические рекомендации В этой главе мы приводим новые рекомендации, в дополнение к тем, что были да- ны в главе 3. ° Перечисления. При конструировании модели нужно объявлять перечисления и множество их значений, поскольку встречаются они довольно часто и важны для пользователей. Не создавайте ненужных обобщений для атрибутов, которые являются перечислениями.
Класс следует специализировать только в том случае, если его подклассы обладают собственными атрибутами, операциями или ассоциациями (раздел 4.1.1). 108 Глава 4 ° Углубленное моделирование классов ° Статические атрибуты. Статический атрибут допустимо использовать для хранения экстента класса (множества его объектов). Других статических атрибутов следует избегать, так как они ухудшают модели. Вы можете улучшить модель, создав явные модели групп и приписав атрибуты им (раздел 4.1.3). ° Х-арные ассоциации.
Старайтесь их избегать. Большинство г1-арных ассоциаций могут быть разбиты на бинарные (раздел 4.3). ° Конкретные суперклассы. С точки зрения стиля, их тоже следует избегать. Удобно делать все суперклассы абстрактными, а все подклассы-листья — конкретными. Избежать конкретизации суперкласса можно, добавив подкласс Огйег (Прочие) (раздел 4.5). ° Множественное наследование. Стоит использовать только в том случае, если оно действительно необходимо для модели (раздел 4.6). ° Ограничения. Вы можете попытаться реструктурировать модель классов, чтобы охватить дополнительные ограничения ее структурой (раздел 4.9).
° Производные элементы. Производность элемента нужно обозначать всегда, а пользоваться производными элементами следует по возможности реже (раздел 4.10). ° Крупные модели. Для организации крупных моделей лучше всего использовать пакеты. Это позволит читателю воспринимать модель по частям, а не целиком за один раз (раздел 4.11).
° Определение классов. Каждый класс следует определять в отдельном пакете, где и указывать его составляющие. В пакетах, ссылающихся на этот класс, достаточно значка класса — прямоугольника с его именем. Это упрощает чтение моделей и облегчает параллельную разработку (раздел 4.11). 4.13. Резюме В этой главе мы затронули несколько тем и раскрыли тонкости моделирования классов. Для простых моделей описанные здесь концепции не понадобятся, но для сложных приложений они могут оказаться необходимыми. Помните, что содержимое модели должно определяться потребностями приложения. Усложненные концепции нужно использовать только тогда, когда они помогают создать приложение, делая модель более ясной, совершенствуя ее структуру или позволяя выразить сложную идею.
Тип данных является описанием значений. Каждый атрибут должен получить свой тип, иначе модель не может быть реализована. Перечисление — это особый тип данных с конечным набором возможных значений. Перечисляемые значения часто преобладают в пользовательских интерфейсах. Кратность — это ограничение на количество элементов множества Она применима к атрибутам и к ассоциациям. Кратность ассоциации ограничивает количество объектов, которые могут быть связаны с конкретным объектом.
Кратность атрибута 4.13. резюме 109 Таблица 4.1. Ключевые понятия главы абстрактный класс абстрактная операция обобщение м стада нные множественное наследование конкретный класс ограничение делегирование пакет распространение воплощение агрегапия область действия производный элемент полюс ассоциации кратность (атрибута) композиция и-арная ассоциация перечисление видимость ограничивает количество значений, которые могут быть присвоены конкретному экземпляру атрибута.
1ч-арных ассоциаций лучше избегать, разбивая их на бинарные (чаще всего это возможно). Большинство языков программирования потребуют превращения Х-арных ассоциаций в классы. Агрегация — это частный случай ассоциации, в которой объект-агрегат состоит из составляющих частей. Агрегация характеризуется транзитивностью и анти- симметрией. Эти свойства отличают ее от ассоциации.
Операции над агрегатом часто распространяются на составляющие части. Композиция — это частный случай агрегации с двумя дополнительными ограничениями. Часть композиции может принадлежать только одному агрегату. Как только она была отнесена к какому-либо агрегату, ее время жизни становится равным времени жизни целого агрегата. Композиция подразумевает, что часть принадлежит целому. Абстрактный класс не может иметь непосредственных экземпляров. Конкретный класс может иметь непосредственные экземпляры.
Абстрактные классы позволяют определить методы, которые будут использоваться несколькими подклассами. Кроме того, в них можно определить сигнатуру операции, а реализацию предоставить в подклассах. Множественное наследование позволяет подклассу наследовать составляющие нескольких суперклассов. Каждое обобщение должно проводиться по одному аспекту. Подклассы следует разбить на несколько обобщений, если они специализируют суперкласс по нескольким аспектам. Подкласс может наследовать составляющие от классов из нескольких обобщений и даже из перекрывающихся обобщений, но он не может быть потомком двух классов одного обобщения, если оно является несовместным.
Явные ограничения на классы, ассоциации и атрибуты повышают точность модели. Примерами встроенных ограничений являются обобщения и кратность. В модели могут присутствовать производные элементы, но они не несут в себе никакой информации. Пакет — это группа классов, ассоциаций, обобщений и вложенных пакетов, объединенных общей темой. Пакеты позволяют разбить крупную модель на части, чтобы облегчить ее восприятие и поддержку. 110 Глава 4 ° Углубленное моделирование классов Библиографические замечания В книге [КптЬап8Ь-05) подробно рассказывается о многих тонкостях (1М(., которым не нашлось места в этой главе.
Книга [Юагшег-99) является официальным описанием языка объектных ограничений ОС1.. В предыдущем издании этой книги для указания кратности Х-арных ассоциаций использовались потенциальные ключи (санг!(г]аге )геуз). В этом контексте потенциальный ключ является минимальным набором полюсов ассоциации, уникально идентифицирующим связь. В настоящем издании мы не рассказывали об этой концепции, потому что она редко используется в программировании. Кроме того, концепция области (зсоре) заменила термины атрибут класса (с!азз аггпЬпге) и операция класса (с!азз орегаг!оп) из предыдущего издания.
Ссылки [МсАПезгег-86] 1)ачЫ МсА11езгег, Кат(п 2аЬ1Ь. Воо!еап с1азэез. ООР8).А'87 аз 81СР1.АХ 22, 12 (1)есетЪег 1987), 417-424. [КцтЬапйЬ-88] ]ашез Е. КпшЬапйЬ. Сопгго!1!п8 ргорайагюп о( орегаг!опз пгйп8 асспЬпгез оп ге1агюпз. ООР5).А'88 аз АСМ 51СР(.АХ 23, 11 (ХочегпЪег 1988), 285-296. [КпшЬап8Ь-05) ]аваев КпшЪапйЬ, 1чаг ]асоЬзоп, Сгаг(у ВоосЬ. ТЬе ()п!11ег! Мог[е!!п8 (лпйпайе Ке!егепсе Маппа1, 5есопб ЕЙГ!оп. Возтоп: АгЫ!зоп-Юез!еу, 2005. [ЪЧагшег-99] ]оз 'ч!гагшег апб Аппе]ге К!ерре.