Move to UML correctness constraints rules:
- Link slot multiplicity (UML completeness constraints rules)
- Classifier Behavior Restriction (UML correctness constraints)
- Call from Foreign Classifier
- Covered of State Invariant
- Different Generalization Ends
- Invalid Connector (Symbols)
- Invalid Connector (UML correctness constraints)
- Lower Multiplicity Value to High
- Method for Abstract Operation is Defined
- Not Query Datatype Operation
- The reception should have the signal handling it
- Wrong Maximum Composite Multiplicity