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) 2005. Sybase Inc. All rights reserved.