Da Vinci Health Record Exchange (HRex)
0.1.0 - CI Build

Da Vinci Health Record Exchange (HRex), published by HL7 International - Financial Management Work Group. This is not an authorized publication; it is the continuous build for version 0.1.0). This version is based on the current content of https://github.com/HL7/davinci-ehrx/ and changes regularly. See the Directory of published versions

Resource Profile: HRexProvenance

The HRex Provenance resource requires occurance (period or dateTime) and agent to be specified. It also requires implementers to support signature.

The official URL for this profile is:

http://hl7.org/fhir/us/davinci-hrex/StructureDefinition/hrex-provenance

Formal Views of Profile Content

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

This structure is derived from Provenance

Summary

Mandatory: 1 element
Must-Support: 5 elements

Structures

This structure refers to these other structures:

This structure is derived from Provenance

NameFlagsCard.TypeDescription & Constraintsdoco
.. Provenance 0..*ProvenanceWho, What, When for a set of resources
... occurred[x] S1..1Period, dateTimeWhen the activity occurred
... agent S1..*BackboneElementActor involved
.... who S1..1Reference(US Core Practitioner Profile | US Core PractitionerRole Profile | RelatedPerson | US Core Patient Profile | http://hl7.org/fhir/us/core/StructureDefinition/us-core-device | US Core Organization Profile)Who participated
.... onBehalfOf S0..1Reference(US Core Practitioner Profile | US Core PractitionerRole Profile | RelatedPerson | US Core Patient Profile | http://hl7.org/fhir/us/core/StructureDefinition/us-core-device | US Core Organization Profile)Who the agent is representing
... signature S0..*SignatureSignature on target

doco Documentation for this format
NameFlagsCard.TypeDescription & Constraintsdoco
.. Provenance I0..*ProvenanceWho, What, When for a set of resources
... id Σ0..1stringLogical id of this artifact
... meta ΣI0..1MetaMetadata about the resource
... implicitRules ?!ΣI0..1uriA set of rules under which this content was created
... text I0..1NarrativeText summary of the resource, for human interpretation
... contained 0..*ResourceContained, inline Resources
... extension I0..*ExtensionAdditional content defined by implementations
... modifierExtension ?!I0..*ExtensionExtensions that cannot be ignored
... target ΣI1..*Reference(Resource)Target Reference(s) (usually version specific)
... occurred[x] SI1..1When the activity occurred
.... occurredPeriodPeriod
.... occurredDateTimedateTime
... recorded ΣI1..1instantWhen the activity was recorded / updated
... policy I0..*uriPolicy or plan the activity was defined by
... location I0..1Reference(Location)Where the activity occurred, if relevant
... reason I0..*CodeableConceptReason the activity is occurring
Binding: V3 Value SetPurposeOfUse (extensible)
... activity I0..1CodeableConceptActivity that occurred
Binding: ProvenanceActivityType (extensible)
... agent SI1..*BackboneElementActor involved
.... id 0..1stringUnique id for inter-element referencing
.... extension I0..*ExtensionAdditional content defined by implementations
.... modifierExtension ?!ΣI0..*ExtensionExtensions that cannot be ignored even if unrecognized
.... type ΣI0..1CodeableConceptHow the agent participated
Binding: ProvenanceParticipantType (extensible)
.... role I0..*CodeableConceptWhat the agents role was
Binding: SecurityRoleType (example)
.... who SΣI1..1Reference(US Core Practitioner Profile | US Core PractitionerRole Profile | RelatedPerson | US Core Patient Profile | http://hl7.org/fhir/us/core/StructureDefinition/us-core-device | US Core Organization Profile)Who participated
.... onBehalfOf SI0..1Reference(US Core Practitioner Profile | US Core PractitionerRole Profile | RelatedPerson | US Core Patient Profile | http://hl7.org/fhir/us/core/StructureDefinition/us-core-device | US Core Organization Profile)Who the agent is representing
... entity I0..*BackboneElementAn entity used in this activity
.... id 0..1stringUnique id for inter-element referencing
.... extension I0..*ExtensionAdditional content defined by implementations
.... modifierExtension ?!ΣI0..*ExtensionExtensions that cannot be ignored even if unrecognized
.... role ΣI1..1codederivation | revision | quotation | source | removal
Binding: ProvenanceEntityRole (required)
.... what ΣI1..1Reference(Resource)Identity of entity
.... agent I0..*See agentEntity is attributed to this agent
... signature SI0..*SignatureSignature on target

doco Documentation for this format

This structure is derived from Provenance

Summary

Mandatory: 1 element
Must-Support: 5 elements

Structures

This structure refers to these other structures:

Differential View

This structure is derived from Provenance

NameFlagsCard.TypeDescription & Constraintsdoco
.. Provenance 0..*ProvenanceWho, What, When for a set of resources
... occurred[x] S1..1Period, dateTimeWhen the activity occurred
... agent S1..*BackboneElementActor involved
.... who S1..1Reference(US Core Practitioner Profile | US Core PractitionerRole Profile | RelatedPerson | US Core Patient Profile | http://hl7.org/fhir/us/core/StructureDefinition/us-core-device | US Core Organization Profile)Who participated
.... onBehalfOf S0..1Reference(US Core Practitioner Profile | US Core PractitionerRole Profile | RelatedPerson | US Core Patient Profile | http://hl7.org/fhir/us/core/StructureDefinition/us-core-device | US Core Organization Profile)Who the agent is representing
... signature S0..*SignatureSignature on target

doco Documentation for this format

Snapshot View

NameFlagsCard.TypeDescription & Constraintsdoco
.. Provenance I0..*ProvenanceWho, What, When for a set of resources
... id Σ0..1stringLogical id of this artifact
... meta ΣI0..1MetaMetadata about the resource
... implicitRules ?!ΣI0..1uriA set of rules under which this content was created
... text I0..1NarrativeText summary of the resource, for human interpretation
... contained 0..*ResourceContained, inline Resources
... extension I0..*ExtensionAdditional content defined by implementations
... modifierExtension ?!I0..*ExtensionExtensions that cannot be ignored
... target ΣI1..*Reference(Resource)Target Reference(s) (usually version specific)
... occurred[x] SI1..1When the activity occurred
.... occurredPeriodPeriod
.... occurredDateTimedateTime
... recorded ΣI1..1instantWhen the activity was recorded / updated
... policy I0..*uriPolicy or plan the activity was defined by
... location I0..1Reference(Location)Where the activity occurred, if relevant
... reason I0..*CodeableConceptReason the activity is occurring
Binding: V3 Value SetPurposeOfUse (extensible)
... activity I0..1CodeableConceptActivity that occurred
Binding: ProvenanceActivityType (extensible)
... agent SI1..*BackboneElementActor involved
.... id 0..1stringUnique id for inter-element referencing
.... extension I0..*ExtensionAdditional content defined by implementations
.... modifierExtension ?!ΣI0..*ExtensionExtensions that cannot be ignored even if unrecognized
.... type ΣI0..1CodeableConceptHow the agent participated
Binding: ProvenanceParticipantType (extensible)
.... role I0..*CodeableConceptWhat the agents role was
Binding: SecurityRoleType (example)
.... who SΣI1..1Reference(US Core Practitioner Profile | US Core PractitionerRole Profile | RelatedPerson | US Core Patient Profile | http://hl7.org/fhir/us/core/StructureDefinition/us-core-device | US Core Organization Profile)Who participated
.... onBehalfOf SI0..1Reference(US Core Practitioner Profile | US Core PractitionerRole Profile | RelatedPerson | US Core Patient Profile | http://hl7.org/fhir/us/core/StructureDefinition/us-core-device | US Core Organization Profile)Who the agent is representing
... entity I0..*BackboneElementAn entity used in this activity
.... id 0..1stringUnique id for inter-element referencing
.... extension I0..*ExtensionAdditional content defined by implementations
.... modifierExtension ?!ΣI0..*ExtensionExtensions that cannot be ignored even if unrecognized
.... role ΣI1..1codederivation | revision | quotation | source | removal
Binding: ProvenanceEntityRole (required)
.... what ΣI1..1Reference(Resource)Identity of entity
.... agent I0..*See agentEntity is attributed to this agent
... signature SI0..*SignatureSignature on target

doco Documentation for this format

 

Other representations of profile: Schematron

Terminology Bindings

PathConformanceValueSet
Provenance.languagepreferredCommonLanguages
Max Binding: AllLanguages
Provenance.reasonextensiblev3.PurposeOfUse
Provenance.activityextensibleProvenanceActivityType
Provenance.agent.typeextensibleProvenanceParticipantType
Provenance.agent.roleexampleSecurityRoleType
Provenance.entity.rolerequiredProvenanceEntityRole

Constraints

IdPathDetailsRequirements
dom-2ProvenanceIf the resource is contained in another resource, it SHALL NOT contain nested Resources
: contained.contained.empty()
dom-3ProvenanceIf 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-4ProvenanceIf 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-5ProvenanceIf a resource is contained in another resource, it SHALL NOT have a security label
: contained.meta.security.empty()
dom-6ProvenanceA resource should have narrative for robust management
: text.`div`.exists()
ele-1Provenance.metaAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.implicitRulesAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.languageAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.textAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.extensionAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1Provenance.extensionMust have either extensions or value[x], not both
: extension.exists() != value.exists()
ele-1Provenance.modifierExtensionAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1Provenance.modifierExtensionMust have either extensions or value[x], not both
: extension.exists() != value.exists()
ele-1Provenance.targetAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.occurred[x]All FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.recordedAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.policyAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.locationAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.reasonAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.activityAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.agentAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.agent.extensionAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1Provenance.agent.extensionMust have either extensions or value[x], not both
: extension.exists() != value.exists()
ele-1Provenance.agent.modifierExtensionAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1Provenance.agent.modifierExtensionMust have either extensions or value[x], not both
: extension.exists() != value.exists()
ele-1Provenance.agent.typeAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.agent.roleAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.agent.whoAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.agent.onBehalfOfAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.entityAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.entity.extensionAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1Provenance.entity.extensionMust have either extensions or value[x], not both
: extension.exists() != value.exists()
ele-1Provenance.entity.modifierExtensionAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1Provenance.entity.modifierExtensionMust have either extensions or value[x], not both
: extension.exists() != value.exists()
ele-1Provenance.entity.roleAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.entity.whatAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.entity.agentAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ele-1Provenance.signatureAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())