臺灣核心實作指引(TW Core IG)
0.3.2 - Ci-Build Trial Use

臺灣核心實作指引(TW Core IG), published by 衛生福利部. This guide is not an authorized publication; it is the continuous build for version 0.3.2 built by the FHIR (HL7® FHIR® Standard) CI Build. This version is based on the current content of https://github.com/cctwFHIRterm/MOHW_TWCoreIG_Build/ and changes regularly. See the Directory of published versions

Resource Profile: TWCoreProvenance - Detailed Descriptions

Active as of 2025-02-04

Definitions for the Provenance-twcore resource profile.

Guidance on how to interpret the contents of this table can be found here

0. Provenance
Definition

Provenance of a resource is a record that describes entities and processes involved in producing and delivering or otherwise influencing that resource. Provenance provides a critical foundation for assessing authenticity, enabling trust, and allowing reproducibility. Provenance assertions are a form of contextual metadata and can themselves become important records with their own provenance. Provenance statement indicates clinical significance in terms of confidence in authenticity, reliability, and trustworthiness, integrity, and stage in lifecycle (e.g. Document Completion - has the artifact been legally authenticated), all of which may impact security, privacy, and trust policies.

ShortWho, What, When for a set of resources
Comments

Some parties may be duplicated between the target resource and its provenance. For instance, the prescriber is usually (but not always) the author of the prescription resource. This resource is defined with close consideration for W3C Provenance.

Control0..*
Is Modifierfalse
Summaryfalse
Alternate NamesHistory, Event, Activity
Invariantsdom-2: If the resource is contained in another resource, it SHALL NOT contain nested Resources (contained.contained.empty())
dom-3: 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: 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: If a resource is contained in another resource, it SHALL NOT have a security label (contained.meta.security.empty())
dom-6: A resource should have narrative for robust management (text.`div`.exists())
2. Provenance.implicitRules
Definition

A reference to a set of rules that were followed when the resource was constructed, and which must be understood when processing the content. Often, this is a reference to an implementation guide that defines the special rules along with other profiles etc.

ShortA set of rules under which this content was created
Comments

Asserting this rule set restricts the content to be only understood by a limited set of trading partners. This inherently limits the usefulness of the data in the long term. However, the existing health eco-system is highly fractured, and not yet ready to define, collect, and exchange data in a generally computable sense. Wherever possible, implementers and/or specification writers should avoid using this element. Often, when used, the URL is a reference to an implementation guide that defines these special rules as part of it's narrative along with other profiles, value sets, etc.

Control0..1
Typeuri
Is Modifiertrue because This element is labeled as a modifier because the implicit rules may provide additional knowledge about the resource that modifies it's meaning or interpretation
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
Summarytrue
Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
4. Provenance.modifierExtension
Definition

May be used to represent additional information that is not part of the basic definition of the resource and that modifies the understanding of the element that contains it and/or the understanding of the containing element's descendants. Usually modifier elements provide negation or qualification. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer is allowed to define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension. Applications processing a resource are required to check for modifier extensions.

Modifier extensions SHALL NOT change the meaning of any elements on Resource or DomainResource (including cannot change the meaning of modifierExtension itself).

ShortExtensions that cannot be ignored
Comments

There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

Control0..*
TypeExtension
Is Modifiertrue because Modifier extensions are expected to modify the meaning or interpretation of the resource that contains them
Summaryfalse
Requirements

Modifier extensions allow for extensions that cannot be safely ignored to be clearly distinguished from the vast majority of extensions which can be safely ignored. This promotes interoperability by eliminating the need for implementers to prohibit the presence of extensions. For further information, see the definition of modifier extensions.

Alternate Namesextensions, user content
Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
6. Provenance.target
Definition

The Reference(s) that were generated or updated by the activity described in this resource. A provenance can point to more than one target if multiple resources were created/updated by the same activity.

ShortTarget Reference(s) (usually version specific)
Comments

Target references are usually version specific, but might not be, if a version has not been assigned or if the provenance information is part of the set of resources being maintained (i.e. a document). When using the RESTful API, the identity of the resource might not be known (especially not the version specific one); the client may either submit the resource first, and then the provenance, or it may submit both using a single transaction. See the notes on transaction for further discussion.

