conditional action

A conditional action describes a method (and its method class) and pre- and postconditions for running the action. Precondition allow defining the conditions for running the action, while postconditions allow specific treatment after running the action.

Conditional actions are usually called as part of a reaction but can be called explicitly, also.

Pre- and postconditions as well as the action are defined as actions.