Chapter 8 Working with Object-Oriented Models

Event checks

The following OOM model checks are made on events:

Check Description and Correction
Event name and code uniqueness Event 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
Unused event An event is useful to trigger an action defined on a state or on a transition. An event alone is useless.

Manual correction: Delete the event or use it within an action on a state or on a transition

Automatic correction: Deletes the event

 

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