# Logical Record Architecture for Health and Social Care
## Discharge Summary Release 0.02

Contents
The content of this release is not comprehensive and is not fully validated and must not be used in live system implementations.
# Reference Model Class: ObjectSpecification
A specification of an instance of a Class. ## Specializes ## InstanceSpecification ## 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 ##