State Action Checks

Action name and code uniqueness

Action names and codes must be unique in the namespace (model or package).

Manual correction: Modify the duplicate name/code

Automatic correction: Appends a number to the duplicate name/code

Unspecified trigger event

Each action on a state must have a trigger event specified. This trigger event indicates when the action is executed.

Note that this check does not apply to actions defined on transitions because transitions have an implicit event corresponding to the end of execution of internal actions (of the source state).

Manual correction: Specify a trigger event in the action property sheet

Automatic correction: None

Duplicated occurrence

Two distinct actions of a same state should not occur simultaneously. The occurrence of an action is defined by combining a trigger event and a condition.

Manual correction: Change the trigger event or the condition of the action

Automatic correction: None