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 :
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 :