|
57 Аналогично объектам метод агрегирования может быть применен к классам объектов, тогда классы объектов, образующих составные классы, по отношению к последним будем называть элементарными. В таком случае можно определить множество абстрактных базовых классов объектов: ЫА=ИпА. Это множество представляет из себя набор объектов, которые мы будем называть концептуальными. Множество конкретных базовых классов объектов ЬУ\=Р Г'» А. Одной из ключевых методик, введенных в объектно-семантическую модель, благодаря которой она и получила такое название, является методика фактического класса. Данный класс объектов служит для представления отношения между объектными классами. Фактический класс формально состоит из набора семантических представлений, которые объект может играть по отношению к другому объекту. Связь между объектом и выбранным семантическим представлением осуществляется е помощью предиката. В объектно-семантической модели множество фактических классов представлено непосредственно через множество предикатов. Формально, если множество предикатов обозначается как Р и множество фактических классов Т7, то Г является подмножеством множества Р. Вспомогательная функция Рас!: Р^>Р определена на пространстве фактических классов, для которых существуют предикаты. В формальной записи: Рас1(р) =/<=>/ е р. Функция Вазе Р -» О используется для получения множества объектов, которые могут бы ть представлены как предикаты. Класс связки описывается как специальный фактический класс, отражающий отношение между экземплярами абстрактного и конкретного классов. Данный класс описывается через множество В={\ра) € Р\р е Л. л е Рц }, |
75 реальных предметов. При объектном моделировании ото различие приводит к выделению двух классов объектов конкретному и абстрактному. Принято говорить также, что экземпляры конкретного класса могут быть представлены непосредственно, то есть для них можно установить связь между экземпляром класса и реальным предметом, экземпляры абстрактного класса могут быть сопоставлены только общим типам понятиям, существующим только в человеческом восприятии. Таким образом, определим два подмножества: конкретный класс, или множество конкретных объектов Л, абстрактный класс, или множество абстрактных объектов тогда О N. Метод агрегирования предполагает, что некоторые объекты можно разложить на составные части, тогда объекты, которые не имеют внутренней структуры и для которых не может быть применен метод декомпозиции к более простым объектам определяются как базовые и образуют множество базовых объектов, или базовый кпасс/1. Аналогично объектам метод агрегирования может быть применен к классам объектов, тогда классы объектов, образующих составные классы, по отношению к последним будем называть элементарными. В таком случае можно определить множество абстрактных базовых классов объектов: Л/л=ЛГГЫ. Это множество представляет из себя набор объектов, которые мы будем называть концептуальными. Множество конкретных базовых классов объектов Лл~ I, П А. Одной из ключевых концепций, введенных в объектно-ролевую модель, благодаря которой она и получила такое название, является концепция факгического класса. Данный класс объектов служит для представления отношения между объектными классами. Фактический класс формально 76 состоит из набора ролей, которые объект может играть по отношению к другому объекту. Связь между объектом и выбранной ролью осуществляется с помощью предиката. В объектно-ролевой модели множество фактических классов представлено непосредственно через множество предикатов. Формально, если множество предикатов обозначается как Р и множество фактических классов I7, то Р является подмножеством множества Р. Вспомогательная функция Гаси Р -+Р определена на пространстве фактических классов, для которых существуют предикаты. В формальной записи: Раа(р) = /<=>/?€/. Функция Вахе.Р —>() используется для получения множества объектов, которые могут быть представлены как предикаты. Класс связки описывается как специальный фактический класс, отражающий отношение между экземплярами абстрактного и конкретного классов. Данный класс описывается через множество В -{{р,д}е Г ре Р,,лдеРы} где Рх{ре Р Вахе(р) е X]. Данный класс является единственным классом объектов, связывающим абстрактные и конкретные классы. Следует отметить, что не существует другого способа связать два экземпляра или класса объектов, относящихся к абстрактному и конкрегному множеству, кроме как поставить между ними экземпляр, относящийся к классу связки. Предикаты, которые образуют класс связки Ъ-{р,д}, могут быть выделены при помощи функций сопсг(Ь) =р, такое что реЬГ\Р/. аЪмг(Ь) =д, такое чтореЬГ\Рц. Данное отношение можно проиллюстрировать схемой (Рис. 4). Рассмотрим два экземпляра X] и Х2, такие что Х?Х2е ЫА, экземпляр фактического класса / е Р и предикаты р[,р2 такие что ( {Р/,р2} . В этом |