BfArM Digitale Anwendungen
3.1.0-TEST - draft

BfArM Digitale Anwendungen - Local Development build (v3.1.0-TEST) built by the FHIR (HL7® FHIR® Standard) Build Tools. See the Directory of published versions

Resource Profile: HealthAppModule

Official URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModule Version: 3.1.0-TEST
Active as of 2026-05-30 Computable Name: HealthAppModule

Definition of a module of a digital health application (DiGA) or digital nursing application (DiPA).

Usages:

You can also check for usages in the FHIR IG Statistics

Formal Views of Profile Content

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

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. DeviceDefinition S 0..* DeviceDefinition Module of a digital application
... implicitRules ?!Σ 0..1 uri A set of rules under which this content was created
... Slices for extension S 0..* Extension Extension
Slice: Unordered, Open by value:url
.... extension:category S 0..1 (Complex) Module category
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleCategory
.... extension:hardware S 0..1 (Complex) Additional devices for module use
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleHardware
.... extension:link S 0..* (Complex) Supported DeviceDataRecorders
URL: http://hl7.org/fhir/5.0/StructureDefinition/extension-DeviceDefinition.link
Constraints: ext-1
..... Slices for extension S 2..* Extension Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
...... extension:relation S 1..1 Extension Extension
Constraints: ext-1
....... extension 0..0 Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
....... url 1..1 uri "relation"
....... value[x] S 1..1 Coding The type indicates the relationship of the related device to the device instance
Binding: HealthAppDeviceDefinitionRelationType (required)
........ system SΣ 1..1 uri Identity of the terminology system
........ code SΣ 1..1 code Symbol in syntax defined by the system
........ display SΣ 1..1 string Representation defined by the system
...... extension:relatedDevice S 1..1 Extension Extension
Constraints: ext-1
....... Slices for extension S 2..* Extension Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
........ extension:_datatype 1..1 Extension DataType slice for a FHIR R5 `CodeableReference` value
Constraints: ext-1
......... url 1..1 uri "http://hl7.org/fhir/StructureDefinition/_datatype"
......... value[x] 1..1 string Value of extension
Fixed Value: CodeableReference
........ extension:concept 0..1 Extension R5: Reference to a concept (by class)
Constraints: ext-1
......... url 1..1 uri "concept"
........ extension:reference S 1..1 Extension Extension
Constraints: ext-1
......... extension 0..0 Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
......... url 1..1 uri "reference"
......... value[x] S 1..1 Reference(Cross-version Profile for R5.DeviceDefinition for use in FHIR R4(0.1.0) | DeviceDefinition) Reference to a resource (by instance)
.......... identifier SΣ 1..1 Identifier Logical reference, when literal reference is not known
........... use ?!Σ 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .
........... system SΣ 1..1 uri The namespace for the identifier value
Fixed Value: https://fhir.bfarm.de/Identifier/HiisId
........... value SΣ 1..1 string The value that is unique
Example General: 123456
....... url 1..1 uri "relatedDevice"
..... url 1..1 uri "http://hl7.org/fhir/5.0/StructureDefinition/extension-DeviceDefinition.link"
.... extension:medicalDevice S 0..1 (Complex) Medical device
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleMedicalDevice
... modifierExtension ?! 0..* Extension Extensions that cannot be ignored
.... deviceName:All Slices Content/Rules for all slices
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... name 1..1 string The name of the device
..... type 1..1 code udi-label-name | user-friendly-name | patient-reported-name | manufacturer-name | model-name | other
Binding: DeviceNameType (required): The type of name the device is referred by.
.... deviceName:modelName S 0..1 BackboneElement Name
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... name S 1..1 string The name of the device
..... type 1..1 code udi-label-name | user-friendly-name | patient-reported-name | manufacturer-name | model-name | other
Binding: DeviceNameType (required): The type of name the device is referred by.
Fixed Value: model-name
... specialization S 0..* BackboneElement Platform availability and requirements
.... Slices for extension S 0..* Extension Extension
Slice: Unordered, Open by value:url
..... extension:compatibility S 0..1 (Complex) Hardware and software compatibility
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleSpecializationCompatibility
..... extension:url S 0..1 uri Platform URL
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleSpecializationUrl
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... systemType S 1..1 string Platform
Binding: HealthAppPlatformType (required)
.... version S 0..1 string Version number
... languageCode S 0..* CodeableConcept Languages
.... coding SΣ 1..1 CodingHealthAppLanguage Code defined by a terminology system
... parentDevice SΣ 1..1 Reference(HealthApp) HealthApp
.... reference SΣC 1..1 string Literal reference, Relative, internal or absolute URL
.... display SΣ 0..1 string Text alternative for the resource

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
DeviceDefinition.extension:link.​extension:relation.value[x] Base required HealthAppDeviceDefinitionRelationType 📦3.1.0-TEST This IG
DeviceDefinition.extension:link.​extension:relatedDevice.​extension:reference.​value[x].identifier.​use Base required IdentifierUse 📍4.0.1 FHIR Std.
DeviceDefinition.deviceName.​type Base required DeviceNameType 📍4.0.1 FHIR Std.
DeviceDefinition.deviceName:modelName.​type Base required DeviceNameType 📍4.0.1 FHIR Std.
DeviceDefinition.specialization.​systemType Base required HealthAppPlatformType 📦3.1.0-TEST This IG