Control1..*
TypeReference(Resource)
Is Modifierfalse
Must Supporttrue
Summarytrue
Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
8. Provenance.target.reference
Definition

A reference to a location at which the other resource is found. The reference may be a relative reference, in which case it is relative to the service base URL, or an absolute URL that resolves to the location where the resource is found. The reference may be version specific or not. If the reference is not to a FHIR RESTful server, then it should be assumed to be version specific. Internal fragment references (start with '#') refer to contained resources.

ShortLiteral reference, Relative, internal or absolute URL
Comments

Using absolute URLs provides a stable scalable approach suitable for a cloud/web context, while using relative/logical references provides a flexible approach suitable for use when trading across closed eco-system boundaries. Absolute URLs do not need to point to a FHIR RESTful server, though this is the preferred approach. If the URL conforms to the structure "/[type]/[id]" then it should be assumed that the reference is to a FHIR RESTful server.

Control0..1
This element is affected by the following invariants: ref-1
Typestring
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
Must Supporttrue
Summarytrue
Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
10. Provenance.recorded
Definition

The instant of time at which the activity was recorded.

ShortWhen the activity was recorded / updated
Comments

This can be a little different from the time stamp on the resource if there is a delay between recording the event and updating the provenance and target resource.

Control1..1
Typeinstant
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
Must Supporttrue
Summarytrue
Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
12. Provenance.location
Definition

Where the activity occurred, if relevant.

ShortWhere the activity occurred, if relevant
Control0..1
TypeReference(TW Core Location, Location)
Is Modifierfalse
Summaryfalse
Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
14. Provenance.agent
Definition

An actor taking a role in an activity for which it can be assigned some degree of responsibility for the activity taking place.

ShortActor involved
Comments

Several agents may be associated (i.e. has some responsibility for an activity) with an activity and vice-versa.

Control1..*
TypeBackboneElement
Is Modifierfalse
Must Supporttrue
Summaryfalse
Requirements

An agent can be a person, an organization, software, device, or other entities that may be ascribed responsibility.

Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
provenance-1: onBehalfOf SHALL be present when Provenance.agent.who is a Practitioner or Device (who.exists((resolve() is Practitioner) or (resolve() is Device)) implies onBehalfOf.exists())
SlicingThis element introduces a set of slices on Provenance.agent. The slices areUnordered and Open, and can be differentiated using the following discriminators:
  • pattern @ type
  • 16. Provenance.agent.modifierExtension
    Definition

    May be used to represent additional information that is not part of the basic definition of the element and that modifies the understanding of the element in which it is contained and/or the understanding of the containing element's descendants. Usually modifier elements provide negation or qualification. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension. Applications processing a resource are required to check for modifier extensions.

    Modifier extensions SHALL NOT change the meaning of any elements on Resource or DomainResource (including cannot change the meaning of modifierExtension itself).

    ShortExtensions that cannot be ignored even if unrecognized
    Comments

    There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

    Control0..*
    TypeExtension
    Is Modifiertrue because Modifier extensions are expected to modify the meaning or interpretation of the element that contains them
    Summarytrue
    Requirements

    Modifier extensions allow for extensions that cannot be safely ignored to be clearly distinguished from the vast majority of extensions which can be safely ignored. This promotes interoperability by eliminating the need for implementers to prohibit the presence of extensions. For further information, see the definition of modifier extensions.

    Alternate Namesextensions, user content, modifiers
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
    18. Provenance.agent.type
    Definition

    The participation the agent had with respect to the activity.

    ShortHow the agent participated
    Comments

    For example: author, performer, enterer, attester, etc.

    Control0..1
    BindingUnless not suitable, these codes SHALL be taken from HL7 Provenance participant type + 臺灣衛福部資訊處Provenance參與類型http://hl7.org/fhir/ValueSet/provenance-agent-type
    (extensible to https://twcore.mohw.gov.tw/ig/twcore/ValueSet/provenance-participant-type-hl7-tw)
    TypeCodeableConcept
    Is Modifierfalse
    Must Supporttrue
    Summarytrue
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    20. Provenance.agent.who
    Definition

    The individual, device or organization that participated in the event.

    ShortWho participated
    Comments

    whoIdentity should be used when the agent is not a Resource type.

    Control1..1
    TypeReference(TW Core Organization, TW Core Practitioner, TW Core Patient, TW Core PractitionerRole, TW Core RelatedPerson, Device, Practitioner, PractitionerRole, RelatedPerson, Patient, Organization)
    Is Modifierfalse
    Must Supporttrue
    Must Support TypesReference(TW Core Organization)
    Summarytrue
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    22. Provenance.agent.onBehalfOf
    Definition

    The individual, device, or organization for whom the change was made.

    ShortWho the agent is representing
    Comments

    onBehalfOfIdentity should be used when the agent is not a Resource type.

    Control0..1
    TypeReference(TW Core Organization, Practitioner, PractitionerRole, RelatedPerson, Patient, Device, Organization)
    Is Modifierfalse
    Must Supporttrue
    Summaryfalse
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    24. Provenance.agent:ProvenanceAuthor
    Slice NameProvenanceAuthor
    Definition

    An actor taking a role in an activity for which it can be assigned some degree of responsibility for the activity taking place.

    ShortActor involved
    Comments

    Several agents may be associated (i.e. has some responsibility for an activity) with an activity and vice-versa.

    Control01..*
    TypeBackboneElement
    Is Modifierfalse
    Must Supporttrue
    Summaryfalse
    Requirements

    An agent can be a person, an organization, software, device, or other entities that may be ascribed responsibility.

    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    26. Provenance.agent:ProvenanceAuthor.modifierExtension
    Definition

    May be used to represent additional information that is not part of the basic definition of the element and that modifies the understanding of the element in which it is contained and/or the understanding of the containing element's descendants. Usually modifier elements provide negation or qualification. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension. Applications processing a resource are required to check for modifier extensions.

    Modifier extensions SHALL NOT change the meaning of any elements on Resource or DomainResource (including cannot change the meaning of modifierExtension itself).

    ShortExtensions that cannot be ignored even if unrecognized
    Comments

    There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

    Control0..*
    TypeExtension
    Is Modifiertrue because Modifier extensions are expected to modify the meaning or interpretation of the element that contains them
    Summarytrue
    Requirements

    Modifier extensions allow for extensions that cannot be safely ignored to be clearly distinguished from the vast majority of extensions which can be safely ignored. This promotes interoperability by eliminating the need for implementers to prohibit the presence of extensions. For further information, see the definition of modifier extensions.

    Alternate Namesextensions, user content, modifiers
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
    28. Provenance.agent:ProvenanceAuthor.type
    Definition

    The participation the agent had with respect to the activity.

    ShortHow the agent participated
    Comments

    For example: author, performer, enterer, attester, etc.

    Control10..1
    BindingUnless not suitable, these codes SHALL be taken from ProvenanceParticipantTypehttp://hl7.org/fhir/ValueSet/provenance-agent-type
    (extensible to http://hl7.org/fhir/ValueSet/provenance-agent-type)

    The type of participation that a provenance agent played with respect to the activity.

    TypeCodeableConcept(TW CodeableConcept)
    Is Modifierfalse
    Summarytrue
    Pattern Value{
      "coding" : [{
        "system" : "http://terminology.hl7.org/CodeSystem/provenance-participant-type",
        "code" : "author"
      }]
    }
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    30. Provenance.agent:ProvenanceAuthor.who
    Definition

    The individual, device or organization that participated in the event.

    ShortWho participated
    Comments

    whoIdentity should be used when the agent is not a Resource type.

    Control1..1
    TypeReference(TW Core Organization, TW Core Practitioner, TW Core Patient, TW Core PractitionerRole, TW Core RelatedPerson, Device, Practitioner, PractitionerRole, RelatedPerson, Patient, Organization)
    Is Modifierfalse
    Must Supporttrue
    Must Support TypesNo must-support rules about the choice of types/profiles
    Summarytrue
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    32. Provenance.agent:ProvenanceAuthor.onBehalfOf
    Definition

    The individual, device, or organization for whom the change was made.

    ShortWho the agent is representing
    Comments

    onBehalfOfIdentity should be used when the agent is not a Resource type.

    Control0..1
    TypeReference(TW Core Organization, Practitioner, PractitionerRole, RelatedPerson, Patient, Device, Organization)
    Is Modifierfalse
    Must Supporttrue
    Summaryfalse
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    34. Provenance.agent:ProvenanceTransmitter
    Slice NameProvenanceTransmitter
    Definition

    The entity that provided the copy to your system.


    An actor taking a role in an activity for which it can be assigned some degree of responsibility for the activity taking place.

    ShortActor involved
    Comments

    Several agents may be associated (i.e. has some responsibility for an activity) with an activity and vice-versa.

    Control01..*
    TypeBackboneElement
    Is Modifierfalse
    Must Supporttrue
    Summaryfalse
    Requirements

    An agent can be a person, an organization, software, device, or other entities that may be ascribed responsibility.

    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    36. Provenance.agent:ProvenanceTransmitter.modifierExtension
    Definition

    May be used to represent additional information that is not part of the basic definition of the element and that modifies the understanding of the element in which it is contained and/or the understanding of the containing element's descendants. Usually modifier elements provide negation or qualification. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension. Applications processing a resource are required to check for modifier extensions.

    Modifier extensions SHALL NOT change the meaning of any elements on Resource or DomainResource (including cannot change the meaning of modifierExtension itself).

    ShortExtensions that cannot be ignored even if unrecognized
    Comments

    There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

    Control0..*
    TypeExtension
    Is Modifiertrue because Modifier extensions are expected to modify the meaning or interpretation of the element that contains them
    Summarytrue
    Requirements

    Modifier extensions allow for extensions that cannot be safely ignored to be clearly distinguished from the vast majority of extensions which can be safely ignored. This promotes interoperability by eliminating the need for implementers to prohibit the presence of extensions. For further information, see the definition of modifier extensions.

    Alternate Namesextensions, user content, modifiers
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
    38. Provenance.agent:ProvenanceTransmitter.type
    Definition

    The participation the agent had with respect to the activity.

    ShortHow the agent participated
    Comments

    For example: author, performer, enterer, attester, etc.

    Control10..1
    BindingUnless not suitable, these codes SHALL be taken from ProvenanceParticipantTypehttp://hl7.org/fhir/ValueSet/provenance-agent-type
    (extensible to http://hl7.org/fhir/ValueSet/provenance-agent-type)

    The type of participation that a provenance agent played with respect to the activity.

    TypeCodeableConcept(TW CodeableConcept)
    Is Modifierfalse
    Summarytrue
    Pattern Value{
      "coding" : [{
        "system" : "https://twcore.mohw.gov.tw/ig/twcore/CodeSystem/provenance-participant-type-tw",
        "code" : "transmitter"
      }]
    }
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    40. Provenance.agent:ProvenanceTransmitter.who
    Definition

    The individual, device or organization that participated in the event.

    ShortWho participated
    Comments

    whoIdentity should be used when the agent is not a Resource type.

    Control1..1
    TypeReference(TW Core Organization, TW Core Practitioner, TW Core Patient, TW Core PractitionerRole, TW Core RelatedPerson, Device, Practitioner, PractitionerRole, RelatedPerson, Patient, Organization)
    Is Modifierfalse
    Must Supporttrue
    Must Support TypesNo must-support rules about the choice of types/profiles
    Summarytrue
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    42. Provenance.agent:ProvenanceTransmitter.onBehalfOf
    Definition

    The individual, device, or organization for whom the change was made.

    ShortWho the agent is representing
    Comments

    onBehalfOfIdentity should be used when the agent is not a Resource type.

    Control0..1
    TypeReference(TW Core Organization, Practitioner, PractitionerRole, RelatedPerson, Patient, Device, Organization)
    Is Modifierfalse
    Must Supporttrue
    Summaryfalse
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))