Искусство в IT-технологиях...

Коршунов Андрей Александрович. Система управления содержанием WEB сайта, 2004

111.2 Формальное описание модели

Приведем далее формальное описание модели представления содержания, которая была рассмотрена в предыдущем лодраздеіе.
Структурная составляющая модели определяется следующим образом.
Пусть D- множество всех документов.
Под документом будем понимать последовательность символов некоторого алфавита
Рассмотрим тройку вида Л/^±<Дг,ч>, элементы которой определяются следующим образом.
r:D-+{h9m,f) отображение, которое ставит в соответствие каждому документу deD символ из тройки {Л,/я,/}. Даїоюе отображение задает тип документа и разбивает множество D на попарно непересекающиеся множества DM>Dm.Df (множества рубрик, материалов и функций).
-< бинарное отношение, определяющее иерархию документов. d{ < d, интерпретируется следующим образом: Будем использовать ряд обозначений, связанных с каждым документом d. Р4 {d'QD\dRd^=±{d' eD\d будем интерпретировать как конкатенацию соответствующих последовательностей символов. При этом dx +W G D: 7(d) * h => Rj = 0, т.с родительским может быть документ, имеющий тип рубрика (h).
dx * d2 => R^ r\Rdi = 0, т.е. документ не может иметь более одного родителя.
Пусть - замыкание отношения •<, определяемое как d < d, ести 3d}...dt:d =d\dk = -Опишем машшуляционную составляющую модели. Выделим в D подмножество с D. Рассмотрим класс преобразований Т: Ј>AVL -> D
Рассмотрим конечное множество D^CLD. Элементы teD^ будем назвать шаблонам.
Vd є DkXCt ,Vr є 0^т преобразование Т определим следующим образом: Т(4,0т=± XSLT(Введем отношение принадлежности шаблонов документам:
r Заіаиное отношение имеет следующие ограничения.
Vrf:r(rf)"w=>re//j/?/(rf)-0, т.е. документы типа «материал» не имеют шаблонов.
/ шаблон может принадлежать только одному документу. Таким образом, шаблон t однозначно указывает на некоторый документ d.
На множестве шаблонов естественным образом вводится отношение включения шаблонов.
/, При помощи операции ¦, интерпретируемой как конкатенация шаблонов, зададим
ЛТ(г)^
процедуру вычисления дополнения шаблона

( + ? ЛТ(0,ЄС9И[Г] * 0.
Указанная процедура является сходящейся в рамках предложенной модели в силу того, что множество шаблонов конечно и у шаблонов отсутствует включение самого в себя.
Определим процедуру дополнения документа с помощью шаблона


Введем операцию «использование» шаблона t: U(t) (/(О = XSLT(ND(t).NT(t)).
Введенная операция является основной в манилуляшокной составляющей модели представления содержания.
Приведенное выше формальное описание позволяет показать непротиворечивость обобщенной модели основным положениям (постулатам), принятым при ее построении, включая результаты манипулирования с ее объектами.
Такое описание для отдельных (проблемно-ориентированных) моделей позволяет решать следующие задачи:
введение определений основных объектов и операций над ними;
спецификация модели системы с решением на этой основе задач верификации ее программной реализации (кода);
разработку политики использования ресурсов системы, построение политики ее безопасности и доказательной базы гарантированной защищенности. Детальное описание подходов к решению этих и других задач на основе
формальной модели представления содержания - это отдельные, достаточно сложные, в значительной степени проблемно-ориентированные исследования, которые выходят за рамки настоящей работы.
предыдущий следующий
= К содержанию =


111.2 Формальное описание модели - релевантная информация:

  1. Библиографический список
    111. Лотман Ю.М. Текст и структура аудитории // Даугава. 1988. № 1. 112. Лукьянова С.А. Аппликативный каламбур: Автореф. дис. ... канд. филол. наук. М., 1991. Лысакова И.П. Язык газеты: социолингвистический аспект. Л., 1981. С. 103. Макаров М.Л. Интерпретативный анализ дискурса в малой группе / М.Л. Макаров. Тверь, 1998. С. 199. 115. Маркова Л.Ф. Когнитивная идентификация речевого жанра. Автореф.
  2. Актуальность исследования.
    формальной констатации и журналистского описания, но и фундаментального фи-лософского и культурологического
  3. Оглавление
    111 Прогнозирование динамики средней защищенности сегментов сети Интернет.._. 114 4.10. Выводы но главе 4 116 Заключение 120 Литература 122 Приложение 1 (руководство пользователя) 126 Аннотация 127 Оглавление 128 П1.1. Назначение программного продукта 129 П1,2. Системные требования 129 3 Ш.З. Что вы должны знать 129 П1.4. Как установить комплекс 129 Ш.5. Как работать с комплексом 130 П1.5.1
  4. 111.1.1 Модель представления содержания
    описанная далее. Настояная модель не является самостоятельным объектом (сущностью) и тесно связана с разработанной на ее базе системой. Поэтому при описании модели часто будут делаться замечания относительно ее реализации в составе программного
  5. 111.4.1.1 Архитектура и программные средства, применяемые при разработке подсистемы.
    описание сайтов. Для обработки НТГР запросов и выполнения соответствующих PL/SQL процедур используется Oracle Application Server с установленным P17SQL картриджем. Так как реальное исполнение пакетов происходит на стороне сервера базы данных, то возникает некоторая сложность с передачей результатов работы пакета картриджу для последующей отправки клиенту, обусловленная свойствами языка PL/SQL.
  6. 111.4.2.2.3 Модуль работы с cookies
    описанием устанавливаемых cookie применяется SAX интерфейс (50J. Использование этого интерфейса вместо DOM позволяет уменьшить выделительные затраты, связанные с анализом документа, построением и использованием DOM
  7. Заключение
    формальное описание модели. На основании предложенной модели создана система управления содержанием WEB сайта Система представляет собой два программных модуля: модуль подготовки материалов и улраапения сайтом и модуль визуализации страниц по запросу пользователей. Первый модуль предназначен для организации процесса управления структурой сайта и манипуляций с размещаемыми на сайте документами.
  8. 1.2. ОСНОВНЫЕ ПОДХОДЫ К ПОНИМАНИЮ ВИРТУАЛЬНОЙ РЕАЛЬНОСТИ
    111] также вся культура, духовная жизнь человечества предстают как один виртуальный мир со своими обитателями, иерархией, законами. Предельно широкое понимание виртуальной реальности дается и в работе С.А.Борчикова [31]. Для него уникальная для каждого субъекта гносеологическая виртуальная реальность есть «рефлексивно-теоретическое познание» [31, 24] и она «осуществляется во множестве
  9. Экономической основой для объединенной регламентации телекоммуникаций являются единая экономическая сущность процессов
    111 Лукашук И.И. Нормы международного права в международной нормативной системе. М, 1997.С. 60-61; Савельев Д.Л. Указ. соч. С. 9. ш Савельев Д.Л. Укзз.соч. С. 10. ,ю Бачило И.Л., Лопатин B.H.. Федотов М.А. Указ. соч. С. 164. 80 Перечень указанных компаний можно легко составил., используя список членов Секторов, а также ассоциированных членов МСЭ. 1,7 МСЭ выработан целый ряд стандартов
  10. Важным элементом электронной коммерции является использование электронных сообщений при осуществлении расчетов и платежей.
    111 Конвенция ООН о международных 154 "* В соответствии со ст.! Конвенции ООН 1988 г.. данный договор не применяется для регламентации векселей, не являющихся международными либо не содержащими указания: «Международный переводной вексель (Конвенция ЮНСИТРАЛ)» («Международный простой вексель (Конвенция ЮНСИТРАЛ)». m Регистр текстов международных конвенций и других документов, касающихся права