Constraints

Id Grade Path(s) Description Expression
dom-2 error DeviceDefinition If the resource is contained in another resource, it SHALL NOT contain nested Resources contained.contained.empty()
dom-3 error DeviceDefinition 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 error DeviceDefinition 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 error DeviceDefinition If a resource is contained in another resource, it SHALL NOT have a security label contained.meta.security.empty()
dom-6 best practice DeviceDefinition A resource should have narrative for robust management text.`div`.exists()
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()

This structure is derived from DeviceDefinition

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. DeviceDefinition S 0..* DeviceDefinition Module of a digital application
... Slices for extension S 0..* Extension Extension
Slice: Unordered, Open by value:url
.... extension:category S 0..1 (Complex) Module category
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleCategory
.... extension:hardware S 0..1 (Complex) Additional devices for module use
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleHardware
.... extension:link S 0..* (Complex) Supported DeviceDataRecorders
URL: http://hl7.org/fhir/5.0/StructureDefinition/extension-DeviceDefinition.link
..... extension S 2..* Extension Extension
..... Slices for extension Content/Rules for all slices
...... extension:relation S 1..1 Extension Extension
....... extension 0..0 Extension
....... value[x] S 1..1 Coding The type indicates the relationship of the related device to the device instance
Binding: HealthAppDeviceDefinitionRelationType (required)
........ system S 1..1 uri Identity of the terminology system
........ code S 1..1 code Symbol in syntax defined by the system
........ display S 1..1 string Representation defined by the system
...... extension:relatedDevice S 1..1 Extension Extension
....... extension S 2..* Extension Extension
....... Slices for extension Content/Rules for all slices
........ extension:reference S 1..1 Extension Extension
......... extension 0..0 Extension
......... value[x] S 1..1 Reference(Cross-version Profile for R5.DeviceDefinition for use in FHIR R4(0.1.0) | DeviceDefinition) Reference to a resource (by instance)
.......... identifier S 1..1 Identifier Logical reference, when literal reference is not known
........... system S 1..1 uri The namespace for the identifier value
Fixed Value: https://fhir.bfarm.de/Identifier/HiisId
........... value S 1..1 string The value that is unique
.... extension:medicalDevice S 0..1 (Complex) Medical device
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleMedicalDevice
... Slices for deviceName S 0..* BackboneElement Module name
Slice: Unordered, Open by value:type
.... deviceName:modelName S 0..1 BackboneElement Name
..... name S 1..1 string The name of the device
..... type 1..1 code udi-label-name | user-friendly-name | patient-reported-name | manufacturer-name | model-name | other
Fixed Value: model-name
... specialization S 0..* BackboneElement Platform availability and requirements
.... Slices for extension S 0..* Extension Extension
Slice: Unordered, Open by value:url
..... extension:compatibility S 0..1 (Complex) Hardware and software compatibility
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleSpecializationCompatibility
..... extension:url S 0..1 uri Platform URL
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleSpecializationUrl
.... systemType S 1..1 string Platform
Binding: HealthAppPlatformType (required)
.... version S 0..1 string Version number
.... coding S 1..1 CodingHealthAppLanguage Code defined by a terminology system
... parentDevice S 1..1 Reference(HealthApp) HealthApp
.... reference S 1..1 string Literal reference, Relative, internal or absolute URL
.... display S 0..1 string Text alternative for the resource

doco Documentation for this format

Terminology Bindings (Differential)

