The Code value SHALL be selected from the Radiology Reports Title Value Set (2.16.840.1.113883.3.3731.1.204.14.1) specified in the IS0204 Saudi eHealth Radiology Terminology Interoperability Specification [RADR-005] OCL (not self.code.oclIsUndefined()) and (not self.code.code.oclIsUndefined()) and self.code.matchesValueSet('2.16.840.1.113883.3.3731.1.204.14.1', self.code.code, self.code.codeSystem, null, null) SHALL contain exactly one [1..1] Data Enterer IF KNOWN [RADR-007] OCL not (self.dataEnterer.oclIsUndefined()) SHALL contain exactly one [1..1] Participants Referring Physician IF KNOWN [RADR-015] OCL self.participant->size()=1 SHALL contain exactly one [1..1] InFullfillmentOf IF KNOWN [RADR-023] OCL self.inFulfillmentOf->size()=1 SHALL contain exactly one [1..1] DocumentationOf and SHALL NOT be null [RADR-027] OCL self.documentationOf->size()=1 DataEnterer SHALL contain exactly one [1..1] id IF KNOWN [RADR-008] OCL not (self.assignedEntity.oclIsUndefined()) and self.assignedEntity.id->size()=1 DataEnterer SHALL contain exactly one [1..1] Name and SHALL NOT be null [RADR-009] OCL (not self.assignedEntity.oclIsUndefined()) and (not self.assignedEntity.assignedPerson.oclIsUndefined()) and self.assignedEntity.assignedPerson.name->size()=1 and self.assignedEntity.assignedPerson.name->forAll(pn : PN | pn.nullFlavor.oclIsUndefined()) DataEnterer SHALL contain exactly one [1..1] Organization id IF KNOWN [RADR-011] OCL (not self.assignedEntity.oclIsUndefined())and (not self.assignedEntity.representedOrganization.oclIsUndefined()) and self.assignedEntity.representedOrganization.id->size()=1 DataEnterer SHALL contain exactly one [1..1] Organization Name and SHALL NOT be null [RADR-012] OCL (not self.assignedEntity.oclIsUndefined()) and (not self.assignedEntity.representedOrganization.oclIsUndefined()) and self.assignedEntity.representedOrganization.name->size()=1 and self.assignedEntity.representedOrganization.name->forAll(on : ON | on.nullFlavor.oclIsUndefined()) Participant Referring Physician SHALL contain exactly one [1..1] id IF KNOWN [RADR-016] OCL not (self.associatedEntity.oclIsUndefined()) and self.associatedEntity->size()=1 Participant Referring Physician SHALL contain exactly one [1..1] Name and SHALL NOT be null [RADR-017] OCL (not self.associatedEntity.oclIsUndefined()) and (not self.associatedEntity.associatedPerson.oclIsUndefined()) and self.associatedEntity.associatedPerson.name->size()=1 and self.associatedEntity.associatedPerson.name->forAll(pn : PN | pn.nullFlavor.oclIsUndefined()) Participant Referring Physician SHALL contain exactly one [1..1] Organization id IF KNOWN [RADR-019] OCL not (self.associatedEntity.oclIsUndefined()) and not (self.associatedEntity.scopingOrganization.oclIsUndefined()) and self.associatedEntity.scopingOrganization.id->size()=1 Participant Referring Physician SHALL contain exactly one [1..1] Organization Name IF KNOWN [RADR-020] OCL not (self.associatedEntity.oclIsUndefined()) and not (self.associatedEntity.scopingOrganization.oclIsUndefined()) and self.associatedEntity.scopingOrganization.name->size()=1 SHALL contain one or more [1..*] Order ID/Accession ID id value SHALL be set to the KSA-Wide Accession Number with its associated OID [RADR-024] OCL not (self.order.oclIsUndefined()) and self.order.id->exists(ii : II | (not ii.root.oclIsUndefined()) and ii.isOID(ii.root)) The DocumentationOf SHALL contain one or more [1..*] Imaging Procedure Code that shall be selected from the Imaging Procedure value set, defined in IS0204 Saudi eHealth Radiology Terminology Interoperability Specification [RADR-028] OCL not (self.serviceEvent.oclIsUndefined()) and not(self.serviceEvent.code.oclIsUndefined()) and not (self.serviceEvent.code.code.oclIsUndefined()) and self.serviceEvent.code.matchesValueSet('2.16.840.1.113883.3.3731.1.204.15.1', self.serviceEvent.code.code, self.serviceEvent.code.codeSystem, null, null) The DocumentationOf SHALL contain one or more [1..*] Imaging Procedure Description. SHALL be selected from the Imaging Procedure value set, defined in IS0204 Saudi eHealth Radiology Terminology Interoperability Specification [RADR-029] OCL not (self.serviceEvent.oclIsUndefined()) and not(self.serviceEvent.code.oclIsUndefined()) and not (self.serviceEvent.code.code.oclIsUndefined()) and not (self.serviceEvent.code.displayName.oclIsUndefined()) The DocumentationOf SHALL contain one or more [1..*] Study Instance UID IF KNOWN. [RADR-030] OCL not (self.serviceEvent.oclIsUndefined()) and self.serviceEvent.id->size()>0 A Content Creator Actor creating a Displayable Radiology Report based upon the IHE Scanned Document Content Profile SHALL support the Saudi eHealth HL7 CDA header constraints as defined in Section 2.1. No additional HL7 CDA header constraints are defined for implementing IHE XDS-SD. [RADR-035] OCL self.templateId->exists(ii : II | (not ii.root.oclIsUndefined()) and ii.root = '1.3.6.1.4.1.19376.1.2.20') Content Creator Actor creating the document body of a Displayable Radiology Report SHALL support the IHE Scanned Document Content Profile XDS-SD using the PDF Option [RADR-040] OCL not (self.component.oclIsUndefined()) and not (self.component.nonXMLBody.oclIsUndefined()) and not (self.component.nonXMLBody.text.oclIsUndefined()) and not (self.component.nonXMLBody.text.mediaType.oclIsUndefined()) and self.component.nonXMLBody.text.mediaType='application/pdf' A Content Creator Actor creating a Basic Structured Radiology Report based upon the HL7 CDA Release 2 Standard SHALL generate one or more document section, with coded Section Headings based upon the [Radiology CDA Section Heading Value Set] specified in the Saudi eHealth Radiology Terminology Interoperability Specification. [RADR-046] OCL self.getAllSections()->exists( sect : POCDMT000040Section | (not sect.code.oclIsUndefined()) and sect.code.matchesValueSet('2.16.840.1.113883.3.3731.1.204.16.1', sect.code.code, sect.code.codeSystem, null, null))