|
65 р(Ох), где С2У есть множество экземпляров из вселенной экземпляров, которые могут быть включены в популяцию информационной структуры %. Естественно предположить, что популяция для информационной структуры может быть определена, только если установлена связь между конкретным классом и объектами реального мира, которые могут быть представлены как экземпляры данного класса. Будем называть это множество объектов реальной областью. Формально такая связь может быть описана через функцию Шот: I п А —> О. Область определения данной функции является множеством реальных областей. Множество О является алгеброй множеств Э = (О, г), где т множество операций сортировки, определенных для элементов Э. Аналогично необходимо установить связь между абстрактным классом и абстрактными (концептуальными) понятиями, которые можно представить как экземпляры данного класса. Множество таких понятий будем называть абстрактной областью и функцию сопоставления определим как АЮот: N п а -»о. Множество экземпляров 0 индукционно определяется как наименьший набор, удовлетворяющий следующему: 1. и О с О . Объединение реальных областей содержится в множестве экземпляров. 2. 0 с: Д где 0 множество концептуальных классов, которые образуют "абстрактную область". 3. Для экземпляров фактических классов выполняется следующее утверждение. Если х\9 Л‘„ € О и р\, е Р => {р\\х\у,..,рп^хп} е О. Множество {р\^си...,рп:х„} называется отображением, сопоставляющим х{ для каждого предикатар,. 4. Для множества экземпляров х\9 ..., хп е О => может быть определен {хи е О. Набор элементов из множества экземпляров может выступать в качестве экземпляра класса указателей. |
83 0\!т('Х2)^ С(Утрудник, тогда Соппес/огф1,р1} имеет в штате сотрудника Соппес/огфьр!)= состоит в штате В информационной структуре используется в качестве модели некоторая часть реального мира, которая была названа выше вселенной объектов. Если мы ничего не знаем о внутренней структуре такой вселенной и не имеем представления о содержащихся в ней иерархических связях, то логично предположить, что мы имеем дело с вселенной отдельных экземпляров, классификация которых нам не важна. В конкретной модели из всего множества экземпляров, входящих во вселенную экземпляров используется ограниченный набор, который назовем популяцией информационной структуры. В объектном моделировании популяция Гор для информационной структуры х представляет из себя множество экземпляров объектных классов из О, которые удовлетворяют правилам отнесения к популяции Это обозначается как /мРор(х,/>ор). Гор в данном случае есть функция Гор: О—у р{€1х)ь где 0.х есть множество экземпляров из вселенной экземпляров, которые могут быть включены в популяцию информационной структуры %. Естественно предположить, что популяция для информационной структуры может быть определена, только если установлена связь между конкретным классом и объектами реального мира, которые могут быть представлены как экземпляры данного класса. Будем называть это множество объектов реальной областью. Формально такая связь может быть описана через функцию Шот : Г П А —> О. Область определения данной функции является множеством реальных областей. Множество О является алгеброй множеств 1)^(0, т), где г множество операций сортировки, определенных дтя элементов I). Аналогично необходимо установить связь между абстрактным классом и абстрактными (концептуальными) понятиями, которые можно представить как 84 I ♦ I ♦ экземпляры данного класса. Множество таких понятий будем называть абстрактной областью и функцию сопоставления определим как ХОот : ХГ\Л-+в. Множество экземпляров 0 индукционно определяется как наименьший набор, удовлетворяющий следующему: 1. /) с О. Объединение реальных областей содержится в множестве экземпляров. 2. 0 с О, где 0 множество концептуальных классов, которые образуют «абстрактную область». 3. Для экземпляров фактических классов выполняется следующее утверждение. Если X/..................х„ е Ои/?/......../?„е Д=> {/?/•'*/....рп'Х,,} е О. Множество {р/:х/,...,р„:х„} называется отображением, сопоставляющим х, для каждого предиката р,. 4. Для множества экземпляров х{ ................. :х„ е О => может быть определен е П. Набор элементов из множества экземпляров может выступать в качестве экземпляра класса указателей. 5. хг .....:хп е О. => д„) е С1. Последовательность экземпляров может быть определена как экземпляр класса последовательности. При этом, / тый элемент последовательности (*,) можно обозначить (д:/ х„)/;/. 6. Если X]......X» с 0 и О/,е О => {ОрХи...,Оп:Хп} е О.. Сопоставленный набору экземпляров набор объектных классов, может рассматриваться как экземпляр, принадлежащий множеству экземпляров. Далее необходимо определить, по каким правилам составляется базовый набор классов. Из общего набора необходимо выделить корневые объектные классы такие классы объектов, к которым неприменимы функции обобщения и специализации, то есть НооМх) =>не существует ОЕЫ(х), ХРИСУх). Для корневых классов необходимо определить свойства, описывающие процесс их формирования. |