WHO Digital Documentation of COVID-19 Certificates (DDCC)
1.0.1 - release International flag

This page is part of the WHO Digital Documentation of COVID-19 Certificates (DDCC) (v1.0.1: releases Draft) 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

Logical Model: Certificate - Smart Health Card's JSon Web Token Logical Model ( Abstract )

Official URL: http://smart.who.int/ddcc/StructureDefinition/CertSHC Version: 1.0.1
Draft as of 2024-12-18 Computable Name: CertSHC

Data elements for the Smart Health Cards Core Data Set.

Usage:

  • This Logical Model Profile is not used by any profiles in this Implementation Guide

Formal Views of Profile Content

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

This structure is derived from Base

NameFlagsCard.TypeDescription & Constraintsdoco
.. CertSHC 0..* Base This is an abstracttype.
Certificate - Smart Health Card's JSon Web Token Logical Model
Instances of this logical model are not marked to be the target of a Reference
... iss 0..1 string Issuer
... sub 0..1 string Subject
... aud 0..1 string Audience
... nbf 0..1 decimal Not before Date
... iat 0..1 decimal Issued at Date
... jti 0..1 string Credential's Unique Identifier
... vc 0..1 BackboneElement VC - verifiable credential
.... type 0..* string Credential Type
.... credentialSubject 0..1 BackboneElement Credential Subject
..... fhirVersion 0..1 string Fhir Version
..... fhirBundle 0..1 Bundle Fhir Bundle with the signed objects

doco Documentation for this format
NameFlagsCard.TypeDescription & Constraintsdoco
.. CertSHC 0..* Base This is an abstracttype.
Certificate - Smart Health Card's JSon Web Token Logical Model
Instances of this logical model are not marked to be the target of a Reference
... iss 0..1 string Issuer
... sub 0..1 string Subject
... aud 0..1 string Audience
... nbf 0..1 decimal Not before Date
... iat 0..1 decimal Issued at Date
... jti 0..1 string Credential's Unique Identifier
... vc 0..1 BackboneElement VC - verifiable credential
ele-1: All FHIR elements must have a @value or children
.... @id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
ele-1: All FHIR elements must have a @value or children
ext-1: Must have either extensions or value[x], not both
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
ele-1: All FHIR elements must have a @value or children
ext-1: Must have either extensions or value[x], not both
.... type 0..* string Credential Type
.... credentialSubject 0..1 BackboneElement Credential Subject
ele-1: All FHIR elements must have a @value or children
..... @id 0..1 string Unique id for inter-element referencing
..... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
ele-1: All FHIR elements must have a @value or children
ext-1: Must have either extensions or value[x], not both
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
ele-1: All FHIR elements must have a @value or children
ext-1: Must have either extensions or value[x], not both
..... fhirVersion 0..1 string Fhir Version
..... fhirBundle 0..1 Bundle Fhir Bundle with the signed objects

doco Documentation for this format

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()
NameFlagsCard.TypeDescription & Constraintsdoco
.. CertSHC 0..* Base This is an abstracttype.
Certificate - Smart Health Card's JSon Web Token Logical Model
Instances of this logical model are not marked to be the target of a Reference
... iss 0..1 string Issuer
... sub 0..1 string Subject
... aud 0..1 string Audience
... nbf 0..1 decimal Not before Date
... iat 0..1 decimal Issued at Date
... jti 0..1 string Credential's Unique Identifier
... vc 0..1 BackboneElement VC - verifiable credential
.... @id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... type 0..* string Credential Type
.... credentialSubject 0..1 BackboneElement Credential Subject
..... @id 0..1 string Unique id for inter-element referencing
..... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... fhirVersion 0..1 string Fhir Version
..... fhirBundle 0..1 Bundle Fhir Bundle with the signed objects

doco Documentation for this format

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()

This structure is derived from Base

Summary

Differential View

This structure is derived from Base

NameFlagsCard.TypeDescription & Constraintsdoco
.. CertSHC 0..* Base This is an abstracttype.
Certificate - Smart Health Card's JSon Web Token Logical Model
Instances of this logical model are not marked to be the target of a Reference
... iss 0..1 string Issuer
... sub 0..1 string Subject
... aud 0..1 string Audience
... nbf 0..1 decimal Not before Date
... iat 0..1 decimal Issued at Date
... jti 0..1 string Credential's Unique Identifier
... vc 0..1 BackboneElement VC - verifiable credential
.... type 0..* string Credential Type
.... credentialSubject 0..1 BackboneElement Credential Subject
..... fhirVersion 0..1 string Fhir Version
..... fhirBundle 0..1 Bundle Fhir Bundle with the signed objects

doco Documentation for this format

Key Elements View

NameFlagsCard.TypeDescription & Constraintsdoco
.. CertSHC 0..* Base This is an abstracttype.
Certificate - Smart Health Card's JSon Web Token Logical Model
Instances of this logical model are not marked to be the target of a Reference
... iss 0..1 string Issuer
... sub 0..1 string Subject
... aud 0..1 string Audience
... nbf 0..1 decimal Not before Date
... iat 0..1 decimal Issued at Date
... jti 0..1 string Credential's Unique Identifier
... vc 0..1 BackboneElement VC - verifiable credential
ele-1: All FHIR elements must have a @value or children
.... @id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
ele-1: All FHIR elements must have a @value or children
ext-1: Must have either extensions or value[x], not both
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
ele-1: All FHIR elements must have a @value or children
ext-1: Must have either extensions or value[x], not both
.... type 0..* string Credential Type
.... credentialSubject 0..1 BackboneElement Credential Subject
ele-1: All FHIR elements must have a @value or children
..... @id 0..1 string Unique id for inter-element referencing
..... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
ele-1: All FHIR elements must have a @value or children
ext-1: Must have either extensions or value[x], not both
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
ele-1: All FHIR elements must have a @value or children
ext-1: Must have either extensions or value[x], not both
..... fhirVersion 0..1 string Fhir Version
..... fhirBundle 0..1 Bundle Fhir Bundle with the signed objects

doco Documentation for this format

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()

Snapshot View

NameFlagsCard.TypeDescription & Constraintsdoco
.. CertSHC 0..* Base This is an abstracttype.
Certificate - Smart Health Card's JSon Web Token Logical Model
Instances of this logical model are not marked to be the target of a Reference
... iss 0..1 string Issuer
... sub 0..1 string Subject
... aud 0..1 string Audience
... nbf 0..1 decimal Not before Date
... iat 0..1 decimal Issued at Date
... jti 0..1 string Credential's Unique Identifier
... vc 0..1 BackboneElement VC - verifiable credential
.... @id 0..1 string Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... type 0..* string Credential Type
.... credentialSubject 0..1 BackboneElement Credential Subject
..... @id 0..1 string Unique id for inter-element referencing
..... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... fhirVersion 0..1 string Fhir Version
..... fhirBundle 0..1 Bundle Fhir Bundle with the signed objects

doco Documentation for this format

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()

This structure is derived from Base

Summary

 

Other representations of profile: CSV, Excel