Path Status Usage ValueSet Version Source
DeviceDefinition.extension:link.​extension:relation.value[x] Base required HealthAppDeviceDefinitionRelationType 📦3.1.0-TEST This IG
DeviceDefinition.specialization.​systemType Base required HealthAppPlatformType 📦3.1.0-TEST This IG
NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. DeviceDefinition S 0..* DeviceDefinition Module of a digital application
... id Σ 0..1 id Logical id of this artifact
... meta Σ 0..1 Meta Metadata about the resource
... implicitRules ?!Σ 0..1 uri A set of rules under which this content was created
... language 0..1 code Language of the resource content
Binding: CommonLanguages (preferred): A human language.
Additional BindingsPurpose
AllLanguages Max Binding
... text 0..1 Narrative Text summary of the resource, for human interpretation
This profile does not constrain the narrative in regard to content, language, or traceability to data elements
... contained 0..* Resource Contained, inline Resources
... Slices for extension S 0..* Extension Extension
Slice: Unordered, Open by value:url
.... extension:category S 0..1 (Complex) Module category
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleCategory
.... extension:hardware S 0..1 (Complex) Additional devices for module use
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleHardware
.... extension:link S 0..* (Complex) Supported DeviceDataRecorders
URL: http://hl7.org/fhir/5.0/StructureDefinition/extension-DeviceDefinition.link
Constraints: ext-1
..... id 0..1 string Unique id for inter-element referencing
..... Slices for extension S 2..* Extension Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
...... extension:relation S 1..1 Extension Extension
Constraints: ext-1
....... id 0..1 string Unique id for inter-element referencing
....... extension 0..0 Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
....... url 1..1 uri "relation"
....... value[x] S 1..1 Coding The type indicates the relationship of the related device to the device instance
Binding: HealthAppDeviceDefinitionRelationType (required)
........ id 0..1 string Unique id for inter-element referencing
........ extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
........ system SΣ 1..1 uri Identity of the terminology system
........ version Σ 0..1 string Version of the system - if relevant
........ code SΣ 1..1 code Symbol in syntax defined by the system
........ display SΣ 1..1 string Representation defined by the system
........ userSelected Σ 0..1 boolean If this coding was chosen directly by the user
...... extension:relatedDevice S 1..1 Extension Extension
Constraints: ext-1
....... id 0..1 string Unique id for inter-element referencing
....... Slices for extension S 2..* Extension Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
........ extension:_datatype 1..1 Extension DataType slice for a FHIR R5 `CodeableReference` value
Constraints: ext-1
......... id 0..1 string Unique id for inter-element referencing
......... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
Constraints: ext-1
......... url 1..1 uri "http://hl7.org/fhir/StructureDefinition/_datatype"
......... value[x] 1..1 string Value of extension
Fixed Value: CodeableReference
........ extension:concept 0..1 Extension R5: Reference to a concept (by class)
Constraints: ext-1
......... id 0..1 string Unique id for inter-element referencing
......... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
Constraints: ext-1
......... url 1..1 uri "concept"
......... value[x] 0..1 CodeableConcept Reference to a concept (by class)
........ extension:reference S 1..1 Extension Extension
Constraints: ext-1
......... id 0..1 string Unique id for inter-element referencing
......... extension 0..0 Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
......... url 1..1 uri "reference"
......... value[x] S 1..1 Reference(Cross-version Profile for R5.DeviceDefinition for use in FHIR R4(0.1.0) | DeviceDefinition) Reference to a resource (by instance)
.......... id 0..1 string Unique id for inter-element referencing
.......... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.......... reference ΣC 0..1 string Literal reference, Relative, internal or absolute URL
.......... type Σ 0..1 uri Type the reference refers to (e.g. "Patient")
Binding: ResourceType (extensible): Aa resource (or, for logical models, the URI of the logical model).
.......... identifier SΣ 1..1 Identifier Logical reference, when literal reference is not known
........... id 0..1 string Unique id for inter-element referencing
........... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
........... use ?!Σ 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .
........... type Σ 0..1 CodeableConcept Description of identifier
Binding: Identifier Type Codes (extensible): A coded type for an identifier that can be used to determine which identifier to use for a specific purpose.
........... system SΣ 1..1 uri The namespace for the identifier value
Fixed Value: https://fhir.bfarm.de/Identifier/HiisId
........... value SΣ 1..1 string The value that is unique
Example General: 123456
........... period Σ 0..1 Period Time period when id is/was valid for use
........... assigner Σ 0..1 Reference(Organization) Organization that issued id (may be just text)
.......... display Σ 0..1 string Text alternative for the resource
....... url 1..1 uri "relatedDevice"
..... url 1..1 uri "http://hl7.org/fhir/5.0/StructureDefinition/extension-DeviceDefinition.link"
.... extension:medicalDevice S 0..1 (Complex) Medical device
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleMedicalDevice
... modifierExtension ?! 0..* Extension Extensions that cannot be ignored
... identifier 0..* Identifier Instance identifier
... udiDeviceIdentifier 0..* BackboneElement Unique Device Identifier (UDI) Barcode string
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... deviceIdentifier 1..1 string The identifier that is to be associated with every Device that references this DeviceDefintiion for the issuer and jurisdication porvided in the DeviceDefinition.udiDeviceIdentifier
.... issuer 1..1 uri The organization that assigns the identifier algorithm
.... jurisdiction 1..1 uri The jurisdiction to which the deviceIdentifier applies
... manufacturer[x] 0..1 Name of device manufacturer
.... manufacturerString string
.... manufacturerReference Reference(Organization)
... Slices for deviceName S 0..* BackboneElement Module name
Slice: Unordered, Open by value:type
.... deviceName:All Slices Content/Rules for all slices
..... id 0..1 string Unique id for inter-element referencing
..... extension 0..* Extension Additional content defined by implementations
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... name 1..1 string The name of the device
..... type 1..1 code udi-label-name | user-friendly-name | patient-reported-name | manufacturer-name | model-name | other
Binding: DeviceNameType (required): The type of name the device is referred by.
.... deviceName:modelName S 0..1 BackboneElement Name
..... id 0..1 string Unique id for inter-element referencing
..... extension 0..* Extension Additional content defined by implementations
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... name S 1..1 string The name of the device
..... type 1..1 code udi-label-name | user-friendly-name | patient-reported-name | manufacturer-name | model-name | other
Binding: DeviceNameType (required): The type of name the device is referred by.
Fixed Value: model-name
... modelNumber 0..1 string The model number for the device
... type 0..1 CodeableConcept What kind of device or device system this is
Binding: FHIRDeviceTypes (example): Type of device e.g. according to official classification.
... specialization S 0..* BackboneElement Platform availability and requirements
.... id 0..1 string Unique id for inter-element referencing
.... Slices for extension S 0..* Extension Extension
Slice: Unordered, Open by value:url
..... extension:compatibility S 0..1 (Complex) Hardware and software compatibility
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleSpecializationCompatibility
..... extension:url S 0..1 uri Platform URL
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleSpecializationUrl
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... systemType S 1..1 string Platform
Binding: HealthAppPlatformType (required)
.... version S 0..1 string Version number
... version 0..* string Available versions
... safety Σ 0..* CodeableConcept Safety characteristics of the device
Binding: DeviceSafety (example)
... shelfLifeStorage 0..* ProductShelfLife Shelf Life and storage information
... physicalCharacteristics 0..1 ProdCharacteristic Dimensions, color etc.
... languageCode S 0..* CodeableConcept Languages
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.... coding SΣ 1..1 CodingHealthAppLanguage Code defined by a terminology system
.... text Σ 0..1 string Plain text representation of the concept
... capability 0..* BackboneElement Device capabilities
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... type 1..1 CodeableConcept Type of capability
.... description 0..* CodeableConcept Description of capability
... property 0..* BackboneElement The actual configuration settings of a device as it actually operates, e.g., regulation status, time properties
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... type 1..1 CodeableConcept Code that specifies the property DeviceDefinitionPropetyCode (Extensible)
.... valueQuantity 0..* Quantity Property value as a quantity
.... valueCode 0..* CodeableConcept Property value as a code, e.g., NTP4 (synced to NTP)
... owner 0..1 Reference(Organization) Organization responsible for device
... contact 0..* ContactPoint Details for human/organization for support
... url 0..1 uri Network address to contact device
... onlineInformation 0..1 uri Access to on-line information
... note 0..* Annotation Device notes and comments
... quantity 0..1 Quantity The quantity of the device present in the packaging (e.g. the number of devices present in a pack, or the number of devices in the same package of the medicinal product)
... parentDevice SΣ 1..1 Reference(HealthApp) HealthApp
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.... reference SΣC 1..1 string Literal reference, Relative, internal or absolute URL
.... type Σ 0..1 uri Type the reference refers to (e.g. "Patient")
Binding: ResourceType (extensible): Aa resource (or, for logical models, the URI of the logical model).
.... identifier Σ 0..1 Identifier Logical reference, when literal reference is not known
.... display SΣ 0..1 string Text alternative for the resource
... material 0..* BackboneElement A substance used to create the material(s) of which the device is made
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... substance 1..1 CodeableConcept The substance
.... alternate 0..1 boolean Indicates an alternative material of the device
.... allergenicIndicator 0..1 boolean Whether the substance is a known or suspected allergen

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
DeviceDefinition.language Base preferred Common Languages 📍4.0.1 FHIR Std.
DeviceDefinition.extension:link.​extension:relation.value[x] Base required HealthAppDeviceDefinitionRelationType 📦3.1.0-TEST This IG
DeviceDefinition.extension:link.​extension:relatedDevice.​extension:reference.​value[x].type Base extensible ResourceType 📍4.0.1 FHIR Std.
DeviceDefinition.extension:link.​extension:relatedDevice.​extension:reference.​value[x].identifier.​use Base required IdentifierUse 📍4.0.1 FHIR Std.
DeviceDefinition.extension:link.​extension:relatedDevice.​extension:reference.​value[x].identifier.​type Base extensible IdentifierType 📍4.0.1 FHIR Std.
DeviceDefinition.deviceName.​type Base required DeviceNameType 📍4.0.1 FHIR Std.
DeviceDefinition.deviceName:modelName.​type Base required DeviceNameType 📍4.0.1 FHIR Std.
DeviceDefinition.type Base example FHIR Device Types 📍4.0.1 FHIR Std.
DeviceDefinition.specialization.​systemType Base required HealthAppPlatformType 📦3.1.0-TEST This IG
DeviceDefinition.safety Base example Device safety 📍4.0.1 FHIR Std.
DeviceDefinition.parentDevice.​type Base extensible ResourceType 📍4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
dom-2 error DeviceDefinition If the resource is contained in another resource, it SHALL NOT contain nested Resources contained.contained.empty()
dom-3 error DeviceDefinition 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 error DeviceDefinition 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 error DeviceDefinition If a resource is contained in another resource, it SHALL NOT have a security label contained.meta.security.empty()
dom-6 best practice DeviceDefinition A resource should have narrative for robust management text.`div`.exists()
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()

