9.7 Generalization Sets

9.7.1 概要

泛化集（GeneralizationSet）提供了把泛化分组到正交维度的一种方法。一个泛化集可以与一个称为它的幂类（powertype）的分类符相关联。这些技术为分类层级的组织提供了额外强有力的表达。

9.7.2 抽象语法

图9.14 Generalization Sets

9.7.3 语义

泛化可以被分组到不同的正交维度中。每个组由一个泛化组所代表。generalizationSet属性指明泛化所属的泛化集。一个特定泛化集中的所有泛化应该具有相同的general分类符。

泛化集的isCovering属性指明该泛化集中的特定分类符是否完备，如果isCovering为真，那么general分类符的每个实例都至少是一个特定分类符的实例。isDisjoint属性指示泛化集中的特定分类符是否有交集，如果isDisjoint为真，那么任意特定分类符的实例不能是其它特定分类符的实例。缺省的，两个属性都为假。

泛化集可以与一个称为它的幂类的分类符关联。这意味着对于泛化集中的每个泛化，特定分类符唯一地与该幂类的一个实例相关联，即，在幂类的实例和泛化集的特定分类符之间有一个1-1映射，因此幂类的实例和相应的分类符可以认为是语义相等的。这种语义相等性是如何实现的以及它的完整性如何维护在UML范围内没有被定义。