Chapter 8 Working with Object-Oriented Models
The following OOM model checks are made on junction points:
| Check | Description and Correction |
|---|---|
| Junction point name and code uniqueness | Junction point 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 junction point | A junction point represents a split or a merge of transition paths. That is why a junction point must have at least one input and one output transitions.
Manual correction: Add any missing transitions on the junction point Automatic correction: None |
| Copyright (C) 2008. Sybase Inc. All rights reserved. |
| |