Synchronization Checks

The following OOM model checks are made on synchronizations:

Check	Description and Correction
Synchronization name and code uniqueness	Synchronization 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 synchronization	A synchronization represents a fork when a unique transition is split into several output transitions executed in parallel, or it represents a join when several input transitions are joined and they wait until all transitions reach the join before continuing as a unique output transition. That is why a synchronization must have more than one input transition, or more than one output transition. Manual correction: Add any missing transitions to the synchronization Automatic correction: None

Check

Description and Correction

Synchronization name and code uniqueness

Synchronization 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 synchronization

A synchronization represents a fork when a unique transition is split into several output transitions executed in parallel, or it represents a join when several input transitions are joined and they wait until all transitions reach the join before continuing as a unique output transition. That is why a synchronization must have more than one input transition, or more than one output transition.

Manual correction: Add any missing transitions to the synchronization

Automatic correction: None