Содержание пункта источника
|
Коршунов Андрей Александрович. Система управления содержанием WEB сайта, 2004 |
111.2 Формальное описание модели |
Приведем далее формальное описание модели представления содержания, которая была рассмотрена в предыдущем лодраздеіе. Структурная составляющая модели определяется следующим образом. Пусть D- множество всех документов. Под документом будем понимать последовательность символов некоторого алфавита Рассмотрим тройку вида Л/^±<Дг,ч>, элементы которой определяются следующим образом. r:D-+{h9m,f) отображение, которое ставит в соответствие каждому документу deD символ из тройки {Л,/я,/}. Даїоюе отображение задает тип документа и разбивает множество D на попарно непересекающиеся множества DM>Dm.Df (множества рубрик, материалов и функций). -< бинарное отношение, определяющее иерархию документов. d{ < d, интерпретируется следующим образом: , яатяется потомком d7 (d2 является родителем dx). Указанное отношение не является транзитивным. Будем использовать ряд обозначений, связанных с каждым документом d. Р4 {d'QD\dRd^=±{d' eD\d будем интерпретировать как конкатенацию соответствующих последовательностей символов. При этом dx +г *d7 . Ограничения целостности запишутся следующим образом. 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(,/), где XSLT(dj) - результат применения XSLT шаблона / к документу d. Введем отношение принадлежности шаблонов документам:
r Заіаиное отношение имеет следующие ограничения. Vrf:r(rf)"w=>re//j/?/(rf)-0, т.е. документы типа «материал» не имеют шаблонов. / шаблон может принадлежать только одному документу. Таким образом, шаблон t однозначно указывает на некоторый документ d. На множестве шаблонов естественным образом вводится отношение включения шаблонов. /, 2 означает, что шаблон г, включен в шаблон /2, при этом свойство /<...При помощи операции ¦, интерпретируемой как конкатенация шаблонов, зададим
ЛТ(г)^ процедуру вычисления дополнения шаблона
( + ? ЛТ(0,ЄС9И[Г] * 0.
Указанная процедура является сходящейся в рамках предложенной модели в силу того, что множество шаблонов конечно и у шаблонов отсутствует включение самого в себя. Определим процедуру дополнения документа с помощью шаблона
Введем операцию «использование» шаблона t: U(t) (/(О = XSLT(ND(t).NT(t)). Введенная операция является основной в манилуляшокной составляющей модели представления содержания. Приведенное выше формальное описание позволяет показать непротиворечивость обобщенной модели основным положениям (постулатам), принятым при ее построении, включая результаты манипулирования с ее объектами. Такое описание для отдельных (проблемно-ориентированных) моделей позволяет решать следующие задачи:
введение определений основных объектов и операций над ними; спецификация модели системы с решением на этой основе задач верификации ее программной реализации (кода); разработку политики использования ресурсов системы, построение политики ее безопасности и доказательной базы гарантированной защищенности. Детальное описание подходов к решению этих и других задач на основе формальной модели представления содержания - это отдельные, достаточно сложные, в значительной степени проблемно-ориентированные исследования, которые выходят за рамки настоящей работы. |
|
|
|
|
= К содержанию =
|
|
|
|
|
111.2 Формальное описание модели - релевантная информация: |
- Библиографический список
111. Лотман Ю.М. Текст и структура аудитории // Даугава. 1988. № 1. 112. Лукьянова С.А. Аппликативный каламбур: Автореф. дис. ... канд. филол. наук. М., 1991. Лысакова И.П. Язык газеты: социолингвистический аспект. Л., 1981. С. 103. Макаров М.Л. Интерпретативный анализ дискурса в малой группе / М.Л. Макаров. Тверь, 1998. С. 199. 115. Маркова Л.Ф. Когнитивная идентификация речевого жанра. Автореф.
- Актуальность исследования.
формальной констатации и журналистского описания, но и фундаментального фи-лософского и культурологического
- Оглавление
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
- 111.1.1 Модель представления содержания
описанная далее. Настояная модель не является самостоятельным объектом (сущностью) и тесно связана с разработанной на ее базе системой. Поэтому при описании модели часто будут делаться замечания относительно ее реализации в составе программного
- 111.4.1.1 Архитектура и программные средства, применяемые при разработке подсистемы.
описание сайтов. Для обработки НТГР запросов и выполнения соответствующих PL/SQL процедур используется Oracle Application Server с установленным P17SQL картриджем. Так как реальное исполнение пакетов происходит на стороне сервера базы данных, то возникает некоторая сложность с передачей результатов работы пакета картриджу для последующей отправки клиенту, обусловленная свойствами языка PL/SQL.
- 111.4.2.2.3 Модуль работы с cookies
описанием устанавливаемых cookie применяется SAX интерфейс (50J. Использование этого интерфейса вместо DOM позволяет уменьшить выделительные затраты, связанные с анализом документа, построением и использованием DOM
- Заключение
формальное описание модели. На основании предложенной модели создана система управления содержанием WEB сайта Система представляет собой два программных модуля: модуль подготовки материалов и улраапения сайтом и модуль визуализации страниц по запросу пользователей. Первый модуль предназначен для организации процесса управления структурой сайта и манипуляций с размещаемыми на сайте документами.
- 1.2. ОСНОВНЫЕ ПОДХОДЫ К ПОНИМАНИЮ ВИРТУАЛЬНОЙ РЕАЛЬНОСТИ
111] также вся культура, духовная жизнь человечества предстают как один виртуальный мир со своими обитателями, иерархией, законами. Предельно широкое понимание виртуальной реальности дается и в работе С.А.Борчикова [31]. Для него уникальная для каждого субъекта гносеологическая виртуальная реальность есть «рефлексивно-теоретическое познание» [31, 24] и она «осуществляется во множестве
- Экономической основой для объединенной регламентации телекоммуникаций являются единая экономическая сущность процессов
111 Лукашук И.И. Нормы международного права в международной нормативной системе. М, 1997.С. 60-61; Савельев Д.Л. Указ. соч. С. 9. ш Савельев Д.Л. Укзз.соч. С. 10. ,ю Бачило И.Л., Лопатин B.H.. Федотов М.А. Указ. соч. С. 164. 80 Перечень указанных компаний можно легко составил., используя список членов Секторов, а также ассоциированных членов МСЭ. 1,7 МСЭ выработан целый ряд стандартов
- Важным элементом электронной коммерции является использование электронных сообщений при осуществлении расчетов и платежей.
111 Конвенция ООН о международных 154 "* В соответствии со ст.! Конвенции ООН 1988 г.. данный договор не применяется для регламентации векселей, не являющихся международными либо не содержащими указания: «Международный переводной вексель (Конвенция ЮНСИТРАЛ)» («Международный простой вексель (Конвенция ЮНСИТРАЛ)». m Регистр текстов международных конвенций и других документов, касающихся права
|
|
|