Диссертация (1136162), страница 18
Текст из файла (страница 18)
Кроме того, к метаданным относитсяи числовая характеристика (битовое поле), определяющая возможностьиспользования (объектов) класса в шаблонах информационных страниц ИСУК (вбинарной форме).При конкретизации класса «Фотоизображение» в соотнесении a1 сшаблоном Δk информационной страницы ИСУК «Биография» означиваниесемейства шаблонов M устанавливает в значение «истинно» единственный егоэлемент mi, совпадающий по номеру (k) с номером шаблона:M = (m1,…, mk,…, mN), где ∀i=1,…,N mi∈{0,1};[M|Δ k] = (m1*,…, m k*,…, m N*), где mi* =⎧ 1, i = k;⎨⎩ 0, i ≠ k.Кроме того, атрибуты метаданных v1,…,vn конкретизируются ОМДсогласно условиям ограничений ti, заданных в соотнесении для шаблона Г:97[(v1:V1,…,vn:Vn)]ti = ([v1]|Г(t1),…, [vn]|Г(tn)) = (v1’:V1’,…,vn’:Vn’), причем V1’ISA V1,…, Vn’ ISA Vn.В частности, в рассматриваемом примере фиксируются такие атрибутышаблона, как относительные координаты отображения фотоизображения наинформационной странице корпоративного портального комплекса.Второе соотнесение a2 приводит к конкретизации шаблона (v1’,…,vn’)информационной страницы ИСУК значениями контента (c1,…, cn):[(v1’:V1’,…,vn’:Vn’)]c = (v1’/c1,…, vn’/cn),где c1:С1,…, cn:Сn, причем C1 ISA V1’,…,Cn ISA Vn’.Иллюстративнаяконкретизацияиспользованияинтегрированнойконцептуальной модели предметной области применительно к управлениюконтентом КПК (по схеме «класс - шаблон - контент») представлена в разделе 1Главы 4.Заметим, что уровень абстракции элементарных сущностей модели ОДснижается при переходе от классов к объектам и далее к значениям, арасширяемость ОД при метауровневых переходах обеспечивает проектированиерасширяемого КПК.
Объекты (в соответствии с приписанными типами)агрегируются в зависящие от соотнесений совокупности и формируютпеременныедомены.Адекватность,нейтральностьисемантичность(компонентов) ОД обеспечивают предметно-ориентированное проектированиеИС с сохранением адекватности модели на всем протяжении процессовинтеграции и управления контентом КПК.Классы объектов u определяются дескрипциями Iu Δ (u) со значениями [IuΔ (u)], где Δ – критерий отбора.
Двукратное применение соотнесений a1∈A иa2∈A из домена соотнесений A переводит эти классы объектов сначала вобъекты о = [Iu Δ (u)] a1, а затем в значения с = o a2.98Двунаправленный характер соотнесений (от классов к значениям иобратно) обеспечивает адекватное моделирование реинжиниринга КПК;механизм дескрипций облегчает построения в обоих направлениях.Переменные домены Oт(A) = {o | o : A→T} строятся как семейства объектовo с типами T, полученными из предметной области D с применением предикатовкритериев отбора , причем совокупность возможных объектов o содержится вD, а действительных Oт(A) – в T [267-269], [289].Исследование взаимодействия классов, объектов и значений позволяетсформулировать основной принцип моделирования:[ класс объектов ] : соотнесение → объект,где левая часть соотношения соответствует языковому уровню описания классов,а правая – уровню предметной области.
Суть соотношения состоит в том, что дляописанияклассовидентифицирующиерассматриваетсяиспользуютсяфункциикакизпроцесс.критериисоотнесенийСогласновотбора(формулы),объекты,т.е.обобщенномукласспринципуконцептуализации, для отбора и идентификации ОД будем использоватьследующую схему исследования предметной области:[ класс объектов ] : соотнесение → объект объект соотнесение → значение значение,где символ "" обозначает снижение уровня абстракции.Такимобразом,схема(рисунок 2.1)иллюстрируетпринципконцептуализациио = [Iu Δ u]a1 ⇔ {о} = {о∈D | [Δ (ō) ]}и схему исследования предметной области с переходом от классов объектов вязыке к таковым в предметной области посредством функции вычислениязначения [•], причем классы используются для фиксации объектов и, далее, –значений.99Класс объектов описывается критерием отбора Δ с дескрипцией I.Вычисление значения формирует соответствие между объектами предметнойобласти и языка описания (соотнесение обозначается индексом).Несмотрянадостаточноширокуюраспространенностьпринципасвертывания в математике, в исследованиях ОД предметной области онприменяется значительно реже (а в данной нотации интерпретируется какоднозначность индивидуализации ОД).В силу достаточности дескрипций для выделения объектов, приведеннаяхарактеристика формализации МД предназначена также для обеспечениявзаимодействия с инструментальными средствами предметно-ориентированнойинтеграции гетерогенных данных в КПК, создание и использование которыхприводит к вычислению значений ОД в терминах содержательных определенийязыка предметного аналитика.
В случае разработанного в настоящемисследованииинструментальногосредстваConceptModeller,строящегоинтегрированное представление гетерогенных объектов данных в КПК на основеконцептуальной модели данных, определения понимаются как функции, которыеприменяются к объектам (аргументам). Поскольку объектами изучения являютсякак функции, так и аргументы, возникает бестиповая система, допускающаясамоприменимость функции, что считается невозможным для "обычных"математических функций.В качестве математических формализаций бестиповых систем частоиспользуются -исчисление, основанное на понятии связанной переменной, иликомбинаторная логика (КЛ), вовсе не использующая понятие переменной.
Вобоих случаях случае допустимы рекурсивные функции и функции снеопределенным заранее числом аргументов.Решение поставленной задачи адекватно реализуется с применениемтипизированных -исчисления и КЛ, связанных с теориями категорий идоказательств. При проектировании КПК весьма существенным являетсяисследование состояния объектов и их связей с ОД предметной области, причем100динамика поведения математических моделей объектов ПрО определяетсяпринципами построения систем моделирования (для -исчисления и КЛисследуются функции и их аппликация к аргументу).Объекты -исчисления и КЛ удовлетворяют принципу комбинаторнойполноты, согласно которому всякой алгебраической функции можно поставить всоответствие элемент (ОД): ∃f ∀x1…xm f x1…xm = y.
Будем также полагать, чтоалгебраическая система экстенсиональна: ∀x (fx = f'x) → f = f'. Другой базовойоперацией -исчисления и КЛ является бинарная -абстракция.При этом принцип комбинаторной полноты приобретает вид известногопостулата редукции или неограниченного свертывания: (x.a)b = [b/x]a(применение абстракции объекта a по переменной x к объекту b сводится кподстановке b вместо x в a).При использовании бинарной операции дескрипции, действующей на однупеременную в одной формуле, принцип комбинаторной полнотыпринимает вид постулата свертывания: ∃Iw.∀v1,…, vn (w(v1,…, vn) ↔ Δ), гдеΔ – формула языка манипулирования ОД.Принцип полноты (свертывания) позволяет строить МД на основематематически строгого фундамента алгебраических функций (формул).4 Применение фреймовой нотации для визуального моделированияинтеграции данныхПонятие фрейма как модели семантической сети развито в трудахН.
Руссопулоса, В. Э. Вольфенгагена и др. [153], [186], [236], [246], [259], [260],[290]. Семантические сети представляют собой вид ориентированных графов,интуитивно близкий ассоциативному мышлению человека.Фреймом называется отношение, установленное на концептах [260].Применение фреймов для моделирования динамики ситуационных измененийПрО открывает возможность решения задач интеграции и поддержанияцелостности гетерогенных КПК. Эти задачи особенно важны для КПК,101содержащих сотни тысяч объектов и соотнесений и подверженных быстройсмене состояний с течением времени. При этом принцип свертывания являетсяалгебраическим аналогом фрейма, поскольку оба играют роль ограничителяизменений предметной области.Различным типам фреймов в нотации Руссопулоса [260] можно поставитьв соответствие UML-диаграммы (классов, ситуаций и др.). Таким образом,появляется возможность автоматизированного построения МОД с помощьюпредметно-ориентированногоCASE-средствасполучениемстрогогоматематического описания процесса моделирования и соответствующего емуграфического представления (фрагмента) предметной области в виде фрейма (савтоматизированной трансляцией в UML).Переменная фрейма называется свободной, если она не находится вобласти действия кванторов, и связанной в противном случае.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
