Реферат: Достаточные условия для корректных адаптивных гипермедиа систем

U(R) = набор атрибутов, которым присвоены значения в A

E(R) = набор атрибутов, используемых в правой части выражений присваивания в A

st-rule (стартовое правило) – это правило, которое запускается внешними или внутренними сгенерированными событиями. Его действие только модернизирует концепты, выбранные по его условию. Оно описывает изменение значений внутри того же концепта. St-rule представляет набор стартовых правил.

pr-rule (правило распространения) – это правило, которое передает изменения значений различным концептам через отношения между этими концептами. Это может быть признаком плохого проектирования, если правила передают изменения с помощью иных средств, нежели отношения концептов в AHS. Pr-rule представляет набор правил распространения.

Pri(R) – это число для представления приоритета порядка выполнения правила R.

AM(rel)ÍPr-rule – набор правил, которые распространяют изменения “через” отношения типа rel.

Далее мы рассмотрим ограничения, которые гарантируют, что выполнение набора правил конечно и конфлюэнтно, но оставляют автору известную степень выразительной мощности при написании правил распространения. Несколько первых ограничений показывают, что непосредственный прямой подход приводит к очень жестким ограничениям, что ограничивает свободу автора.

Ограничение 1: "R_i ,R_j ÎAM: S(R_i )ÇU(R_j ) = Æ.

Это ограничение означает, что правилам не позволено запускать друг друга.

Теорема 1: Набор правил AM, удовлетворяющий Ограничению 1, конечен.

Мы пропускаем (легкое) доказательство данной теоремы. Это ограничение является очень жестким, так как оно мешает процессу распространения. Тем не менее, оно, однако, не является достаточным, чтобы гарантировать конфлюэнтность.

Ограничение 2: "R_i ,R_j ÎAM:

R_i не зависитот R_j : (S(R_i )ÈU(R_i )ÈE(R_i )) Ç U(R_j ) = Æ.

R_i является самонезависимым: (S(R_i )ÈE(R_i )) ÇU(R_i ) = Æ.

Это ограничение означает, что правилам не позволено воздействовать (активировать или деактивировать) друг друга или самих себя и порядок выполнения правил не будет влиять на конечный результат.

Теорема 2: Набор правил AM, удовлетворяющий Ограничению 2, конечен и конфлюэнтен. Мы также пропускаем (легкое) доказательство данной теоремы.

В то время как Ограничение 1 гарантирует только конечность, Ограничение 2 является достаточным условием для конечности и конфлюэнтности. Вычислительная сложность алгоритма проверки этих ограничений O(N² xM² ), где N количество правил, а M – количество атрибутов. Эти ограничения очень строги в том смысле, что невозможно описать никакой процесс распространения (правило, которое активирует другие правила). Мы определи Ограничения 3-7 (и 7’), чтобы дать авторам бóльшую выразительную свободу.

Ограничение 3: AM = St-ruleÈPr-rule, "R_i ÎSt-rule, "R_j ÎPr-rule: Pri(R_i )>Pri(R_j ).

Правило является семантически корректным в AHS, если оно удовлетворяет данному ограничению. Это значит, что набор правил состоит из стартовых правил и правил распространения. Данное ограничение также описывает то, что в каждой фазе перехода стартовые правила выполняются перед распространением. Приоритеты помогают, но их не достаточно для гарантирования конечности и конфлюэнтности.

Ограничение 4: “Граф” для каждого типа отношений концептов (исключая гиперссылки) ацикличен.

Гиперссылки не используются для распространения изменений в модели пользователя, так что они могут быть циклическими. Остальные отношения используются для распространения изменений между различными концептами. Чаще всего это не является признаком хорошего проектирования, если тип отношений циклический, поскольку тогда распространение изменений может никогда не закончиться. (Например, циклы в отношениях указывающих на порядок прохождения материала не имеют смысла.) Но даже с ациклическими типами отношений, отношения различных типов могут продолжать взаимодействовать и служить причиной бесконечных циклов.

Ограничение 5: "rel₁ , rel₂ ÎDM-rel, rel₁ ¹ rel₂ :

"R_i ÎAM(rel₁ ), "R_j ÎAM(rel₂ ): U(R_i )ÇS(R_j ) = Æ.

Это ограничение означает, что правила, использующие различные типы отношений, не могут активировать друг друга.

Теорема 3: Набор правил AM конечен, если он удовлетворяет Ограничениям 3-5.

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

Ограничение 6: "relÎDM-rel: "R_i , R_j ÎAM(rel), R_i ¹R_j : U(R_i )ÇU(R_j ) = Æ.

Это ограничение говорит, что каждая пара правил, содержащая одинаковые типы отношений, обновляет непересекающиеся наборы атрибутов. В случае простого распространения каждый атрибут устанавливается только однажды за переход[2] .

Определение 7: "rel₁ , rel₂ ÎDM-rel: