Class UML 2.4.1::Generalization
Description:
A generalization is a taxonomic relationship between a more general classifier
and a more specific classifier. Each instance of the specific classifier
is also an indirect instance of the general classifier. Thus, the specific
classifier inherits the features of the more general classifier.A generalization
relates a specific classifier to a more general classifier, and is owned
by the specific classifier.
Direct Superclasses: DirectedRelationshipDirect Subclasses: Class Precedence List: Generalization,
DirectedRelationship,
Relationship,
ElementProperties:
general :
Classifier (1 1); -- source
Generalization generalizationSet :
GeneralizationSet (0 *); -- source
Generalization isSubstitutable : Boolean (0 1); -- source
GeneralizationIndicates whether the specific classifier can be used wherever the general
classifier can be used. If true, the execution traces of the specific classifier
will be a superset of the execution traces of the general classifier.
Default value: TRUE
specific :
Classifier (1 1); -- source
Generalization source :
Element (1 *); -- source
DirectedRelationship target :
Element (1 *); -- source
DirectedRelationship relatedElement :
Element (1 *); -- source
Relationship ownedComment :
Comment (0 *); -- source
Element ownedElement :
Element (0 *); -- source
Element owner :
Element (0 1); -- source
ElementConstraints:
Signature: CMOF_14_3_14() : Boolean;
Description: 14.3 [14] Generalization::isSubstitutable must be true
Expression: isSubstitutable = true
Signature: generalization_same_classifier() : Boolean;
Description: Every Generalization associated with a given GeneralizationSet must have
the same general Classifier. That is, all Generalizations for a particular
GeneralizationSet must have the same superclass.
Expression: true
Operations:
No additional operations.
Send questions or comments to
[email protected].