donne le nom d'une ou plusieurs structures de
traits modèles dont ce type hérite des spécifications de traits et des contraintes. Si
ce type inclut une spécification de traits du même nom que l'une de celles spécifiées par
cet attribut, ou si plus d'une spécification du même nom est transmise par héritage,
l'ensemble des valeurs possibles est définie par unification. De même, l'ensemble des
contraintes applicables résulte de la combinaison de celles qui sont spécifiées
explicitement à l'intérieur de cet élément et de celles qui découlent de l'attribut
baseTypes. Quand aucun attribut baseTypes n'est précisé, aucune
spécification de traits ni contrainte n'est transmise par héritage
Inheritance is defined here as a monotonous relation.
The process of combining constraints
may result in a contradiction, for example if two
specifications for the same feature
specify disjoint ranges of values, and at least one such
specification is mandatory. In such a case, there is
no valid representative for the type being defined.