Model Verification Wizard

Purpose

The Model Verification Wizard takes you through the steps necessary for verifying a model in order to set the model elements to be verified and the verification method.

The wizard can also be used in multi-user mode for extensive verifications without impairing other users. The execution of the verification routines divides up the selected model elements and pauses in between them to enable model server accesses by other users. As a result, the execution time for the model verification is extended by 1 millisecond for each model element being verified.

Restriction

If the verification routine is executed via Review>Verify Model>Run Verification Routine, all selected model elements are verified at once without a pause. This can impair multi-user operations.

Prerequisites

For the execution of individual verifications that you have set as Java verification actions, an appropriate Java installation is required.

Call

Select Review>Verify Model>Verification Wizard.

Step 1 of 5: Select the Coverage of the to-be-verified Model Part

You can carry out model verifications which take account of all or some of the elements from a model in their current development state.

The scope of the model verification is initially for selection purposes:

The scope is initially that you can make use of a search to determine the selection for Elements related to the current selection in the next step.

Step 2 of 5: Run Search on Selection

You can run all searches that are configured in the $INODIR/inoref.xml file.

If you have selected a document (diagram or table), then Content of selected diagrams appears as the first selection point.

Continue with step 3 Select Verification Method.

Step 2 of 5: Select saved search

Select one of the stored searches. The model elements found in the search are checked.

Continue with step 3 Select Verification Method.

Step 2 of 5: Select a Section of the Model

If you choose an individual section then you can add or remove a model element and all its subordinate model elements from the verification by activating or deactivating the check box.

Continue with step 3 Select Verification Method.

Step 3 of 5: Select Verification Method

Select the verification method that should be used for the verification. This is either a verification routine from the server or a configured verification action. The user is only offered verification routines for which he or she has execution rights.

Step 4 of 5: Select Verification Routine

Select a verification routine. All verification routines that are configured for the current user role are offered. The localized name is displayed as defined in the model configuration.

Step 4 of 5: Select the Single Verifications

Select individual verifications. The verifications initially selected are those that are executable and are active in the verification configuration.

The verification configuration can be found in the $INODIR/inoverify.xml file as standard. Alternatively, you can also use a model-specific verification configuration by configuring a corresponding text definition whose specification text is then used as the verification configuration.

Verifications that cannot be executed are grayed out and cannot be selected. The tool tip will explain why a verification is not executable. Possible reasons include: the current user role does not have execution rights for the verification routine, or the implementing C# class or Java class is not available or the stereotype is not available.

You can select all verifications of the action or all verifications in a group or all verifications of a particular message type (info, warning, error) or individual verifications. The same applies to deselection.

Step 5 of 5: Ready to Verify the Selected Model Part

You will see an overview of the model elements to be verified and the verification methods to be executed.

Use Finish to run the verification methods for the model elements to be verified.

Use Save to save the settings made in the wizard as a verification. You can enter the name and description of the verification in a further dialog. You can run the verification again using Review>Verify Model>Verification Wizard ><Name of verification>. To do this, you need the corresponding execution rights for the verification routines contained. Running the verification again takes into account the current selection and the active document.

The wizard is closed and the Verification Results tool window is opened.