Previous | Table of Contents | Next |
A slot specifies that an entity modeled by an instance specification has a value or values for a specific structural feature.
Description
A slot is owned by an instance specification. It specifies the value or values for its defining feature, which must be a structural
feature of a classifier of the instance specification owning the slot.
Generalizations
•
“Element (as specialized)? on page 74
Attributes
No additional attributes
Associations
• value : InstanceSpecification [*] The value or values corresponding to the defining feature for the owning instance specification. This is an ordered association. Subsets Element.ownedElement.
• definingFeature : StructuralFeature [1] The structural feature that specifies the values that may be held by the slot.
• owningInstance : InstanceSpecification [1] The instance specification that owns this slot. Subsets Element.owner.
Constraints
No additional constraints
Semantics
A slot relates an instance specification, a structural feature, and a value or values. It represents that an entity modeled
by the instance specification has a structural feature with the specified value or values. The values in a slot must conform
to the defining feature of the slot (in type, multiplicity, etc.).
Notation
See
“InstanceSpecification?