The GeneralizableElement Class classifies and characterizes Elements that can be generalized through supertyping and specialized through subtyping. A GeneralizableElement inherits the features of each of its supertypes, the features of the supertypes of the immediate supertypes, and so on (in other words all the features of the transitive closure of all the supertypes of the GeneralizableElement).

When a GeneralizableElement inherits a feature, that feature name effectively becomes part of the namespace for the GeneralizableElement and the feature is considered part of the extended namespace of the Namespace. Therefore, a GeneralizableElement cannot have a superclass if it causes an inherited feature to have a namespace collision with its own features [The names of the contents of a GeneralizableElement should not collide with the names of the contents of any direct or indirect supertype.].

To the degree that a GeneralizableElement is defined by its features, the superclass/subclass association defines substitutability. Any instance of a GeneralizableElement can be supplied wherever an instance of a superclass of that GeneralizableElement is expected.

Attributes
Primitive Type boolean	isAbstract	Indicates whether the GeneralizableElement is expected to have instances. When isAbstract is true, any instance that is represented or classified by this GeneralizableElement is additionally an instance of some specialization of this GeneralizableElement. No operation that supports creation of instances of this GeneralizableElement should be available.
Class	visibility	In the future, this Attribute will be used to limit the ability of Elements outside of this GeneralizableElement’s container to depend on it. The rules of visibility of MOF Elements are not currently specified.

 isAbstract

public Primitive Type boolean isAbstract

Indicates whether the GeneralizableElement is expected to have instances. When isAbstract is true, any instance that is represented or classified by this GeneralizableElement is additionally an instance of some specialization of this GeneralizableElement. No operation that supports creation of instances of this GeneralizableElement should be available.

Properties:

Aggregation	none
Alias
Association
Association End
Class	Class GeneralizableElement
Collections
Datatype
Default
Default Value
Is Composite	false
Is Derived	false
Is Derived Union	false
Is Leaf	false
Is Ordered	false
Is Read Only	false
Is Static	false
Is Unique	true
Keywords
Lower	1
Lower Value
Multiplicity	1
Name	isAbstract
Name Expression
Opposite
Owned Template Signature
Owner	Class GeneralizableElement
Owning Association
Owning Parameter
Qualified Name	model1::model1::GeneralizableElement::isAbstract
Stereotype
Template Parameter
Type	Primitive Type boolean
Upper	1
Upper Value
Visibility	public

 visibility

public Class visibility

In the future, this Attribute will be used to limit the ability of Elements outside of this GeneralizableElement’s container to depend on it. The rules of visibility of MOF Elements are not currently specified.

Properties:

Aggregation	none
Alias
Association
Association End
Class	Class GeneralizableElement
Collections
Datatype
Default
Default Value
Is Composite	false
Is Derived	false
Is Derived Union	false
Is Leaf	false
Is Ordered	false
Is Read Only	false
Is Static	false
Is Unique	true
Keywords
Lower	1
Lower Value
Multiplicity	1
Name	visibility
Name Expression
Opposite
Owned Template Signature
Owner	Class GeneralizableElement
Owning Association
Owning Parameter
Qualified Name	model1::model1::GeneralizableElement::visibility
Stereotype
Template Parameter
Type	Class
Upper	1
Upper Value
Visibility	public

• The GeneralizableElement Class classifies and characterizes Elements that can be generalized through supertyping and specialized through subtyping. A GeneralizableElement inherits the features of each of its supertypes, the features of the supertypes of the immediate supertypes, and so on (in other words all the features of the transitive closure of all the supertypes of the GeneralizableElement).
  

  
  When a GeneralizableElement inherits a feature, that feature name effectively becomes part of the namespace for the GeneralizableElement and the feature is considered part of the extended namespace of the Namespace. Therefore, a GeneralizableElement cannot have a superclass if it causes an inherited feature to have a namespace collision with its own features [The names of the contents of a GeneralizableElement should not collide with the names of the contents of any direct or indirect supertype.].
  

  
  To the degree that a GeneralizableElement is defined by its features, the superclass/subclass association defines substitutability. Any instance of a GeneralizableElement can be supplied wherever an instance of a superclass of that GeneralizableElement is expected.