You can use the provided or your own semantic checks to check whether models and objects meet predefined conditions. If rules are not adhered to, detailed error descriptions, warnings, and/or notes are displayed. Based on semantic check results, you can customize the models and ensures that they are properly modeled. As a result, expensive modification efforts and rework can be avoided if models are created by several people or even across department boundaries.
You can use ARIS Connect Designer to check an open model and its objects. Errors are marked in the model itself and listed in the Semantic checks bar that is displayed under the model. The Semantic checks bar also lists warnings and notes.
The semantic check results of the checks used in ARIS Connect Designer can be downloaded in the format selected.
You can also run semantic checks in the repository.