характеристика (битовое поле), определяющая возможность использования (объектов) класса в шаблонах веб-страниц ИСУК (в бинарной форме).

При конкретизации класса C в соотнесении a1 с шаблоном Ak информационной страницы ИСУК означивание семейства шаблонов M устанавливает в значение «истинно» единственный его элемент mi, совпадающий по номеру (k) с номером шаблона:

M = (mi,..., nik,..., mN), где Vi=1,...,N mie{0,1};

[MAk] = (пп*,..., mk*,, mN*), где mi* = 1, i = k и mi* = 0, i * k.

Кроме того, атрибуты метаданных v1, ,vn конкретизируются ОМД согласно условиям ограничений ti, заданных в соотнесении для шаблона Г:

[(v1:Vb...,Vn:Vn)]ti =Ы№)) = (v1:V1,...,Vn:Vn),

причем V1 ISA Vb..., Vn ISA Vn.

Второе соотнесение a2 приводит к конкретизации шаблона (v1,,vn) информационной страницы ИСУК значениями контента (c1,., cn): [(v1:V1,,vn:Vn)]c = (vd,..., vn/cn), где dA,..., cd, причем C1 ISA W,..., Cn ISA Vn.

Заметим, что уровень абстракции элементарных сущностей модели ОД снижается при переходе от классов к объектам и далее к значениям, а расширяемость ОД при метауровневых переходах обеспечивает проектирование расширяемого программного комплекса. Объекты (в соответствии с приписанными типами) агрегируются в зависящие от соотнесений совокупности и формируют переменные домены. Адекватность, нейтральность и семантичность (компонентов) ОД обеспечивают предметно-ориентированное проектирование ИС с сохранением адекватности модели на всем протяжении процесса реализации.

Классы объектов u определяются дескрипциями Iu A(u) со значениями [Iu A(u)], где A -критерий отбора. Двукратное применение соотнесений a1eA и a2eA из домена соотнесений A переводит эти классы сначала в объекты о = [Iu A(u)] a1, а затем в значения с = o a2.

Двунаправленный характер соотнесений (от классов к значениям и обратно) обеспечивает адекватное моделирование реинжиниринга ПО; механизм дескрипций облегчает построения в обоих направлениях.

Переменные домены OA) = {o o : A-T} строятся как семейства объектов o с типами T, полученных из ПрО D с применением предикатов-критериев отбора A, причем совокупность возможных ОД o содержится в D, а действительных OA) - в T [2].

Исследование взаимодействия классов, объектов и значений позволяет сформулировать основной принцип моделирования:

[ класс объектов ] : соотнесение - объект, где левая часть соотношения соответствует языковому уровню описания классов, а правая -уровню ПрО. Суть соотношения состоит в том, что для описания классов используются критерии отбора (формулы), идентифицирующие функции из соотнесений в объекты, т.е. класс рассматривается как процесс. Согласно принципу свертывания, для отбора и идентификации ОД будем использовать схему исследования ПрО:

[класс объектов] : соотнесение - объект > объект > соотнесение - значение У значение, где символ "V обозначает снижение уровня абстракции.

Таким образом, схема (рис.2) иллюстрирует принцип свертывания:

о = [Iu Au]a1 о {о} = faeD [A (б) ]} и схему исследования ПрО с переходом от классов объектов в языке к таковым в ПрО посредством функции вычисления значения [•], причем классы используются для фиксации объектов и, далее,- значений. Класс объектов описывается критерием отбора A с дескрипцией I. Вычисление значения формирует соответствие между объектами ПрО и языка описания ОД.

а2

» Объект (ИСУК)

1

Класс (UML)

tome : char ColorDepth : int Resolution : int ID: long Wdth : int Height : int

Templtofask : long double

Построение объектов: о = pu Ди] л, с? {о} = {oeD [До]}

Агрегирование объектов: От(А) = {о о: А -Т}

Типизация: T={v:D Д}, От<А) ISA Т

Рис.2. Модельная составляющая проектирования корпоративных порталов

Модель ОД, метаданных и состояний характеризуется структурированностью, масштабируемостью, агрегируемостью, инкапсуляцией метаданных, иерархичностью и наглядностью. Расширяемость, адекватность, нейтральность и семантичность созданной модели обеспечивают предметно-ориентированное проектирование программных комплексов с сохранением адекватности на всех этапах реализации.

Моделирование среды вычислений

