Проверяемый текст
Шило Павел Геннадьевич. Объектно-ролевой подход к формированию информационных систем поддержки управленческих решений (Диссертация 2000)
[стр. 64]

64 Объектные классы, а также комбинации предикатов могут получать имена в рамках единой информационной схемы.
Объектному классу однозначно сопоставим уникальное имя при помощи функции
ОМт: 0—> N017105 у спецификация которых дастся при введении схемы.
Функция ОЬу.
Матез —>• О является обратной функцией для ОЫт, то есть для любого х, принадлежащего области определения функции ОМт ОЬ] (ОЫт (х)) = х.
Определим также для пары предикатов коннектор.

Соппесмг, РX р—» N(111165.
Коннектор может быть определен для пары предикатов, принадлежащих одному фактическому объектному классу, таким образом можно говорить, что если
СоппесЬог (р, у) => р е Рас1{д) Приведем пример использования коннектора.
пусть
ОА[т(Х]) = Отдел ОЫт(Хп) = Сотрудник, тогда Соппес1ог (р\,рг) — «имеет в штате сотрудника» СоппесЮг(р2,р ) = «состоит в штате» В информационной структуре используется в качестве модели некоторая часть реального мира, которая была названа выше вселенной объектов.
Если мы ничего не знаем о внутренней структуре такой вселенной и не имеем представления о содержащихся в ней иерархических связях, то логично предположить, что мы имеем дело с вселенной отдельных экземпляров, классификация которых нам не важна.
В конкретной модели из всего множества экземпляров, входящих во вселенную экземпляров используется ограниченный набор, который назовем популяцией информационной структуры.
В объектном моделировании популяция
Рор для информационной структуры х представляет из себя множество экземпляров объектных классов из (9, которые удовлетворяют правилам отнесения к популяции Это обозначается как 15Рор(х,Рор).
Рор в данном случае есть функция Рор: 0—>
[стр. 82]

82 Представленный выше набор определений и правил формирует ядро объектной модели, сформулированной на языке множеств.
Такая теоретическая концепция является некоторой необходимой абстракцией, предваряющей введение правил, согласно которым можно сопоставить экземпляры классов реальным понятиям.
Рассматривая конкретную информационную модель мы должны представлять, что множество объектов, которые входят в нее является только частью «вселенной объектов», так как для целей моделирования нам необходим только ограниченный набор понятий.
Естественно предполагать, что при определении интересующего нас подмножества множества О должны быть определены также правила по которым интересующие нас объекты могут быть отнесены к подмножеству.
Далее дадим некоторую семантическую интерпретацию вышесказанному.
Для этого введем понятия имен и популяции.
Объектные классы, а также комбинации предикатов могут получать имена в рамках единой информационной схемы.
Объектному классу однозначно сопоставим уникальное имя при помощи функции
ОЫт: ()-> N а пи!спецификация которых дастся при введении схемы.
Функция ()/у: Ыатех —> О является обратной функцией для ОЫт, то есть дзя любого х, принадлежащего области определения функции ОЫт ()Ъ)(()Ыт(х)) х.
Определим также для пары предикатов коннектор.

СоппесЮг: РхР-> Ыатсх.
Коннектор может быть определен для пары предикатов, принадлежащих одному фактическому объектному классу, таким образом можно говорить, что если
СоппесЮг(р^) => р е Р'асКц) Приведем пример использования коннектора пусть ОЫт (X}) = Отдел

[стр.,83]

83 0\!т('Х2)^ С(Утрудник, тогда Соппес/огф1,р1} имеет в штате сотрудника Соппес/огфьр!)= состоит в штате В информационной структуре используется в качестве модели некоторая часть реального мира, которая была названа выше вселенной объектов.
Если мы ничего не знаем о внутренней структуре такой вселенной и не имеем представления о содержащихся в ней иерархических связях, то логично предположить, что мы имеем дело с вселенной отдельных экземпляров, классификация которых нам не важна.
В конкретной модели из всего множества экземпляров, входящих во вселенную экземпляров используется ограниченный набор, который назовем популяцией информационной структуры.
В объектном моделировании популяция
Гор для информационной структуры х представляет из себя множество экземпляров объектных классов из О, которые удовлетворяют правилам отнесения к популяции Это обозначается как /мРор(х,/>ор).
Гор в данном случае есть функция Гор: О—у р{€1х)ь где 0.х есть множество экземпляров из вселенной экземпляров, которые могут быть включены в популяцию информационной структуры %.
Естественно предположить, что популяция для информационной структуры может быть определена, только если установлена связь между конкретным классом и объектами реального мира, которые могут быть представлены как экземпляры данного класса.
Будем называть это множество объектов реальной областью.
Формально такая связь может быть описана через функцию Шот : Г П А —> О.
Область определения данной функции является множеством реальных областей.
Множество О является алгеброй множеств 1)^(0, т), где г множество операций сортировки, определенных дтя элементов I).
Аналогично необходимо установить связь между абстрактным классом и абстрактными (концептуальными) понятиями, которые можно представить как

[Back]