汎化

UMLにおけるGeneralizationは、より一般的なClassifierと、より具体的なClassifierの間の分類学的Relationshipです。具体側のInstanceは一般側のInstanceでもあり、具体側は一般側のFeatureを継承します。

SimpleModelingでは、Generalizationを意味上の代替可能性が成立する場合に使用します。コード共有だけを目的とした実装継承とは区別し、型による分類と契約として扱います。