В качестве модели ИСУК корпоративных ИС в развитие категориальной АМ предлагается АМ управления контентом (АМУК) на основе состояний. Процесс работы (динамика состояний) АМУК формализуется явным перечислением всевозможных смен состояний. С точки зрения модели, при отображении шаблонов страниц портала в собственно страницы портала фактически производится связывание (типизированных) переменных, характеризующих элементы шаблона, со значениями (элементами портальных страниц), т. е. означивание.

Семантика АМУК основана на теории семантических доменов Д.Скотта [5]. Типы атомарных шаблонов (элементов контента) получаются из стандартных доменов, а типы более сложных шаблонов (элементов контента) строятся посредством конструкторов доменов. Формальная семантика АМУК строится по следующей схеме:

1)перечисление стандартных (наиболее часто используемых в рамках модели) доменов;

2)определение конечных (содержащих явно перечислимые элементы) доменов;

3)определение конструкторов (операций построения новых доменов на основе имеющихся), т.е. способов комбинирования доменов;

4)формализация агрегированных доменов на основе атомарных доменов и конструкторов (последние включают функциональное пространство [D1-»D2], декартово произведение

*

[D1xD2x xDn], последовательность D и дизъюнктную сумму [D1+ D2+...+Dn] ).

Формальный язык АМУК содержит множество выражений E (константы, идентификаторы I, операция присваивания («записи» контента в «слот» шаблона) и др.) и

множество команд С (сравнение, последовательность команд и др.). Синтаксис АМУК определяется описанием синтаксических доменов (Ide для идентификаторов, Com для команд и Exp для выражений). Система агрегированных доменов АМУК имеет вид:

State = Memory х Input х Output;

Memory = Ide - [Value + {unbound}];

Input = Value*;

Output = Value*;

Value = Type1 + Type2 + ... Домен State состояния АМУК определяется состоянием памяти Memory с учетом значений Value на входе Input (контент) и выходе Output (веб-страница) АМ. Под памятью понимается отображение из домена идентификаторов в домен значений, т.е. аналог связывания переменной со значением в ламбда-исчислении. Для корректной обработки исключительных ситуаций вводится элемент unbound. Домен значений представляет собой дизъюнктную сумму доменов, содержащих существующие в языке АМУК типы контента.

Семантические предложения описывают значения денотатов (правильно построенных конструкций) языка управления О(М)Д АМУК. Денотатом идентификатора при возможности связывания является идентификатор, связанный со значением в форме упорядоченной тройки вида

<значение в памяти, идентификатор, состояние> без смены состояния, а при невозможности - сообщение об ошибке (error):

E [I] s = (m, I = unbound) error, - (m, I, s). Вычисление значения выражения в среде АМУК приводит к такому изменению состояния, что либо происходит связывание переменной со значением, либо (при невозможности связывания) генерируется ошибка:

E : Exp - [State - [[Value х State] + {error}]]. Вычисление значения команды в среде АМУК приводит к изменению состояния, причем возможно возникновение исключительной ситуации (ошибки):

С : Com - [State - [State + {error}]]. Семантическое предложение для команды АМУК, выполняющей присваивание контента элементу шаблона приводит к смене состояния с подстановкой значения контента v вместо идентификатора шаблона I в памяти:

C [I=E] = E [E] * Av (m , i, o) . (m [v/I], i, o).

Конкретизация методологии для Интернет-порталов

Методология проектирования ИС детализирована для управления корпоративными ресурсами, а также информацией и форматами ее представления (т.е. ОД и ОМД) корпоративных информационных ресурсов (в форме Интернет- и Интранет-сайтов). В соответствии с уточненной последовательностью проектирования программных комплексов для управления (информационными) ресурсами предложена обобщенная схема обработки гетерогенных хранилищ данных, позволяющая пользователям в зависимости от динамически активируемых скриптов-соотнесений взаимодействовать с распределенной Б(М)Д в том или ином состоянии. При этом скрипты в виде профилей соединения с Б(М)Д и хранимых процедур объектно-ориентированных языков программирования (в форме АМ на состояниях) инициируются в зависимости от активируемых со стороны пользователя событий, обеспечивая прозрачное интеллектуальное распределенное взаимодействие класса front-end. Динамически варьируемые профили доступа к Б(М)Д обеспечивают строгую, гибкую персонализацию, высокую отказоустойчивость и защищенность данных в гетерогенной среде вычислений.

Для автоматизированной трансляции О(М)Д в схемы целевых Б(М)Д и коды АМ управления контентом (АМУК) разработано предметно-ориентированное инструментальное средство ConceptModeller с визуальной поддержкой семантических сетей, транслирующее