A specification of an instance of a Class.
Specializes
Relationships
| Name |
Class |
Occurs |
Description |
| slot |
Slot
|
0..* |
A data value specified for a Property owned by the defining Classifier of this ObjectSpecification. |
Constraints
| Type |
Name |
Specification |
| defining classifier of kind Class |
LRA Inv: Type |
inv: self.definingClassifier.oclIsKindOf(<a href="$element://{777060C4-FDDF-42f2-BE95-3C0F9D5D434E}"><font color="#0000ff"><u>Class</u></font></a>) |
| either defining classifier and defining feature is present |
LRA Invariant |
inv: not self.definingClassifier.oclIsUndefined() xor not self.definingFeature.oclIsUndefined() |
| object instance name equals defining feature name, if present. |
LRA Invariant |
inv: not self.definingFeature.oclIsUndefined() implies self.name = self.definingFeature.name |
Reference Model Type
