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

Extension: HealthApp: MivSet

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

Extension for referencing an MIV Set (Mandatory Interoperable Value Set) supported by a DiGA.

Context of Use

    This extension may be used on the following element(s)

Usage info

Usages:

You can also check for usages in the FHIR IG Statistics

Formal Views of Extension Content

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

This structure is derived from Extension

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Extension S 0..* Extension MIV Set
... extension 0..0 Extension
... url 1..1 uri "https://fhir.bfarm.de/StructureDefinition/HealthAppMivSet"
... value[x] S 1..1 Reference() Value of extension
.... 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
NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Extension S 0..* Extension MIV Set
... id 0..1 string Unique id for inter-element referencing
... extension 0..0 Extension
Slice: Unordered, Open by value:url
... url 1..1 uri "https://fhir.bfarm.de/StructureDefinition/HealthAppMivSet"
.... 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

doco Documentation for this format

This structure is derived from Extension

Summary

Simple Extension with the type Reference: Extension for referencing an MIV Set (Mandatory Interoperable Value Set) supported by a DiGA.

Differential View

This structure is derived from Extension

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Extension S 0..* Extension MIV Set
... extension 0..0 Extension
... url 1..1 uri "https://fhir.bfarm.de/StructureDefinition/HealthAppMivSet"
... value[x] S 1..1 Reference() Value of extension
.... 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

Snapshot View

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Extension S 0..* Extension MIV Set
... id 0..1 string Unique id for inter-element referencing
... extension 0..0 Extension
Slice: Unordered, Open by value:url
... url 1..1 uri "https://fhir.bfarm.de/StructureDefinition/HealthAppMivSet"
.... 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

doco Documentation for this format

This structure is derived from Extension

Summary

Simple Extension with the type Reference: Extension for referencing an MIV Set (Mandatory Interoperable Value Set) supported by a DiGA.

 

Other representations of profile: CSV, Excel, Schematron

Terminology Bindings

Path Status Usage ValueSet Version Source
Extension.value[x].type Base extensible ResourceType 📍4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
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()