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/tree/main and changes regularly. See the Directory of published versions

Resource Profile: DDCC Revoke Health Certificate Parameters

Official URL: http://smart.who.int/ddcc/StructureDefinition/DDCCRevokeHealthCertificateParameters Version: 1.0.0
Draft as of 2025-03-10 Computable Name: DDCCRevokeHealthCertificateParameters

Parameters for the DDCC Revoke Health Certificate Operation.

Usage:

  • This Resource 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.

NameFlagsCard.TypeDescription & Constraintsdoco
.. Parameters 0..* Parameters Operation Request or Response
... implicitRules ?!Σ 0..1 uri A set of rules under which this content was created
ele-1: All FHIR elements must have a @value or children
... Slices for parameter ΣC 1..* BackboneElement Operation Parameter
Slice: Unordered, Closed by value:name
ele-1: All FHIR elements must have a @value or children
inv-1: A parameter must have one and only one of (value, resource, part)
.... parameter:All Slices Content/Rules for all slices
..... 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
..... name Σ 1..1 string Name from the definition
ele-1: All FHIR elements must have a @value or children
.... parameter:ddccId ΣC 1..1 BackboneElement Operation Parameter
ele-1: All FHIR elements must have a @value or children
inv-1: A parameter must have one and only one of (value, resource, part)
..... 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
..... name Σ 1..1 string Name from the definition
ele-1: All FHIR elements must have a @value or children
Required Pattern: id
..... value[x] ΣC 1..1 id If parameter is a data type
ele-1: All FHIR elements must have a @value or children

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()
inv-1errorParameters.parameter, Parameters.parameter:ddccIdA parameter must have one and only one of (value, resource, part)
: (part.exists() and value.empty() and resource.empty()) or (part.empty() and (value.exists() xor resource.exists()))

 

Other representations of profile: CSV, Excel, Schematron