Диссертация (1136162), страница 22
Текст из файла (страница 22)
рисунки 2.4-2.10).Рисунок 2.12. Тип (-класс) Т“n”-арное отношение Rn определяется как подмножество декартовапроизведения n областей, идентифицированных символами типов V1,…,Vn:Rn = Iw: [V1,…,Vn] ∀v1:V1… ∀vn:Vn (w[v1,…, vn] ⇔ Γ) == {[ v1:V1,…, vn:Vn | Γ },причем Rn ISA V1×…×Vn.Фреймовое представление строится по аналогии с таковым для типа.126Отношенияявляютсяосновойдляформализациипростыхиагрегированных фреймов характеристик, функций и событий (см.
рисунки 2.52.10).Другие типы гетерогенного контента в КПК (значение функции,функциональная абстракция и др., включая фреймовые формализации)детализируются в работах [53], [58].Особенности моделирования управления контентом в КПКРассмотрим типизированную модель гетерогенных ОД, в которой систематипизациииспользуетсяманипулированияОД,длямоделированияконструкцийлибоCASE-средства«нижнегоязыкауровня»(ConceptModeller), использующего конструкции этого языка.Важная особенность модели состоит в ее применимости как для отдельныхэлементов (класс, объект, значение) ОД, так для гетерогенных ОД в целом.Методинтерпретацииконструкцийязыкаманипулированиягетерогенными ОД основан на определении и использовании семействаппликативных структур <{Ov}{evalVW}> для произвольных типов V, W изсистемы типизации ОД, где O – домен объектов типа V, evalVW – функциявычисления значения на аргументе из Ov для заданного значения аргумента,которая моделирует управление корпоративным контентом в ИСУК.В процессе построения модели гетерогенных ОД исследуется пространствофункций в представляющей категории, строится отображение U→V иустанавливается отображение-аппликатор, которое обеспечивает вычислениеf(v) по f и v, наконец, вводится типизированная функцияабстрактор (ΛU→(V→W) для вычисления значения от второго аргумента.ABCo):127Особенности моделирования метаданных в гетерогенных КПКПостроениепредполагаетмоделивыборобъектовкомпонентметаданныхрасширяемойвгетерогенныхинструментальнойКПКсредыинтеграции данных в КПК, которые являются динамическими ОМД с точкизрения соотнесения или разворачивания событий.
При этом необходимоописание языка определения гетерогенных ОД (ЯООД) для ОМД, которымиможно управлять с помощью функционального языка с типами.Индексация классовРасширяемость инструментальной среды интеграции данных в КПК науровне модели обеспечивается добавлением к ней объектов, удовлетворяющихусловиям для тела λ-абстракции. Рассматривая аппликацию (λ.Ф)ō, где Ф-тело λабстракции, o – объект предметной области, получаем:[(λ. Δ)ō] a = [Δ] [a, oa]для соотнесения a. Таким образом, для связывания объекта o с телом абстракцииΔ необходимо построить класс, соответствующий оценивающему отображениюдля критерия [Δ], а затем верифицировать ограничениецелостности для объекта: o∈[Δ].Проверка соответствует операции выборки процедурно-расширенногореляционного ЯМОД (например, Oracle PL\SQL) по следующей схеме.Устанавливаются соотнесение a с БД и тип Т объекта о из БД, производитсяпроверка объекта o на соответствие критерию-ограничению Δ.
Затем отбираютсяобъекты o' = oa, на их основе строится экстенсионал класса C'(a), для которогосправедливо включение С'(a) ISA Т. Выбранные пары [a, oa] идентифицируютобъекты o универсума a из совокупности А и принимаются за экстенсионалдинамического класса С(А), причем для переменного домена Oт(А) = {o|o: А→Т}выполняетсяС(A) ISA Oт(А).соответствиеотношениючастичнойупорядоченности128Динамика классов объектов данных гетерогенных КПКПусть события в предметной области разворачиваются по закону t : Y→X,что в случае управления контентом гетерогенных КПК можноинтерпретировать как изменение (или миграцию) контента сайта, раздела илистраницы КПК.
Тогда для операции аппликации функции к аргументу получаем:[(λ. Δ)ō]a = [Δ]t [y, (o o f)y], гдеI = t y.Итак, для связывания объекта o с критерием отбора в форме λ-абстракцииΔ необходимо верифицировать принадлежность отображения o приразворачивании событий по закону t в мире y для смещенного оценивающегоотображения [Δ]t, например, посредством процедуры PL\SQL или языкаманипулирования гетерогенными ОД для АМУК, модифицированной с учетомсмещения.Статика и динамика классов объектов данных гетерогенных КПКПриразворачиваниив КПК событийв виде тождественногопреобразования t = 1X: X→X, т.е.
статичной (неизменной) предметной области,соотнесение объектов с телом абстракции аналогично процедуре контроляцелостности гетерогенной БД для индексированного класса объектов данных.Поскольку изменений в ПрО и схеме гетерогенной БД не происходит, объектыданных отображаются сами в себя, и поведение индексированных классованалогично тождественному преобразованию.Динамика преобразует систему классов гетерогенных ОД в зависимости отзакона разворачивания событий. При разворачивании событий по закону tпеременные классы гетерогенных объектов данных в КПК обладают свойствамиконтравариантного функтора [21], [53].129Индексированное отношениеПри интеграции данных и управлении контентом гетерогенных КПКтребуетсяподдержкамногоместныхклассов.Проведемисследованиеиндексирования двухпараметрического класса, соответствующего бинарномуотношению БД.Для связывания объектов с телом абстракции необходимо построить класс,соответствующий означиванию абстракции и верифицировать принадлежностьобъекта значению оценивающего отображения.
При этом объект представляетсобой упорядоченную пару элементов, с областью определения в формеодноместного класса.Для верификации принадлежности объекта классу со значениемоценивающего отображения устанавливаются соотнесение и типы входящих вотношение объектов из схемы БД.
После верификации ограничений целостностидля объекта из упорядоченных пар, соответствующих индексированномуотношению, осуществляется отбор пар из соотнесений и объектов дляпостроения экстенсионала класса объектов данных, лежащего по ISA-иерархииниже индексированного отношения.Динамика отношения формализуется с учетом закона разворачиваниясобытий и свойства расширяемости для операции аппликации.
При этом длясвязывания объекта с телом λ-абстракции необходимо верифицироватьпринадлежность отображения этого объекта при разворачивании событий длясмещенного оценивающего отображения.Моделирование системы гетерогенных объектов данных в КПКПоказательным примером использования модели объектов метаданных дляпортальных КПК является построение системы классов для отношений изгетерогенных ОД.
Важной особенностью модели гетерогенных объектов данныхявляется введение семейств классов для предикатов, моделирующих отношенияБД. Классы метауровней на уровне модели разделяются на семейства отношений130со средствами CASE-поддержки. Расширение РМ Кодда [166] приводит длякаждого уровня k к принципу свертывания:vk+1 ≡ Iwk+1: […[D]…]∀vk: […[D]…](wk+1(vk) ↔ Δk), где wk+1, vk+1 –предикатные символы метауровня, vk – объект, Δk – конструкция языкаопределения ОД (например, диаграмма классов UML или схема ХML).При сохранении реляционности, динамика отношений схемы гетерогеннойБД фиксированного уровня имеет ряд отличительных особенностей (в частности,область значений истинности считается переменным доменом).Отметим возможность манипулирования элементами модели гетерогенныхОД,инвариантнымидинамическойВМотносительнонизшегопредполагаетуровняОД.использованиеРазработкаинтегрированнойинструментальной среды с (объектно-ориентированным) типизированнымязыком скриптов (JavaScript, VBScript, LotusScript, PowerScript, Perl и др.).
Приэтом к постулатам добавляется вариант принципа свертывания∀u Iw ∀v [v = w↔Δ] => I f ∀u,v [v = f(u) ↔ Δ], где f – функция. ОД ифункции заменяются λ-термами (в графической интерпретации – фреймами), наоснове которых строятся переменные домены. Семантика модели гетерогенныхОД обозначается индексами (верхний индекс соответствует номеру уровня, анижний – соотнесению).Дляпостроениядинамическойобъектно-реляционноймоделигетерогенных ОД в КПК, классам отводится первый, а объектам – второй уровеньабстракции:UA = {u1 | u1: A → u2}, VA = {v1 | v1: A → v2}.При этом общий функтор представляется в языке описания гетерогенныхОД в КПК λ-выражениемλf (λA λu1.
u2 o u1 o A) o f o (λA λv1. v2 o v1 o A).При разворачивании t событий от момента A к моменту B:(U→V) A = λf (VB o f o UB)131функции из домена (U→V)A представляют собой пучки объектных функций δt изUB→VB для параметров t и B, т.е. (U→V)A.Метаобъекты (т.е. объекты соответствующего метауровня) имеют вид:δt : δt∈λ f.(u2→v2) o (f o t) o B.Генерация вычислительной модели объектов метаданных осуществляетсяв терминах фреймов с применением разработанного инструментального средствавизуальной интеграции данных в КПК ConceptModeller и традиционного OracleDeveloper, причем метаобъекты UML поддерживают отношения более низкогоуровня.Модель для получения значений контента информационных страницИСУК основана на синтезе функциональной методологии проектированиямодели ПрО и средств содержательного описания ситуаций в ПрО на основефреймов и конечных последовательностей, в частности, λ-исчисления [4], [149],[165], [265], [267].
Для построения модели значений в соответствии ссодержательными моделями ситуаций определяются реляторы на основезначений. Фреймовые представления ролей-реляторов формируются с помощьюразработанных инструментальных средств визуальной интеграции данных вКПК (ConceptModeller) и управления контентом КПК (ИСУК) для расширяемыхгетерогенных РБД, а также процедурных расширений языка PL/SQL. СвязьмоделизначенийсинструментальнымисредствамидляОРСУБДииндексированными классами гетерогенных ОД в КПК основана на методахвычисления значения предиката, смещения объектов (или разворачиваниясобытий) по закону t и на поддержке статического вычисления значений [58].1327 Моделирование управления контентом портальных КПК на основесемантических доменов и абстрактных машин на состоянияхПоскольку теоретические основы интеграции данных в гетерогенных КПКи управления этими данными разработаны в недостаточной мере, в настоящемисследовании делается попытка моделирования работы такого ПО на основепонятия состояния.
В современных условиях динамичного развития рынка,слияний и поглощений компаний особую актуальность приобретает вопроспостроения единой корпоративной информационной инфраструктуры.Под (корпоративным) контентом понимается слабо структурированнаяили неструктурированная информация, хранящаяся вне основных ИС ииспользуемая в стратегических бизнес-проектах крупных компаний [29].Построениеуправленияматематическойконтентом(ИСУК)моделиоснованоинформационнойнасинтезесистемытипизированногоλисчисления [4], [149], [165], [265], [267], комбинаторной логики и теориикатегорий [137], [170], [175], [194], [214], [217], [240], [283], абстрактных машин[137], [139], [168], [200], [201], [214], [235], [240], [283], а также теориивычислений Д.Скотта в ее развитии [267-270], [280], [289].
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
