|
61 дополнительно. Ниже, при описании популяции информационной модели будут даны обязательные правила. Функция специализации является транзитивной относительно множества объектных классов, что следует из ее определения через идентификационную иерархию. Однако, следует отметить, что процесс специализации не является циклическим или бесконечным. Для любой иерархической цепочки специализации может быть выделен корневой класс, который можно обозначить как П(ху) = (х 8РЕС у V л* = у) и не существует г, такого что г 8РЕСу. Для данного корневого элемента выполняется следующая аксиома[6]. Аксиома 1(для корневого элемента). П(х,у)лП(ху г)=>у = 2. Обобщение является механизмом, который позволяет создавать новые объектные классы с помощью унификации существующих. Функция обобщения применима, если различные объектные классы имеют одинаковые семантические представления в фактических классах (имеют одинаковые свойства). Обобщение не является обратной функцией специализации. Обе функции независимы и имеют различные свойства. Изначально формализация данных абстрактных механизмов была привнесена в объектное моделирование из теории множеств и опирается на различные аксиомы этой теории. Специализация базируется на определении множества ({х е 5 $х)}, где (Црс) правило определения подкласса), в то время как обобщение базируется на свойствах объединения множеств. При обобщении обычно требуется, чтобы множество свойств обобщенного объектного класса было тождественно объединению свойств набора базовых объектных классов. При этом, в отличие от специализации, не требуется правил определения обобщенного класса. Применение двух способов получения новых классов различно. Специализация требуется тогда, когда необходимо, чтобы некоторый набор |
79 Свойсгво5.(/с//7г). Взаимосвязь функции наследования с обобщением и специализацией. Если х 1(1(1 г' у=> х (ШИ у V * 8РЕС у и, образно, если х (7ЕМ у V х ЕР ЕС у => х Ш(1г у Как уже отмечалось выше, специализация является механизмом создания одного или нескольких объектных классов (с возможным совпадением свойств) из данного объектного класса или из нескольких базовых классов. Она позволяет получить объектный класс, имеющий дополнительный набор свойств относительно базового класса, или набора базовых классов. В этом случае, наличие специализации требует, чтобы подкласс мог быть определен через один или несколько базовых классов. При специализации существуют правила определения подклассов. Данные правила реализованы в виде формальных ограничений, накладываемых на множество базовых классов. Набор таких ограничений зависит от постановки задачи и может быть введен разработчиком дополнительно. Ниже, при описании популяции информационной модели будут даны обязательные правила. Функция специализации является транзитивной относительно множества объекгных классов, что следует из ее определения через идентификационную иерархию. Однако, следует отметить, что процесс специализации не является циклическим или бесконечным. Для любой иерархической цепочки специализации может быть выделен корневой класс, который можно обозначить как П(х,у) = (х ЕР ЕС у V:х = у) и не существует г, такого что г ЕРЕС у. Для данного корневого элемента выполняется следующая аксиома Аксиома! (для корневого элемента). П(ху у) л П{х,г) => у = 2 . Обобщение является механизмом, который позволяет создавать новые объектные классы с помощью унификации существующих. Функция 80 обобщения применима, если различные объектные классы могут играть идентичные роли в фактических классах (имеют одинаковые свойства). Обобщение не является обратной функцией специализации. Обе функции независимы и имеют различные свойства. Изначально формализация данных абстрактных механизмов была привнесена в объекгное моделирование из теории множеств и опирается на различные аксиомы этой теории. Специализация базируется на определении множества ({х е N ф(х)), где ф(х)правило определения подкласса), в то время как обобщение базируется на свойствах объединения множеств. При обобщении обычно требуется, чтобы множество свойств обобщенного объектного класса было тождественно объединению свойств набора базовых объектных классов. При этом, в отличие от специализации, не требуется правил определения обобщенного класса. Применение двух способов получения новых классов различно. Специализация требуется тогда, когда необходимо, чтобы некоторый набор свойств некоторого множества объектных классов сохранялся в объединенном классе. Обобщение является методом, применяемым одновременно с классификацией, и позволяет получить иерархию определений, причем класснаследник определяет более общие свойства объекта, чем те, которые * определяет предок. Для предотвращения конфликта между специализацией и обобщением обычно вводится Свойство Ь.{Ы{1г). Одновременное существование только одного способа выделения подкласса. если Зу, х СИМ у => -.(* ИРИС г) для любого г. Если рассматривать различные приложения объектной модели, то очевидно, что на функцию могут быть наложены различные пользовательские ограничения, в случае, если это требуется при разработке реальной модели. Кроме классов, отражающих группы понятий, рассмотренных в » I I |