Key Elements View

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. DeviceDefinition S 0..* DeviceDefinition Module of a digital application
... implicitRules ?!Σ 0..1 uri A set of rules under which this content was created
... Slices for extension S 0..* Extension Extension
Slice: Unordered, Open by value:url
.... extension:category S 0..1 (Complex) Module category
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleCategory
.... extension:hardware S 0..1 (Complex) Additional devices for module use
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleHardware
.... extension:link S 0..* (Complex) Supported DeviceDataRecorders
URL: http://hl7.org/fhir/5.0/StructureDefinition/extension-DeviceDefinition.link
Constraints: ext-1
..... Slices for extension S 2..* Extension Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
...... extension:relation S 1..1 Extension Extension
Constraints: ext-1
....... extension 0..0 Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
....... url 1..1 uri "relation"
....... value[x] S 1..1 Coding The type indicates the relationship of the related device to the device instance
Binding: HealthAppDeviceDefinitionRelationType (required)
........ system SΣ 1..1 uri Identity of the terminology system
........ code SΣ 1..1 code Symbol in syntax defined by the system
........ display SΣ 1..1 string Representation defined by the system
...... extension:relatedDevice S 1..1 Extension Extension
Constraints: ext-1
....... Slices for extension S 2..* Extension Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
........ extension:_datatype 1..1 Extension DataType slice for a FHIR R5 `CodeableReference` value
Constraints: ext-1
......... url 1..1 uri "http://hl7.org/fhir/StructureDefinition/_datatype"
......... value[x] 1..1 string Value of extension
Fixed Value: CodeableReference
........ extension:concept 0..1 Extension R5: Reference to a concept (by class)
Constraints: ext-1
......... url 1..1 uri "concept"
........ extension:reference S 1..1 Extension Extension
Constraints: ext-1
......... extension 0..0 Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
......... url 1..1 uri "reference"
......... value[x] S 1..1 Reference(Cross-version Profile for R5.DeviceDefinition for use in FHIR R4(0.1.0) | DeviceDefinition) Reference to a resource (by instance)
.......... identifier SΣ 1..1 Identifier Logical reference, when literal reference is not known
........... use ?!Σ 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .
........... system SΣ 1..1 uri The namespace for the identifier value
Fixed Value: https://fhir.bfarm.de/Identifier/HiisId
........... value SΣ 1..1 string The value that is unique
Example General: 123456
....... url 1..1 uri "relatedDevice"
..... url 1..1 uri "http://hl7.org/fhir/5.0/StructureDefinition/extension-DeviceDefinition.link"
.... extension:medicalDevice S 0..1 (Complex) Medical device
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleMedicalDevice
... modifierExtension ?! 0..* Extension Extensions that cannot be ignored
.... deviceName:All Slices Content/Rules for all slices
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... name 1..1 string The name of the device
..... type 1..1 code udi-label-name | user-friendly-name | patient-reported-name | manufacturer-name | model-name | other
Binding: DeviceNameType (required): The type of name the device is referred by.
.... deviceName:modelName S 0..1 BackboneElement Name
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... name S 1..1 string The name of the device
..... type 1..1 code udi-label-name | user-friendly-name | patient-reported-name | manufacturer-name | model-name | other
Binding: DeviceNameType (required): The type of name the device is referred by.
Fixed Value: model-name
... specialization S 0..* BackboneElement Platform availability and requirements
.... Slices for extension S 0..* Extension Extension
Slice: Unordered, Open by value:url
..... extension:compatibility S 0..1 (Complex) Hardware and software compatibility
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleSpecializationCompatibility
..... extension:url S 0..1 uri Platform URL
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleSpecializationUrl
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... systemType S 1..1 string Platform
Binding: HealthAppPlatformType (required)
.... version S 0..1 string Version number
... languageCode S 0..* CodeableConcept Languages
.... coding SΣ 1..1 CodingHealthAppLanguage Code defined by a terminology system
... parentDevice SΣ 1..1 Reference(HealthApp) HealthApp
.... reference SΣC 1..1 string Literal reference, Relative, internal or absolute URL
.... display SΣ 0..1 string Text alternative for the resource

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
DeviceDefinition.extension:link.​extension:relation.value[x] Base required HealthAppDeviceDefinitionRelationType 📦3.1.0-TEST This IG
DeviceDefinition.extension:link.​extension:relatedDevice.​extension:reference.​value[x].identifier.​use Base required IdentifierUse 📍4.0.1 FHIR Std.
DeviceDefinition.deviceName.​type Base required DeviceNameType 📍4.0.1 FHIR Std.
DeviceDefinition.deviceName:modelName.​type Base required DeviceNameType 📍4.0.1 FHIR Std.
DeviceDefinition.specialization.​systemType Base required HealthAppPlatformType 📦3.1.0-TEST This IG

