You can open a model in ARIS Connect Designer for which you ran a semantic check in the repository. This provides you with the extended functionality of the Semantic checks bar of ARIS Connect Designer.
Prerequisites
You have already run a semantic check for a model.
Procedure
The model is opened and the Semantic checks bar contains the semantic check results. Objects with errors, warnings, and/or notes are marked in the model. You can restrict the result to errors, warnings or notes.