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

Designates a set in which instances of Generalization is considered members.
Opposite: GeneralizationSet.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

References the specializing classifier in the Generalization relationship.
Subsets: DirectedRelationship.source, Element.owner
Opposite: Classifier.generalization

source : Element (1 *); -- source DirectedRelationship

Specifies the sources of the DirectedRelationship.
{readonly}
Derived union with sources: (specific)
Subsets: Relationship.relatedElement

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

The Element that owns this element.
{readonly}
Derived union with sources: (specific)
Opposite: Element.ownedElement

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