Chapter 8 Working with Object-Oriented Models
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 |
| Copyright (C) 2008. Sybase Inc. All rights reserved. |
| |