Model Verification Wizard
The Model Verification Wizard takes you through the process of verifying an Innovator model step-by-step.
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.
At the top you can see which step you are currently in; from the second step onwards there is also back button 
here, which you can click on to go back a step.
The middle section shows you the input and selection options; making a selection will jump you directly to the next step if applicable.
The bottom section contains the [Next] (if the selection doesn't automatically jump to the next step) or Finish and always the [Abort] button.
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 active diagram
- The current selection
- Elements related to the current selection
- An individual section of the model
- The entire model
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.
The active document is verified, i.e. the diagram or table currently visible in the application's document area.
The name of the active document is shown in the wizard.
Continue with Select Verification Method step 3.
Only the model elements which were selected in the application's active window when calling the verification wizard are verified.
Once you select a model element, it name is then shown in the wizard. The number is shown if more than one model element is selected.
Continue with Select Verification Method step 3.
A search is executed based on the current selection. All model elements returned in this search are verified. The selection for the search takes place in the next step.
Once you select a model element, it name is then shown in the wizard. The number is shown if more than one model element is selected.
Continue with Run Query on Selection step 2.
You have the option of selecting the model elements that are to be verified in the next step.
Continue with Select a Section of the Model step 2.
All model elements in the entire model will be verified.
Continue with Select Verification Method step 3.
Step 2 of 5: Run Query on Selection
You can run all searches that are configured in the file $INODIR/inoref.xml.
If you have selected a document (diagram or table), then Content of selected diagrams appears as the first selection point.
The active document is verified, i.e. the diagram or table currently visible in the application's document area.
The name of the selected document is shown in the wizard.
Select one of the configured searches.
All model elements returned in this search are verified.
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.
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.
If verification routines are configured for the current user role then you can use this button to go to the next step of selecting the verification routines.
Continue with Select Verification Routine step 4.
If verification routines are configured then you can use the button for a configured verification action to go to the next step of selecting the verifications.
Continue with Select the Single Verifications step 4.
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.
Verifications that cannot be executed are grayed out and cannot be selected. The tooltip 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.
Press Finish to run the verification methods for the model elements to be verified.
Press 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.