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:

  1. Open Window > Preferences.
  2. Click General > Capabilities > Advanced to open the Advanced Capabilities Settings window.
  3. 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 Windows > Preferences > Model Validation.
ModelValidationofConstraints
The FTM FSM Model validation constraints can be found in the FTM Constraints > FSM Model Constraints category. The Configuration Data validation constraints can be found in the FTM Constraints > Configuration Data Constraints 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 Windows > Preferences > Model Validation preferences page to change how validation problems are notified to the user.
ModelValidationPreferences
The Batch validation constraints are evaluated when the user explicitly runs the validation function in 1 of two ways:
  1. Right-click an open UML Model and select Validate.
  2. Select an open UML Model then, from the toolbar, select Modeling > Run Validation.
When the model validation is complete, the Console view contains a summary of the issues found.
ModelValidationConsole
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.
ModelValidateErrors
The Tasks view contains details of the Informational messages.
ModelValidationInfoMgs
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.