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 |