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

This is the continuous build for version 1.0.0. This version is based on the current content of https://github.com/WorldHealthOrganization/ddcc and changes regularly.

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-01-19 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..*BaseThis is an abstract type.
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..1stringIssuer
... sub 0..1stringSubject
... aud 0..1stringAudience
... nbf 0..1decimalNot before Date
... iat 0..1decimalIssued at Date
... jti 0..1stringCredential's Unique Identifier
... vc 0..1BackboneElementVC - verifiable credential
.... type 0..*stringCredential Type
.... credentialSubject 0..1BackboneElementCredential Subject
..... fhirVersion 0..1stringFhir Version
..... fhirBundle 0..1BundleFhir Bundle with the signed objects

doco Documentation for this format
NameFlagsCard.TypeDescription & Constraintsdoco
.. CertSHC 0..*BaseThis is an abstract type.
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..1stringIssuer
... sub 0..1stringSubject
... aud 0..1stringAudience
... nbf 0..1decimalNot before Date
... iat 0..1decimalIssued at Date
... jti 0..1stringCredential's Unique Identifier
... vc 0..1BackboneElementVC - verifiable credential
.... modifierExtension ?!Σ0..*ExtensionExtensions that cannot be ignored even if unrecognized
.... type 0..*stringCredential Type
.... credentialSubject 0..1BackboneElementCredential Subject
..... modifierExtension ?!Σ0..*ExtensionExtensions that cannot be ignored even if unrecognized
..... fhirVersion 0..1stringFhir Version
..... fhirBundle 0..1BundleFhir 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..*BaseThis is an abstract type.
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..1stringIssuer
... sub 0..1stringSubject
... aud 0..1stringAudience
... nbf 0..1decimalNot before Date
... iat 0..1decimalIssued at Date
... jti 0..1stringCredential's Unique Identifier
... vc 0..1BackboneElementVC - verifiable credential
.... @id 0..1stringUnique id for inter-element referencing
.... extension 0..*ExtensionAdditional content defined by implementations
Slice: Unordered, Open by value:url
.... modifierExtension ?!Σ0..*ExtensionExtensions that cannot be ignored even if unrecognized
.... type 0..*stringCredential Type
.... credentialSubject 0..1BackboneElementCredential Subject
..... @id 0..1stringUnique id for inter-element referencing
..... extension 0..*ExtensionAdditional content defined by implementations
Slice: Unordered, Open by value:url
..... modifierExtension ?!Σ0..*ExtensionExtensions that cannot be ignored even if unrecognized
..... fhirVersion 0..1stringFhir Version
..... fhirBundle 0..1BundleFhir 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..*BaseThis is an abstract type.
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..1stringIssuer
... sub 0..1stringSubject
... aud 0..1stringAudience
... nbf 0..1decimalNot before Date
... iat 0..1decimalIssued at Date
... jti 0..1stringCredential's Unique Identifier
... vc 0..1BackboneElementVC - verifiable credential
.... type 0..*stringCredential Type
.... credentialSubject 0..1BackboneElementCredential Subject
..... fhirVersion 0..1stringFhir Version
..... fhirBundle 0..1BundleFhir Bundle with the signed objects

doco Documentation for this format

Key Elements View

NameFlagsCard.TypeDescription & Constraintsdoco
.. CertSHC 0..*BaseThis is an abstract type.
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..1stringIssuer
... sub 0..1stringSubject
... aud 0..1stringAudience
... nbf 0..1decimalNot before Date
... iat 0..1decimalIssued at Date
... jti 0..1stringCredential's Unique Identifier
... vc 0..1BackboneElementVC - verifiable credential
.... modifierExtension ?!Σ0..*ExtensionExtensions that cannot be ignored even if unrecognized
.... type 0..*stringCredential Type
.... credentialSubject 0..1BackboneElementCredential Subject
..... modifierExtension ?!Σ0..*ExtensionExtensions that cannot be ignored even if unrecognized
..... fhirVersion 0..1stringFhir Version
..... fhirBundle 0..1BundleFhir 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..*BaseThis is an abstract type.
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..1stringIssuer
... sub 0..1stringSubject
... aud 0..1stringAudience
... nbf 0..1decimalNot before Date
... iat 0..1decimalIssued at Date
... jti 0..1stringCredential's Unique Identifier
... vc 0..1BackboneElementVC - verifiable credential
.... @id 0..1stringUnique id for inter-element referencing
.... extension 0..*ExtensionAdditional content defined by implementations
Slice: Unordered, Open by value:url
.... modifierExtension ?!Σ0..*ExtensionExtensions that cannot be ignored even if unrecognized
.... type 0..*stringCredential Type
.... credentialSubject 0..1BackboneElementCredential Subject
..... @id 0..1stringUnique id for inter-element referencing
..... extension 0..*ExtensionAdditional content defined by implementations
Slice: Unordered, Open by value:url
..... modifierExtension ?!Σ0..*ExtensionExtensions that cannot be ignored even if unrecognized
..... fhirVersion 0..1stringFhir Version
..... fhirBundle 0..1BundleFhir 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