Decision checks

Chapter 8 Working with Object-Oriented Models

Decision checks

The following OOM model checks are made on decisions:

Check	Description and Correction
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

Check

Description and Correction

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