This page is part of the Da Vinci Health Record Exchange (v0.2.0: STU1 Ballot 1) based on FHIR R4. The current version which supercedes this version is 1.0.0. For a full list of available versions, see the Directory of published versions

• Content
• Detailed Descriptions
• Mappings
• Examples
• XML
• JSON
• TTL

Resource Profile: HRexMemberMatchRequestParameters

The Parameters profile for Da Vinci Find Member using Patient and Coverage Resources Request. The resource must contain:

• MemberPatient - US Core Patient containing member demographics
• OldCoverage - details of prior health plan coverage provided by the member, typically from their health plan coverage card
• NewCoverage - details of new or prospective health plan coverage, provided by the health plan based upon the member’s enrolment

The official URL for this profile is:

http://hl7.org/fhir/us/davinci-hrex/StructureDefinition/hrex-parameters-member-match-in

Formal Views of Profile Content

Description of Profiles, Differentials, Snapshots and how the different presentations work.

 

Other representations of profile: Schematron

Terminology Bindings

Path	Conformance	ValueSet
Parameters.language	preferred	CommonLanguages Max Binding: AllLanguages

Constraints

Id	Path	Details	Requirements
ele-1	Parameters.meta	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.implicitRules	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.language	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
inv-1	Parameters.parameter	A parameter must have one and only one of (value, resource, part) : (part.exists() and value.empty() and resource.empty()) or (part.empty() and (value.exists() xor resource.exists()))
ele-1	Parameters.parameter.extension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter.extension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter.modifierExtension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter.modifierExtension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter.name	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter.value[x]	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter.part	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter:memberPatient	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
inv-1	Parameters.parameter:memberPatient	A parameter must have one and only one of (value, resource, part) : (part.exists() and value.empty() and resource.empty()) or (part.empty() and (value.exists() xor resource.exists()))
ele-1	Parameters.parameter:memberPatient.extension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter:memberPatient.extension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter:memberPatient.modifierExtension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter:memberPatient.modifierExtension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter:memberPatient.name	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter:memberPatient.value[x]	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
dom-2	Parameters.parameter:memberPatient.resource	If the resource is contained in another resource, it SHALL NOT contain nested Resources : contained.contained.empty()
dom-3	Parameters.parameter:memberPatient.resource	If the resource is contained in another resource, it SHALL be referred to from elsewhere in the resource or SHALL refer to the containing resource : contained.where((('#'+id in (%resource.descendants().reference | %resource.descendants().as(canonical) | %resource.descendants().as(uri) | %resource.descendants().as(url))) or descendants().where(reference = '#').exists() or descendants().where(as(canonical) = '#').exists() or descendants().where(as(canonical) = '#').exists()).not()).trace('unmatched', id).empty()
dom-4	Parameters.parameter:memberPatient.resource	If a resource is contained in another resource, it SHALL NOT have a meta.versionId or a meta.lastUpdated : contained.meta.versionId.empty() and contained.meta.lastUpdated.empty()
dom-5	Parameters.parameter:memberPatient.resource	If a resource is contained in another resource, it SHALL NOT have a security label : contained.meta.security.empty()
dom-6	Parameters.parameter:memberPatient.resource	A resource should have narrative for robust management : text.`div`.exists()
ele-1	Parameters.parameter:memberPatient.part	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter:oldCoverage	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
inv-1	Parameters.parameter:oldCoverage	A parameter must have one and only one of (value, resource, part) : (part.exists() and value.empty() and resource.empty()) or (part.empty() and (value.exists() xor resource.exists()))
ele-1	Parameters.parameter:oldCoverage.extension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter:oldCoverage.extension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter:oldCoverage.modifierExtension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter:oldCoverage.modifierExtension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter:oldCoverage.name	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter:oldCoverage.value[x]	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
dom-2	Parameters.parameter:oldCoverage.resource	If the resource is contained in another resource, it SHALL NOT contain nested Resources : contained.contained.empty()
dom-3	Parameters.parameter:oldCoverage.resource	If the resource is contained in another resource, it SHALL be referred to from elsewhere in the resource or SHALL refer to the containing resource : contained.where((('#'+id in (%resource.descendants().reference | %resource.descendants().as(canonical) | %resource.descendants().as(uri) | %resource.descendants().as(url))) or descendants().where(reference = '#').exists() or descendants().where(as(canonical) = '#').exists() or descendants().where(as(canonical) = '#').exists()).not()).trace('unmatched', id).empty()
dom-4	Parameters.parameter:oldCoverage.resource	If a resource is contained in another resource, it SHALL NOT have a meta.versionId or a meta.lastUpdated : contained.meta.versionId.empty() and contained.meta.lastUpdated.empty()
dom-5	Parameters.parameter:oldCoverage.resource	If a resource is contained in another resource, it SHALL NOT have a security label : contained.meta.security.empty()
dom-6	Parameters.parameter:oldCoverage.resource	A resource should have narrative for robust management : text.`div`.exists()
ele-1	Parameters.parameter:oldCoverage.part	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter:newCoverage	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
inv-1	Parameters.parameter:newCoverage	A parameter must have one and only one of (value, resource, part) : (part.exists() and value.empty() and resource.empty()) or (part.empty() and (value.exists() xor resource.exists()))
ele-1	Parameters.parameter:newCoverage.extension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter:newCoverage.extension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter:newCoverage.modifierExtension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter:newCoverage.modifierExtension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter:newCoverage.name	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter:newCoverage.value[x]	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
dom-2	Parameters.parameter:newCoverage.resource	If the resource is contained in another resource, it SHALL NOT contain nested Resources : contained.contained.empty()
dom-3	Parameters.parameter:newCoverage.resource	If the resource is contained in another resource, it SHALL be referred to from elsewhere in the resource or SHALL refer to the containing resource : contained.where((('#'+id in (%resource.descendants().reference | %resource.descendants().as(canonical) | %resource.descendants().as(uri) | %resource.descendants().as(url))) or descendants().where(reference = '#').exists() or descendants().where(as(canonical) = '#').exists() or descendants().where(as(canonical) = '#').exists()).not()).trace('unmatched', id).empty()
dom-4	Parameters.parameter:newCoverage.resource	If a resource is contained in another resource, it SHALL NOT have a meta.versionId or a meta.lastUpdated : contained.meta.versionId.empty() and contained.meta.lastUpdated.empty()
dom-5	Parameters.parameter:newCoverage.resource	If a resource is contained in another resource, it SHALL NOT have a security label : contained.meta.security.empty()
dom-6	Parameters.parameter:newCoverage.resource	A resource should have narrative for robust management : text.`div`.exists()
ele-1	Parameters.parameter:newCoverage.part	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())