6.4.2 Notación del modelo Labyrinth

Por tanto, un Hiperdocumento (HD) se define como la unión de un Hiperdocumento Básico (HDB) y una serie de Hiperdocumentos Personalizados (HDP), cada uno de los cuales pertenece a un grupo de usuarios. Es decir,
HD = HDB ∪ HDP
Donde,

HDB = (U, N, C, A, L, B, E, lo, al, el, ac)


Donde,

- U, es el conjunto de usuarios del hiperdocumento
- N, es el conjunto de nodos del hiperdocumento
- C, es el conjunto de contenidos del hiperdocumento
- A, es el conjunto de anclas del hiperdocumento
- L, es el conjunto de enlaces del hiperdocumento
- B, es el conjunto de atributos del hiperdocumento
- E, es el conjunto de eventos del hiperdocumento
- lo, es una función que determina la localización de un contenido en un nodo, es decir,
  lo: ∀ C I ∈ C, ∀ N j ∈ N | i = 0,..., n, n ∈ N, j = 0,..., m, m ∈ N, lo(Ci, Nj) = { Posicióni, Tiempoi}
Donde,
Posicióni es la posición del contenido en el nodo
Tiempoi = {Comienzo i, Duración i} indica el momento el que el contenido se coloca
en el nodo, y el intervalo de permanencia en él.

- al, es una función que asigna valores a la lista de atributos de un elemento, es decir,
  al: ∀ x ∈ (U ∪ N ∪ C ∪ L), al(x) = {NombreAtributoi, Valori}, i = 0,..., n, n ∈ N,
NombreAtributoi ∈ Bi

- el, es una función asigna eventos a un elemento, es decir,
  el: ∀ x ∈ (N ∪ C ∪ L), el(x) = {IdEventoi, Prioridadi}, i = 0,..., n, n ∈

- ac, es una función que asigna la categoría de acceso de un elemento, a un usuario, es decir,

  ac: ∀ Ui ∈ U, ∀ x ∈ (HD ∪ N ∪ C), ac(Ui, x) = CategoríaAccesoi