Constraints

Id Grade Path(s) Description Expression
dom-2 error DeviceDefinition If the resource is contained in another resource, it SHALL NOT contain nested Resources contained.contained.empty()
dom-3 error DeviceDefinition 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 error DeviceDefinition 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 error DeviceDefinition If a resource is contained in another resource, it SHALL NOT have a security label contained.meta.security.empty()
dom-6 best practice DeviceDefinition A resource should have narrative for robust management text.`div`.exists()
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()

Differential View

This structure is derived from DeviceDefinition

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. DeviceDefinition S 0..* DeviceDefinition Module of a digital application
... Slices for extension S 0..* Extension Extension
Slice: Unordered, Open by value:url
.... extension:category S 0..1 (Complex) Module category
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleCategory
.... extension:hardware S 0..1 (Complex) Additional devices for module use
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleHardware
.... extension:link S 0..* (Complex) Supported DeviceDataRecorders
URL: http://hl7.org/fhir/5.0/StructureDefinition/extension-DeviceDefinition.link
..... extension S 2..* Extension Extension
..... Slices for extension Content/Rules for all slices
...... extension:relation S 1..1 Extension Extension
....... extension 0..0 Extension
....... value[x] S 1..1 Coding The type indicates the relationship of the related device to the device instance
Binding: HealthAppDeviceDefinitionRelationType (required)
........ system S 1..1 uri Identity of the terminology system
........ code S 1..1 code Symbol in syntax defined by the system
........ display S 1..1 string Representation defined by the system
...... extension:relatedDevice S 1..1 Extension Extension
....... extension S 2..* Extension Extension
....... Slices for extension Content/Rules for all slices
........ extension:reference S 1..1 Extension Extension
......... extension 0..0 Extension
......... value[x] S 1..1 Reference(Cross-version Profile for R5.DeviceDefinition for use in FHIR R4(0.1.0) | DeviceDefinition) Reference to a resource (by instance)
.......... identifier S 1..1 Identifier Logical reference, when literal reference is not known
........... system S 1..1 uri The namespace for the identifier value
Fixed Value: https://fhir.bfarm.de/Identifier/HiisId
........... value S 1..1 string The value that is unique
.... extension:medicalDevice S 0..1 (Complex) Medical device
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleMedicalDevice
... Slices for deviceName S 0..* BackboneElement Module name
Slice: Unordered, Open by value:type
.... deviceName:modelName S 0..1 BackboneElement Name
..... name S 1..1 string The name of the device
..... type 1..1 code udi-label-name | user-friendly-name | patient-reported-name | manufacturer-name | model-name | other
Fixed Value: model-name
... specialization S 0..* BackboneElement Platform availability and requirements
.... Slices for extension S 0..* Extension Extension
Slice: Unordered, Open by value:url
..... extension:compatibility S 0..1 (Complex) Hardware and software compatibility
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleSpecializationCompatibility
..... extension:url S 0..1 uri Platform URL
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleSpecializationUrl
.... systemType S 1..1 string Platform
Binding: HealthAppPlatformType (required)
.... version S 0..1 string Version number
.... coding S 1..1 CodingHealthAppLanguage Code defined by a terminology system
... parentDevice S 1..1 Reference(HealthApp) HealthApp
.... reference S 1..1 string Literal reference, Relative, internal or absolute URL
.... display S 0..1 string Text alternative for the resource

