Software Disclaimer

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: DirectedRelationship

Direct Subclasses:

Class Precedence List: Generalization, DirectedRelationship, Relationship, Element

Properties:

general : Classifier (1 1); -- source Generalization
generalizationSet : GeneralizationSet (0 *); -- source Generalization
isSubstitutable : Boolean (0 1); -- source Generalization

Indicates 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 Element

Constraints:

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].