1) Type-instance matching
Metrics between types and instances
- Which rules or constraints are used (and which are not)?
- Basically all the rules made into the original metamodel can be checked
- Uniqueness, identity, mandatory, cardinality, multiplicity, number of instances, cyclic relationships, sharing of the same values, etc.