A step extension specifies an alternative behavior that may follow a step. The enabling condition of a step extension is specified as follow:
The enabling condition of a step extension may be
A step extension specifies a sequence of extension actions. Each extension action may be a concept operation instance, a branching statement or a reference to an included use case.