Link

It defines the sequence of task execution. Links are unidirectional. It starts from a component and ends on another. The component can be either a task or a boolean connector. There are 2 types of link :

  1. unconditional
  2. conditional --- a condition that needs to be fulfilled to follow the link.

As shown in the figure below, the link between Task A and Task B for (a) is uniconditional which means that Task B will be performed after Task A is performed.

The link in (b) is conditional which means that after Task A is performed, Task B will be performed only if the condition "x > y" is satisfied.

        (a)                                                (b)

In the Diane+H formalisms, a link has the following attributes :