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

This page is part of the CH Core (R4) (v4.0.1: STU 4) 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: 4.0.1
Active as of 2023-12-28 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..1uriThe namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1
... value C1..1stringThe 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..1dateTimeExpiration 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..*IdentifierAn identifier intended for computation
... use ?!Σ0..1codeusual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .

... system Σ1..1uriThe namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1
... value ΣC1..1stringThe 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

doco Documentation for this format

Terminology Bindings

PathConformanceValueSet
Identifier.userequiredIdentifierUse

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..*IdentifierAn identifier intended for computation
... id 0..1stringUnique id for inter-element referencing
... extension 0..*ExtensionAdditional content defined by implementations
Slice: Unordered, Open by value:url
... use ?!Σ0..1codeusual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .

... system Σ1..1uriThe namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1
... value ΣC1..1stringThe 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..1PeriodTime period when id is/was valid for use
.... id 0..1stringUnique id for inter-element referencing
.... extension 0..*ExtensionAdditional content defined by implementations
Slice: Unordered, Open by value:url
.... start ΣC0..1dateTimeStarting time with inclusive boundary
.... end ΣC0..1dateTimeExpiration date of the insurance card
... assigner Σ0..1Reference(Organization)Organization that issued id (may be just text)

doco Documentation for this format

Terminology Bindings

PathConformanceValueSet
Identifier.userequiredIdentifierUse
Identifier.typeextensibleIdentifier Type Codes

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 Value: 1 element

Differential View

This structure is derived from Identifier

NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier Identifier
... system 1..1uriThe namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1
... value C1..1stringThe 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..1dateTimeExpiration 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..*IdentifierAn identifier intended for computation
... use ?!Σ0..1codeusual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .

... system Σ1..1uriThe namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1
... value ΣC1..1stringThe 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

doco Documentation for this format

Terminology Bindings

PathConformanceValueSet
Identifier.userequiredIdentifierUse

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..*IdentifierAn identifier intended for computation
... id 0..1stringUnique id for inter-element referencing
... extension 0..*ExtensionAdditional content defined by implementations
Slice: Unordered, Open by value:url
... use ?!Σ0..1codeusual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .

... system Σ1..1uriThe namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.30.1.123.100.1.1.1
... value ΣC1..1stringThe 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..1PeriodTime period when id is/was valid for use
.... id 0..1stringUnique id for inter-element referencing
.... extension 0..*ExtensionAdditional content defined by implementations
Slice: Unordered, Open by value:url
.... start ΣC0..1dateTimeStarting time with inclusive boundary
.... end ΣC0..1dateTimeExpiration date of the insurance card
... assigner Σ0..1Reference(Organization)Organization that issued id (may be just text)

doco Documentation for this format

Terminology Bindings

PathConformanceValueSet
Identifier.userequiredIdentifierUse
Identifier.typeextensibleIdentifier Type Codes

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 Value: 1 element

 

Other representations of profile: CSV, Excel, Schematron