The diagram below describes the VerifIEr architecture.
The top level shows the various interfaces to VerifIEr, i.e. via GuardIEn, Object List+ or the VerifIEr user interface. The user interface layer is used to select the objects that are to be checked, the checks to be performed and report on the results of the checks.
The VerifIEr Rules Engine is responsible for categorizing the selected objects, determining what checks are to be performed and then at execution time, executing the checks.
The actual check logic is either supplied by IET or developed as a customized check. The IET check logic can be either licenced as a standard check or developed by IET to a customer's specific requirement.
The check logic can make use of a comprehensive set of VerifIEr services and a Gen Model Data API that provides a common interface to the host & client/server encyclopedias and also the Toolset via the plug-in interface. This means that a check can be developed once and reused for all of the differing model data platforms.