Chapter 9 Working with Object-Oriented Models


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 Automatic correction
Add any missing transitions to the synchronization

 


Copyright (C) 2006. Sybase Inc. All rights reserved.