Tree structures

Each node is associated with a temporal operator and each leaf represents a basic object. The set of temporal operators depends on the system.

CMIF:

bullet

Proposes both sequential and parallel operators.

SRT:

bullet

Has sequential and equal operators.

bullet

equal operators -  the operands start simultaneously and must have the same duration.

bullet

static checking phase is used to verify that the operands of an equal operator have the same duration.

bullet

SRT is not able to deal with unpredictable events.

SMIL:

bullet

Have more advanced set of operators to express interruptions like Par_min.

Authoring Capabilities:

bullet

It is not straightforward to get the tree structure from the scenario.

bullet

Figure 6(a) illustrates the Company part of the document example, using SRT. The only way to get a tree structure is to fix the delay between the beginning of History and Geography. Notice that the temporal information between Geography and Name is lost.

Synchronization Arcs in CMIF:

bullet

Allows additional temporal information between any pair of nodes of the tree.

bullet

Figure 6(b), shows a Synchronization Arc from Name to Geography specifying a delay of 20 s.

bullet

Semantics of Synchronization Arcs is unclear. Figure 6(c), What happens if the A is longer than 20 s?