Preparing Verification Routines for the Model
Verification routines allow for a higher level of modeling quality.
Innovator provides numerous verify options, which ensures a high level of modeling quality.
You can define a profile's verification routines in the Verification Routines view. Assign the profile sections in the first level (profile section) of a verification routine which the verification routine should apply for. The element types to be verified are selected for this profile section in the next level (verification category). Stereotypes are assigned in the third level. There is a set of predefined, methodical verification messages (verify options) for each of these which you can take the assignment from.
These complete verification routines then need to be added to the Menus view in the diagrams' menus.
As with create templates and engineering actions, verification routines are available in the model editor and in diagrams whose (sub) models have imported the profile using verification routines (if applicable, by importing the profile into another profile).
You can use the verification routine's logical name (in the root tab) for the API as it is language-independent.
Localized names are the choice of preference when displaying in language-dependent user interfaces. The verification routine's localized name is displayed according to the interface language set ($INOLANG)
- In the configuration editor
In the profile tree
In the Edit/Properties dialog as a description of the root tab
For executing in the respective configured
Engineering>Verify Modeling menu, as well as
- In the model editor and in the diagram editors in the menu.
You need to be in the Verification Routines view when creating verification routines.
This chapter contains the topics: