It is allowed that subtypes override ModellingRules on their InstanceDeclarations. As a general rule for subtyping, constraints shall only be tightened, not loosened. Therefore, it is not allowed to specify on the supertype that an instance shall exist with the name (NamingRule Mandatory) and on the subtype make this optional (NamingRule Optional). Table 20 specifies the allowed changes on the Properties when exchanging the ModellingRules in the subtype.

Table 20 – Rule for ModellingRules Properties when Subtyping

Value on supertype

Value on subtype

NamingRule

Mandatory

Mandatory

NamingRule

Optional

Mandatory or Optional

NamingRule

Constraint

Constraint