Generalization

In UML, a Generalization is a taxonomic Relationship between a more general Classifier and a more specific Classifier. Every Instance of the specific Classifier is also an Instance of the general Classifier, and the specific Classifier inherits the Features of the general Classifier.

SimpleModeling uses Generalization when semantic substitutability holds. It distinguishes Generalization from implementation inheritance used only for code reuse and treats it as classification and contract through Types.