Decision Checks

Decision name and code uniqueness

Decision 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

Incomplete decision

A decision represents a conditional branch when a unique transition is split into several output transitions, or it represents a merge when several input transitions are merged into a unique output transition. That is why a decision must have more than one input transition or more than one output transition.

Manual correction: Add any missing transitions on the decision

Automatic correction: None