Hypergraph model

Definition: a graph structure (N,L), where N is a set of

nodes and L is a set of Links.

 

(a) Node types

    A basic node is defined as a terminal node in the

hypergraph structure.

     A composite node is defined as a non-terminal node in

the hypergraph structure.

 

(b) Media types

      text

      graphics

      image

      moving graphics

      moving image

      audio

      video

      form

      live-demo

      composition

 

(c) Link types

 

   attachment link

   annotation link

   reference  link

   location   link

  synchronization link

 

(d)Synchronization links

  Possible synchronization links in hypergraph are:

  

  

       Name          Semanic
   Temp: a before * b   a ends * before b starts
   Temp: a meet     b   b starts right after a finishes
   Temp: a equals   b   a,b start and end at the same time
   Temp: a overlaps b   b starts after a starts and before a ends, and b ends after a ends;
   Temp: a during   b   a starts after b starts and ends before b ends;
   Temp: a co-begin b   a,b start at the same time
   Temp: a co-end   b   a,b end at the same time

  

  Besides the synchronization links, attachment links and annotation lnks

also have temporal semantics;

 

Attachment links a--->b,c,d means a consists of b,c,d. if there is no other

requirements of b,c,d. They should start when a starts.And a ends when the

longest one of b,c,d ends;

 

Annotation links a--->b,c,d means b,c,d annotate what a is. So b,c,d should

start after some delay a started. and Also a ends when the longest one of b,

c,d ends;

 

(e) Analysis of hypergraph temporal model

   So according to previous analysis and the introduction of temporal framework in the

previous html. we can conclude that the hypergraph  temporal model is interval-based

model.And so if mulitple links is allowed between two nodes which means nondeterminacy

is allowed.It will be more powerful than time-line model. So transformation from it to

time-line will be impossible; However, In practical usually only one link exists between

two nodes. So we can try to find some way to transform it into time-line model.