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

66 5.
л'], а„ е /2=> {А, ..., а„}е О.
Последовательность экземпляров может быть определена как экземпляр класса последовательности.
При этом,
/’-тый элемент последовательности (а,) можно обозначить (аь-..,а„)и .
6.
Если Хи ...» Х„ а О и е О => Сопоставленный набору экземпляров набор объектных классов, может рассматриваться как экземпляр, принадлежащий множеству экземпляров.
Далее необходимо определить, по каким правилам составляется базовый набор классов.
Из общего набора необходимо выделить корневые объектные классы такие классы объектов, к которым неприменимы функции обобщения и специализации, то есть
Коо1{а) => не существует ОЕЩа), 8РЕС(а).
Для корневых классов необходимо определить свойства, описывающие процесс их формирования.

Свойство 1.(Корневых классов).
Популяция таких корневых конкретных классов является набором значений, взятых из корреспондирующей конкретной области.
если х
с Ь и Коо((х), следовательно Рор(х)сЛОот{х).
Следует отметить, что если Коо1(а), то х е А.
Свойство 2.(Кориевых классов).
Популяция корневых концептуальных классов есть набор значений, принадлежащих абстрактной области
в.
а е Иа и Коо1(х) ==> Рор(х) а О.
Свойство 3.(Корневых классов).
Значение элемента у в популяции фактического класса есть отражение всех его предикатов к значениям соответствующего класса.

а е Р л у е Рор{а) => у : а —> О а Ур е а\у(р) е Рор(Вазе(р))\ Свойство 4.(Корневых классов).
Популяция класса указателей (непустая) состоит из экземпляров корреспондирующего элементарного класса.

а е С л у е Рор(а) => у е Р(Рор(ЕИ(а))) -{0}
[стр. 84]

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


[стр.,85]

85 Свойство I.(Корневых классов).
Популяция таких корневых конкретных классов является набором значений, взятых из корреспондирующей конкретной области.
если хе
Р и Ноо!(х), следовательно Рор(х)<ги)от(х).
Следует отметить, что если Роо1(х), то х е Л.
Свойство 2.(Корневых классов).
Популяция корневых концептуальных классов есть набор значений, принадлежащих абстрактной области
0.
х 6 N.1 и Коо1(х) => Рор(х) с: 0.
Свойство 3.(Корневых классов).
Значение элемента у в популяции фактического класса есть отражение всех его предикатов к значениям соответствующего класса.

х е Е л у е Рор(х) => у :х ^ л V ре х[у{р) е Рор(Вахе(р))) Свойство 4.(Корневых классов).
Популяция класса указателей (непустая) состоит из экземпляров корреспондирующего элементарного класса.

х е О а у е Рор(х) => у е ?{Рор(ЕР{х))) {0} Свойство 5.(Корневых классов).
Популяция последовательного класса состоит из последовательностей экземпляров корреспондирующего элементарного класса.
х е 5 л у € Рор(х) => у € Рор(ШЦх)) Свойство 6.(Корневых классов).
Популяция схематического класса состоит из элементов базовой информационной структуры.
хеС л у^Рор(х) => 1*Рор(Хх,у) Дополнительно представим несколько правил.
Относительно идентификационной иерархии существует следующее правило.
Есл и о п ре дел е н ы ОЕИ(х) либо 8РЕ( '(х), тогда Рор( х) с у Рор( у) у.х1(1/1гу Экземпляры обобщаемого или специализируемого объектного класса берут начало от объектного класса, стоящего «выше» по идентификационной иерархии.
При обобщении все базовые экземпляры являются также

[Back]