CH Core (R4)
5.0.0 - trial-use Switzerland flag

This page is part of the CH Core (R4) (v5.0.0: STU 5) based on FHIR (HL7® FHIR® Standard) R4. This is the current published version in its permanent home (it will always be available at this URL). For a full list of available versions, see the Directory of published versions

Data Type Profile: Insurance Card Number (Identifier)

Official URL: http://fhir.ch/ig/ch-core/StructureDefinition/ch-core-veka-identifier Version: 5.0.0
Active as of 2024-12-17 Computable Name: VEKAIdentifier

Copyright/Legal: CC0-1.0

Identifier in 20-digit format. The number shall have exactly 20 digits and start with 756.

Usage:

Formal Views of Profile Content

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

This structure is derived from Identifier

NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier Identifier
... system 1..1 uri The namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1
... value C 1..1 string The value that is unique
veka-length: Insurance card number must be exactly 20 characters long
veka-startswith807560: Insurance card number must start with 807560
... period
.... end 0..1 dateTime Expiration date of the insurance card

doco Documentation for this format

Constraints

IdGradePath(s)DetailsRequirements
veka-lengthwarningIdentifier.valueInsurance card number must be exactly 20 characters long
: matches('^[0-9]{20}$')
veka-startswith807560warningIdentifier.valueInsurance card number must start with 807560
: startsWith('807560')
NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier 0..* Identifier An identifier intended for computation
ele-1: All FHIR elements must have a @value or children
... use ?!Σ 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .


ele-1: All FHIR elements must have a @value or children
... system Σ 1..1 uri The namespace for the identifier value
ele-1: All FHIR elements must have a @value or children
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1
... value ΣC 1..1 string The value that is unique
ele-1: All FHIR elements must have a @value or children
veka-length: Insurance card number must be exactly 20 characters long
veka-startswith807560: Insurance card number must start with 807560
Example General: 123456

doco Documentation for this format

Terminology Bindings

PathConformanceValueSetURI
Identifier.userequiredIdentifierUse
http://hl7.org/fhir/ValueSet/identifier-use|4.0.1
from the FHIR Standard

Constraints

IdGradePath(s)DetailsRequirements
ele-1error**ALL** elementsAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
veka-lengthwarningIdentifier.valueInsurance card number must be exactly 20 characters long
: matches('^[0-9]{20}$')
veka-startswith807560warningIdentifier.valueInsurance card number must start with 807560
: startsWith('807560')
NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier 0..* Identifier An identifier intended for computation
... 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 .

... system Σ 1..1 uri The namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1
... value ΣC 1..1 string The value that is unique
veka-length: Insurance card number must be exactly 20 characters long
veka-startswith807560: Insurance card number must start with 807560
Example General: 123456
... period Σ 0..1 Period Time period when id is/was valid for use
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.... start ΣC 0..1 dateTime Starting time with inclusive boundary
.... end ΣC 0..1 dateTime Expiration date of the insurance card
... assigner Σ 0..1 Reference(Organization) Organization that issued id (may be just text)

doco Documentation for this format

Terminology Bindings

PathConformanceValueSetURI
Identifier.userequiredIdentifierUse
http://hl7.org/fhir/ValueSet/identifier-use|4.0.1
from the FHIR Standard
Identifier.typeextensibleIdentifier Type Codes
http://hl7.org/fhir/ValueSet/identifier-type
from the FHIR Standard

Constraints

IdGradePath(s)DetailsRequirements
ele-1error**ALL** elementsAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1error**ALL** extensionsMust have either extensions or value[x], not both
: extension.exists() != value.exists()
veka-lengthwarningIdentifier.valueInsurance card number must be exactly 20 characters long
: matches('^[0-9]{20}$')
veka-startswith807560warningIdentifier.valueInsurance card number must start with 807560
: startsWith('807560')

This structure is derived from Identifier

Summary

Mandatory: 2 elements
Fixed: 1 element

Differential View

This structure is derived from Identifier

NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier Identifier
... system 1..1 uri The namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1
... value C 1..1 string The value that is unique
veka-length: Insurance card number must be exactly 20 characters long
veka-startswith807560: Insurance card number must start with 807560
... period
.... end 0..1 dateTime Expiration date of the insurance card

doco Documentation for this format

Constraints

IdGradePath(s)DetailsRequirements
veka-lengthwarningIdentifier.valueInsurance card number must be exactly 20 characters long
: matches('^[0-9]{20}$')
veka-startswith807560warningIdentifier.valueInsurance card number must start with 807560
: startsWith('807560')

Key Elements View

NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier 0..* Identifier An identifier intended for computation
ele-1: All FHIR elements must have a @value or children
... use ?!Σ 0..1 code usual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .


ele-1: All FHIR elements must have a @value or children
... system Σ 1..1 uri The namespace for the identifier value
ele-1: All FHIR elements must have a @value or children
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1
... value ΣC 1..1 string The value that is unique
ele-1: All FHIR elements must have a @value or children
veka-length: Insurance card number must be exactly 20 characters long
veka-startswith807560: Insurance card number must start with 807560
Example General: 123456

doco Documentation for this format

Terminology Bindings

PathConformanceValueSetURI
Identifier.userequiredIdentifierUse
http://hl7.org/fhir/ValueSet/identifier-use|4.0.1
from the FHIR Standard

Constraints

IdGradePath(s)DetailsRequirements
ele-1error**ALL** elementsAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
veka-lengthwarningIdentifier.valueInsurance card number must be exactly 20 characters long
: matches('^[0-9]{20}$')
veka-startswith807560warningIdentifier.valueInsurance card number must start with 807560
: startsWith('807560')

Snapshot View

NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier 0..* Identifier An identifier intended for computation
... 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 .

... system Σ 1..1 uri The namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1
... value ΣC 1..1 string The value that is unique
veka-length: Insurance card number must be exactly 20 characters long
veka-startswith807560: Insurance card number must start with 807560
Example General: 123456
... period Σ 0..1 Period Time period when id is/was valid for use
.... id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.... start ΣC 0..1 dateTime Starting time with inclusive boundary
.... end ΣC 0..1 dateTime Expiration date of the insurance card
... assigner Σ 0..1 Reference(Organization) Organization that issued id (may be just text)

doco Documentation for this format

Terminology Bindings

PathConformanceValueSetURI
Identifier.userequiredIdentifierUse
http://hl7.org/fhir/ValueSet/identifier-use|4.0.1
from the FHIR Standard
Identifier.typeextensibleIdentifier Type Codes
http://hl7.org/fhir/ValueSet/identifier-type
from the FHIR Standard

Constraints

IdGradePath(s)DetailsRequirements
ele-1error**ALL** elementsAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1error**ALL** extensionsMust have either extensions or value[x], not both
: extension.exists() != value.exists()
veka-lengthwarningIdentifier.valueInsurance card number must be exactly 20 characters long
: matches('^[0-9]{20}$')
veka-startswith807560warningIdentifier.valueInsurance card number must start with 807560
: startsWith('807560')

This structure is derived from Identifier

Summary

Mandatory: 2 elements
Fixed: 1 element

 

Other representations of profile: CSV, Excel, Schematron