Configuring Your Own Verification Actions

You can check your model for syntactical and methodical accuracy using single verifications you have programmed yourself. You can integrate these single verifications into the model verification wizard using a verification action.

Getting to Know Verification Actions

When using a model, the quality of the model is crucial. However, there should be no constraints on the modeler when creating a model. Especially when the modeling is being carried out in a team, it is necessary to ensure the model quality. Automated model verification is therefore necessary, which verifies the entire model or a section of it in accordance with set rules.

The person setting up the verifications creates a verification action which is available in the wizard to all model users (apart from guest). The localized name of the verification action and the localized description are shown in the Model Verification Wizard based on the interface language set ($INOLANG).

A verification action comprises single verifications that can be grouped by function.

A single verification can be a verification for a particular customer, programmed in a .NET language or in Java. You can also integrate verification routines as single verifications.

This chapter contains the topics: