Synchronization Checks

PowerDesigner provides default model checks to verify the validity of 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