WHO Digital Documentation of COVID-19 Certificates (DDCC)
1.0.0 - CI Build International flag

WHO Digital Documentation of COVID-19 Certificates (DDCC), published by WHO. This guide is not an authorized publication; it is the continuous build for version 1.0.0 built by the FHIR (HL7® FHIR® Standard) CI Build. This version is based on the current content of https://github.com/WorldHealthOrganization/ddcc/ and changes regularly. 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.0
Draft as of 2024-10-17 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
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... type 0..* string Credential Type
.... credentialSubject 0..1 BackboneElement Credential Subject
..... 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()
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
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... type 0..* string Credential Type
.... credentialSubject 0..1 BackboneElement Credential Subject
..... 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()

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