# 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: ATTESTATION_INFO
This class documents the details of any attestations that pertain to the RECORD_COMPONENTS within a COMPOSITION. ## Attributes
Name | Data type | Occurs | Description
--- | --- | --- | ---
time | TS | 1..1 | The date and time at which this attestation occurred.
proof | ED | 0..1 | The electronic signature (as encapsulated data, or as reference to it) that verifies the attestation. This is optional as it may not always be required when communicating EHR_EXTRACTS, particularly within a single health service.
attested_view | ED | 0..1 | The encapsulated data, or a reference to it, that represents the reproducible rendering (image or presentation specification) that was actually viewed by the attester.
reason_for_attestation | CD.CV | 1..1 | A coded value giving the reason for this attestation, to define its specific purpose or the legal requirement it meets.
target | II.Uuid.Ref | 1..* | A set containing the rc_id of each RECORD_COMPONENT that was attested.
## Relationships
Name | Class | Occurs | Description
--- | --- | --- | ---
attester | FUNCTIONAL_ROLE | 1..1 | The identification and role of the person making the attestation.
## Constraints
Type | Name | Specification
--- | --- | ---
attester is of type FUNCTIONAL_ROLE | LRA Invariant | inv: attester.oclIsTypeOf(FUNCTIONAL_ROLE)
reason for attestation LRA vocab | LRA Invariant | inv: reason_for_attestation.code.oclIsTypeOf(<a href="$element://{D37E212F-84F1-4893-877F-F144D2986718}"><font color="#0000ff"><u>LraReasonForAttestation</u></font></a>)
target must exist within extract | Invariant | --For each and every II instance, i, in SET target there exists within the EHR extract an instance of a RECORD_COMPONENT specialisation with an rc_id attribute value equal to i inv: target->forAll(i|ehr_extract.all_compositions>exists(rc_id.equal(i))) OR target->forAll(i|ehr_extract.all_compositions.content->exists(rc_id.equal(i)))
## Reference Model Type ##