doco Documentation for this format

Terminology Bindings (Differential)

Path Status Usage ValueSet Version Source
DeviceDefinition.extension:link.​extension:relation.value[x] Base required HealthAppDeviceDefinitionRelationType 📦3.1.0-TEST This IG
DeviceDefinition.specialization.​systemType Base required HealthAppPlatformType 📦3.1.0-TEST This IG

Snapshot View

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. DeviceDefinition S 0..* DeviceDefinition Module of a digital application
... id Σ 0..1 id Logical id of this artifact
... meta Σ 0..1 Meta Metadata about the resource
... implicitRules ?!Σ 0..1 uri A set of rules under which this content was created
... language 0..1 code Language of the resource content
Binding: CommonLanguages (preferred): A human language.
Additional BindingsPurpose
AllLanguages Max Binding
... text 0..1 Narrative Text summary of the resource, for human interpretation
This profile does not constrain the narrative in regard to content, language, or traceability to data elements
... contained 0..* Resource Contained, inline Resources
... Slices for extension S 0..* Extension Extension
Slice: Unordered, Open by value:url
.... extension:category S 0..1 (Complex) Module category
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleCategory
.... extension:hardware S 0..1 (Complex) Additional devices for module use
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleHardware
.... extension:link S 0..* (Complex) Supported DeviceDataRecorders
URL: http://hl7.org/fhir/5.0/StructureDefinition/extension-DeviceDefinition.link
Constraints: ext-1
..... id 0..1 string Unique id for inter-element referencing
..... Slices for extension S 2..* Extension Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
...... extension:relation S 1..1 Extension Extension
Constraints: ext-1
....... id 0..1 string Unique id for inter-element referencing
....... extension 0..0 Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
....... url 1..1 uri "relation"
....... value[x] S 1..1 Coding The type indicates the relationship of the related device to the device instance
Binding: HealthAppDeviceDefinitionRelationType (required)
........ id 0..1 string Unique id for inter-element referencing
........ extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
........ system SΣ 1..1 uri Identity of the terminology system
........ version Σ 0..1 string Version of the system - if relevant
........ code SΣ 1..1 code Symbol in syntax defined by the system
........ display SΣ 1..1 string Representation defined by the system
........ userSelected Σ 0..1 boolean If this coding was chosen directly by the user
...... extension:relatedDevice S 1..1 Extension Extension
Constraints: ext-1
....... id 0..1 string Unique id for inter-element referencing
....... Slices for extension S 2..* Extension Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
........ extension:_datatype 1..1 Extension DataType slice for a FHIR R5 `CodeableReference` value
Constraints: ext-1
......... id 0..1 string Unique id for inter-element referencing
......... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
Constraints: ext-1
......... url 1..1 uri "http://hl7.org/fhir/StructureDefinition/_datatype"
......... value[x] 1..1 string Value of extension
Fixed Value: CodeableReference
........ extension:concept 0..1 Extension R5: Reference to a concept (by class)
Constraints: ext-1
......... id 0..1 string Unique id for inter-element referencing
......... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
Constraints: ext-1
......... url 1..1 uri "concept"
......... value[x] 0..1 CodeableConcept Reference to a concept (by class)
........ extension:reference S 1..1 Extension Extension
Constraints: ext-1
......... id 0..1 string Unique id for inter-element referencing
......... extension 0..0 Extension
Slice: Unordered, Open by value:url
Constraints: ext-1
......... url 1..1 uri "reference"
......... value[x] S 1..1 Reference(Cross-version Profile for R5.DeviceDefinition for use in FHIR R4(0.1.0) | DeviceDefinition) Reference to a resource (by instance)
.......... id 0..1 string Unique id for inter-element referencing
.......... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.......... reference ΣC 0..1 string Literal reference, Relative, internal or absolute URL
.......... type Σ 0..1 uri Type the reference refers to (e.g. "Patient")
Binding: ResourceType (extensible): Aa resource (or, for logical models, the URI of the logical model).
.......... identifier SΣ 1..1 Identifier Logical reference, when literal reference is not known
........... id 0..1 string Unique id for inter-element referencing
........... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
........... use ?!Σ 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .
........... type Σ 0..1 CodeableConcept Description of identifier
Binding: Identifier Type Codes (extensible): A coded type for an identifier that can be used to determine which identifier to use for a specific purpose.
........... system SΣ 1..1 uri The namespace for the identifier value
Fixed Value: https://fhir.bfarm.de/Identifier/HiisId
........... value SΣ 1..1 string The value that is unique
Example General: 123456
........... period Σ 0..1 Period Time period when id is/was valid for use
........... assigner Σ 0..1 Reference(Organization) Organization that issued id (may be just text)
.......... display Σ 0..1 string Text alternative for the resource
....... url 1..1 uri "relatedDevice"
..... url 1..1 uri "http://hl7.org/fhir/5.0/StructureDefinition/extension-DeviceDefinition.link"
.... extension:medicalDevice S 0..1 (Complex) Medical device
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleMedicalDevice
... modifierExtension ?! 0..* Extension Extensions that cannot be ignored
... identifier 0..* Identifier Instance identifier
... udiDeviceIdentifier 0..* BackboneElement Unique Device Identifier (UDI) Barcode string
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... deviceIdentifier 1..1 string The identifier that is to be associated with every Device that references this DeviceDefintiion for the issuer and jurisdication porvided in the DeviceDefinition.udiDeviceIdentifier
.... issuer 1..1 uri The organization that assigns the identifier algorithm
.... jurisdiction 1..1 uri The jurisdiction to which the deviceIdentifier applies
... manufacturer[x] 0..1 Name of device manufacturer
.... manufacturerString string
.... manufacturerReference Reference(Organization)
... Slices for deviceName S 0..* BackboneElement Module name
Slice: Unordered, Open by value:type
.... deviceName:All Slices Content/Rules for all slices
..... id 0..1 string Unique id for inter-element referencing
..... extension 0..* Extension Additional content defined by implementations
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... name 1..1 string The name of the device
..... type 1..1 code udi-label-name | user-friendly-name | patient-reported-name | manufacturer-name | model-name | other
Binding: DeviceNameType (required): The type of name the device is referred by.
.... deviceName:modelName S 0..1 BackboneElement Name
..... id 0..1 string Unique id for inter-element referencing
..... extension 0..* Extension Additional content defined by implementations
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... name S 1..1 string The name of the device
..... type 1..1 code udi-label-name | user-friendly-name | patient-reported-name | manufacturer-name | model-name | other
Binding: DeviceNameType (required): The type of name the device is referred by.
Fixed Value: model-name
... modelNumber 0..1 string The model number for the device
... type 0..1 CodeableConcept What kind of device or device system this is
Binding: FHIRDeviceTypes (example): Type of device e.g. according to official classification.
... specialization S 0..* BackboneElement Platform availability and requirements
.... id 0..1 string Unique id for inter-element referencing
.... Slices for extension S 0..* Extension Extension
Slice: Unordered, Open by value:url
..... extension:compatibility S 0..1 (Complex) Hardware and software compatibility
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleSpecializationCompatibility
..... extension:url S 0..1 uri Platform URL
URL: https://fhir.bfarm.de/StructureDefinition/HealthAppModuleSpecializationUrl
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... systemType S 1..1 string Platform
Binding: HealthAppPlatformType (required)
.... version S 0..1 string Version number
... version 0..* string Available versions
... safety Σ 0..* CodeableConcept Safety characteristics of the device
Binding: DeviceSafety (example)
... shelfLifeStorage 0..* ProductShelfLife Shelf Life and storage information
... physicalCharacteristics 0..1 ProdCharacteristic Dimensions, color etc.
... languageCode S 0..* CodeableConcept Languages
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.... coding SΣ 1..1 CodingHealthAppLanguage Code defined by a terminology system
.... text Σ 0..1 string Plain text representation of the concept
... capability 0..* BackboneElement Device capabilities
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... type 1..1 CodeableConcept Type of capability
.... description 0..* CodeableConcept Description of capability
... property 0..* BackboneElement The actual configuration settings of a device as it actually operates, e.g., regulation status, time properties
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... type 1..1 CodeableConcept Code that specifies the property DeviceDefinitionPropetyCode (Extensible)
.... valueQuantity 0..* Quantity Property value as a quantity
.... valueCode 0..* CodeableConcept Property value as a code, e.g., NTP4 (synced to NTP)
... owner 0..1 Reference(Organization) Organization responsible for device
... contact 0..* ContactPoint Details for human/organization for support
... url 0..1 uri Network address to contact device
... onlineInformation 0..1 uri Access to on-line information
... note 0..* Annotation Device notes and comments
... quantity 0..1 Quantity The quantity of the device present in the packaging (e.g. the number of devices present in a pack, or the number of devices in the same package of the medicinal product)
... parentDevice SΣ 1..1 Reference(HealthApp) HealthApp
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.... reference SΣC 1..1 string Literal reference, Relative, internal or absolute URL
.... type Σ 0..1 uri Type the reference refers to (e.g. "Patient")
Binding: ResourceType (extensible): Aa resource (or, for logical models, the URI of the logical model).
.... identifier Σ 0..1 Identifier Logical reference, when literal reference is not known
.... display SΣ 0..1 string Text alternative for the resource
... material 0..* BackboneElement A substance used to create the material(s) of which the device is made
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... substance 1..1 CodeableConcept The substance
.... alternate 0..1 boolean Indicates an alternative material of the device
.... allergenicIndicator 0..1 boolean Whether the substance is a known or suspected allergen

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
DeviceDefinition.language Base preferred Common Languages 📍4.0.1 FHIR Std.
DeviceDefinition.extension:link.​extension:relation.value[x] Base required HealthAppDeviceDefinitionRelationType 📦3.1.0-TEST This IG
DeviceDefinition.extension:link.​extension:relatedDevice.​extension:reference.​value[x].type Base extensible ResourceType 📍4.0.1 FHIR Std.
DeviceDefinition.extension:link.​extension:relatedDevice.​extension:reference.​value[x].identifier.​use Base required IdentifierUse 📍4.0.1 FHIR Std.
DeviceDefinition.extension:link.​extension:relatedDevice.​extension:reference.​value[x].identifier.​type Base extensible IdentifierType 📍4.0.1 FHIR Std.
DeviceDefinition.deviceName.​type Base required DeviceNameType 📍4.0.1 FHIR Std.
DeviceDefinition.deviceName:modelName.​type Base required DeviceNameType 📍4.0.1 FHIR Std.
DeviceDefinition.type Base example FHIR Device Types 📍4.0.1 FHIR Std.
DeviceDefinition.specialization.​systemType Base required HealthAppPlatformType 📦3.1.0-TEST This IG
DeviceDefinition.safety Base example Device safety 📍4.0.1 FHIR Std.
DeviceDefinition.parentDevice.​type Base extensible ResourceType 📍4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
dom-2 error DeviceDefinition If the resource is contained in another resource, it SHALL NOT contain nested Resources contained.contained.empty()
dom-3 error DeviceDefinition 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 error DeviceDefinition 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 error DeviceDefinition If a resource is contained in another resource, it SHALL NOT have a security label contained.meta.security.empty()
dom-6 best practice DeviceDefinition A resource should have narrative for robust management text.`div`.exists()
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()

 

Other representations of profile: CSV, Excel, Schematron