Check this to make Model Expert check on the contents of each diagram. This will check that diagrams have all the element types required by the Reference Model, but don’t contain elements which are not in the Reference Model.
Show results in violation list
Show a violation list which describes any violations in more detail. This can be used to help fix any issues
Shows the results in a summary meta-model diagram, colored to show where there are violations.
If ON, Choose package
Checking a package
When you check a package, Model Expert will look at all the elements in the package, and in all child packages.
It will check that each element has a type & stereotype which are in the Reference Model, and optionally, whether they have the required fields and tagged values filled-in, and don’t use any fields or TVs which are not in the Reference Model.
It will check the connectors of all of the elements, but only connectors which link elements which are BOTH in the package. So, a connector to an element outside the package will not create a violation.
Following the analysis, the Package Check dialogue shows:
A list of each sub-package, diagram, element and connector analysed
# Elements checked
# Diagrams checked
# Element violations
With an overal RAG status for the package
Results as a Diagram
Model Expert creates a snapshot meta-model of the package, then annotates with the errors it has found.