subsets в базовых свойствах.
Шаблонные классы (template class) по сути не являются полноценными классами, а только их заготовками, определенными с точностью до значений параметров шаблона. Шаблонным может быть не только класс, но и другие элементы модели. Операция присвоения значения параметру называется связыванием (bind). По смыслу, связывание класса с шаблонным классом с приданием значения параметру аналогично созданию класса из шаблона с указанным значением параметра и наследованием от этого класса.
Переопределение (derived) позволяет заменить определение черты классификатора в рамках его контекста переопределения (redefinition context), составляющего совокупность всех классов, обобщающих данный. При переопределении можно заменить, например, сигнатуру операции. После переопределения при обращении к новой операции в классе следует использовать новую сигнатуру. При этом наследованная переопределенная операция также доступна для использования.
Множество обобщения (generalization set) позволяет логически группировать отношения обобщения. Можно указать, что в данном множестве обобщений приведены все возможные уточнения базового класса, или что совмещение непосредственно уточняющих классов в одном экземпляре или подклассе не допускается.
Супертип (powertype) используется совместно с множеством обобщений. Супертип это классификатор, экземплярами которого являются классы-элементы множества обобщений.
Пакеты (package) позволяют группировать элементы модели под общим именем. Для обращения к элементу пакета необходимо использовать квалифицированное имя, состоящее из имени пакета и имени элемента.
Между пакетами определены отношения доступа «access», которое для элементов пакета делает доступным элементы указанного пакета без необходимости указания квалифицированного имени, и отношение импорта «import», которое аналогично доступу, но делает элементы также доступными при последующем импорте или доступе из другого пакета.
Отношение объединения пакетов (merge) «merge» позволяет объединить в одном элементе определения этого элемента в других пакетах.
Сигналом (signal) называют особый вид классификатора, экземпляром которого является сообшение, передаваемое асинхронно отправителем получателю или группе получателей. Для того, чтобы обрабатывать сигналы, получатель должен быть активным классом (active class), объявлять черту поведения – получение сигнала (reception), с которой может быть связан метод, либо определять собственное поведение, которое обрабатывает поступающие сигналы.
ЗАДАЧИ
4.1. На рис. 11 представлены шаблонные интерфейсы Map и Entry. Интерфейс Map позволяет по ключу типа K получить значение типа V. Интерфейс Entry представляет собой пару значений.
а. Измените модель так, чтобы шаблон Entry использовал параметры шаблона Map.
б. Определите интерфейс Map_StringInteger, который указывает String типом ключа и Integer типом значения в шаблоне Map.
в.