IfUntil

The IfUntil construct allows to define the branches’ execution according to certain conditions. The behavior is shown in Figure IfUntil as a state chart. This construct combines the functionality of a loop with the functionality of a condition element. The main purpose of this construct is that the Tree branch is executed until a defined condition is true. This condition is called Condition. If this Condition is true, the Then branch is executed. To restrict the number of repetitions, it is also possible to define another condition which specifies the possible repetitions. This condition is called RepeatCondition and defines the condition for the repetition. If the RepeatCondition is false, the Else branch is executed. After either the Then or the Else branch is finished, the execution of the IfUntil construct is finished.

An example for the use of the IfUntil construct is to model a login. The login question is repeated until the login was successful, which is represented by the Condition. It is also possible to restrict the number of possible login attempts to a certain number. This restriction is represented by the RepeatCondition.