Verify Model

You can check your model for syntactical and methodical accuracy using verification routines. You can only manage verification routines in the configuration editor.

Verify Models

You can make extensive settings to carry out a model verification which precisely matches your ideas about the syntactical and methodical accuracy of a model.

The following parameters influence the results of the model verification:

Always the current state of the model content
If applicable, the model elements currently selected
The model verification content chosen
- The active diagram
- The current selection
- Elements related to the current selection
- An individual section of the model
- The entire model
The pre-configured verification routine or self-designed verification actions carried out, with their specifications on the content of the verification

Your self-designed verification actions can consist of delivered verification routines and self-programmed verification actions. You can provide this verification configuration for all models in the $INODIR/inoverify.xml file or, alternatively, define it on a model-specific basis in a special specification text.

Familiarizing Yourself with Verification Routines

Models need to be checked for consistency as they are complex and depend on configuration and the notation used.

Use configured verification routines for verification. A verification routine consists of at least one verify option that contains the actual verification and delivers a message as the verification result if appropriate.

In order to call a verification routine, it must be configured for the menu in the Menus view in the configuration editor.

Localized names are the choice of preference when displaying in language-dependent user interfaces. According to the interface language set ($INOLANG), the localized name of the verification routine is displayed as follows:

Configuration Editor
- In the profile tree
- In the Edit/Properties dialog as a description of the root tab
Model Editor
- In in the Review>Verify Model>Run Verification Routine submenu.

Note

Assignment of execution rights for verification routines takes place in the Configuration Editor in the Execution Rights view .

Calling and Evaluating a Verification Routine

Prerequisites

Your role needs to have the execution right to be able to call a verification routine. You can get this execution right with temporary model administrator rights.

Context

Calling a verification routine starts the execution of a configured compilation of verify options for the selected model elements.

If a verify option produces a message, then this either appears in the Verification Results tool window or in the right-hand area of the diagram being checked.

You can find more detailed information about verification messages in the verification messages' overview. Each verification message has the verify option's ID.

If you select a verification message, the affected model element is selected and a line is drawn from the message to the affected diagram element in the diagram. You can then immediately start carrying out corrections.

How to proceed

Select the elements which you want to verify.
Select Review>Verify Model>Run Verification Routine><verification routine>.

Messages about discrepancies determined in the elements being changed are listed in the Verification Results tool window or in the right-hand area of the diagram. Each message identifies a deficiency which exists in a consistent model.
To select an element which is referred to in a message, select the message.

The element is selected. The Properties, Details and other tool windows provide information about the selected element.
Correct the cause of the verification message.
To verify the incorrect elements again, click on the Repeat button.

The Verify incorrect elements again command is executed.
To verify all elements again, click on the Repeat button and select Verify all elements again.
Repeat the corrections and verification until there are no more verification messages.