# Examples

The figures below show some combinations of the different elements of Diane+H.

Explanation :

The user must do A. A is enabled if the condition "a" is true.

When A is finished, B and C are enabled. C is triggeted by the system, and B by the user.

C has a feedback which is specified there. When C is completed, F is enabled. F is a terminal event as G. That means that the goal is reached when F is finished OR when G is finished.

B is followed by a AND. So, both D and E must be completed. {A,B,C} has a equivalent behaviour to {B, AND, D, E}.

- Both D and E must be completed before G becomes enabled.

Explanation :

Compared to the previous figure,

The user must do A without precondition on A.

When A is finished, we follow the link(s) which are true. So, in this case, either B or C may by reached.

B is followed by a OR. So, either D or E must be completed. {A,B,C} has a equivalent behaviour to {B, OR, D, E}.

Explanation :

The user must choose between A and B. If he chooses A, he can execute C afterwards if he wants, but it is not required to complete the compound task.

Explanation :

The user must do A and B.

The system executes automatically G and C. After C, the user will be able to do F.

After B, the user must do D or the system must do E (we assume that conditions on links or preconditions will be used later to specify clearly the behaviour).