Model Validation
A number of validation rules (constraints) exist to help improve the integrity of FSM models and are enabled by default.
To see the Model Validation entry in the Preferences, you must enable the Eclipse Modeling Framework (EMF) capability.
To enable it, follow these steps:
- Open .
- Click Advanced Capabilities Settings window. to open the
- Check the Eclipse Modeling Framework (EMF) capability in the Advanced Capabilities Settings window, under Development.
After these steps are completed, use the Model Validation preferences page to view the details of these
constraints and to enable or disable them if required. The Model Validation preferences page can be found at
The FTM FSM Model validation constraints can be found in the category. The Configuration Data validation constraints can be found in the category. There are two types of constraints: Live and Batch. The Live validation
constraints are evaluated as changes are made to a model. Use the preferences page to change how validation problems are notified to the user.
The Batch validation constraints are evaluated when the user explicitly runs the validation function in
1 of two ways:
The Problems view contains details of the errors and warnings. Double-click or right-click and select
Goto on an entry to highlight all model elements in the Project Explorer that are
effected by error/warning.
The Tasks view contains details of the Informational messages.
.- Right-click an open UML Model and select Validate.
- Select an open UML Model then, from the toolbar, select .
Note: The FSM SQL Extractor function runs the model validation, using the currently enabled FTM
Constraints only, before generating the SQL statements.
If any model validation issues are
detected, the user is notified. For a list of the supplied model validation rules, see Model Validation
Rules.