STU 3 Ballot

This page is part of the FHIR Specification (v1.6.0: STU 3 Ballot 4). The current version which supercedes this version is 5.0.0. For a full list of available versions, see the Directory of published versions . Page versions: R5 R4B R4 R3 R2

5.4.8 Resource StructureDefinition - Detailed Descriptions

Detailed Descriptions for the elements in the StructureDefinition resource.

StructureDefinition
Definition

A definition of a FHIR structure. This resource is used to describe the underlying resources, data types defined in FHIR, and also for describing extensions, and constraints on resources and data types.

Control1..1
Alternate NamesTemplate; Profile
InvariantsDefined on this element
sdf-1: Element paths must be unique unless the structure is a constraint (expression : derivation = 'constraint' or snapshot.element.select(path).distinct(), xpath: (f:derivation/@value = 'constraint') or (count(f:snapshot/f:element) = count(distinct-values(f:snapshot/f:element/f:path/@value))))
sdf-11: If there's a type, its content must match the path name in the first element of a snapshot (expression : snapshot.empty() or snapshot.element.first().path = type, xpath: not(exists(f:snapshot)) or (f:type/@value = f:snapshot/f:element[1]/f:path/@value))
sdf-12: element.base cannot appear if there is no base on the structure definition (expression : snapshot.exists() implies (snapshot.element.base.exists() = baseDefinition.exists()), xpath: f:baseDefinition or not(exists(f:snapshot/f:element/f:base) or exists(f:differential/f:element/f:base)))
sdf-14: All element definitions must have an id (expression : snapshot.element.all(id.exists()) and differential.element.all(id.exists()), xpath: count(*/f:element)=count(*/f:element/@id))
sdf-16: All element definitions must have unique ids (snapshot) (expression : snapshot.element.id.trace('ids').isDistinct(), xpath: count(*/f:element)=count(*/f:element/@id))
sdf-17: All element definitions must have unique ids (diff) (expression : differential.element.id.trace('ids').isDistinct(), xpath: count(*/f:element)=count(*/f:element/@id))
sdf-4: If the structure is not abstract, then there SHALL be a baseDefinition (expression : abstract = true or baseDefinition.exists(), xpath: (f:abstract/@value=true()) or exists(f:baseDefinition))
sdf-5: If the structure defines an extension then the structure must have context information (expression : type != 'Extension' or derivation = 'specialization' or (context.exists() and contextType.exists()), xpath: not(f:type/@value = 'extension') or (f:derivation/@value = 'specialization') or (exists(f:context) and exists(f:contextType)))
sdf-6: A structure must have either a differential, or a snapshot (or both) (expression : snapshot.exists() or differential.exists(), xpath: exists(f:snapshot) or exists(f:differential))
sdf-7: If the structure describes a base Resource or Type, the URL has to start with "http://hl7.org/fhir/StructureDefinition/" and the tail must match the id (expression : (derivation = 'constraint') or (url = 'http://hl7.org/fhir/StructureDefinition/'+id), xpath: (f:derivation/@value = 'constraint') or f:url/@value=concat('http://hl7.org/fhir/StructureDefinition/', f:id/@value))
sdf-9: In any snapshot or differential, no label, code or requirements on the an element without a "." in the path (e.g. the first element) (expression : children().element.first().label.empty() and children().element.first().code.empty() and children().element.first().requirements.empty(), xpath: not(exists(f:snapshot/f:element[not(contains(f:path/@value, '.')) and (f:label or f:code or f:requirements)])) and not(exists(f:differential/f:element[not(contains(f:path/@value, '.')) and (f:label or f:code or f:requirements)])))
StructureDefinition.url
Definition

An absolute URL that is used to identify this structure definition when it is referenced in a specification, model, design or an instance. This SHALL be a URL, SHOULD be globally unique, and SHOULD be an address at which this structure definition is (or will be) published.

Control1..1
Typeuri
Requirements

So you can say, in a StructureDefinition, what the full extension URLs should be. This is required to allow hosting StructureDefinitions on multiple different servers, and to allow for the editorial process.

Alternate Namesurl; authoritative-url; destination; identity
Summarytrue
gForge Tasks3265
StructureDefinition.identifier
Definition

Formal identifier that is used to identify this StructureDefinition when it is represented in other formats, or referenced in a specification, model, design or an instance (should be globally unique OID, UUID, or URI), (if it's not possible to use the literal URI).

NoteThis is a business identifer, not a resource identifier (see discussion)
Control0..*
TypeIdentifier
Summarytrue
StructureDefinition.version
Definition

The identifier that is used to identify this version of the StructureDefinition when it is referenced in a specification, model, design or instance. This is an arbitrary value managed by the StructureDefinition author manually.

NoteThis is a business versionId, not a resource version id (see discussion)
Control0..1
Typestring
Requirements

There may be multiple resource versions of the StructureDefinition that have this same identifier. The resource version id will change for technical reasons, whereas the stated version number needs to be under the author's control.

Summarytrue
StructureDefinition.name
Definition

A free text natural language name identifying the StructureDefinition.

Control1..1
Typestring
Summarytrue
Comments

Not expected to be globally unique.

StructureDefinition.display
Definition

Defined so that applications can use this name when displaying the value of the extension to the user.

Control0..1
Typestring
Summarytrue
Comments

Applications don't have to use this name, but can always fall back to it. In the absence of a value for this element, use the name.

StructureDefinition.status
Definition

The status of the StructureDefinition.

Control1..1
BindingConformanceResourceStatus: The lifecycle status of a Value Set or Concept Map. (Required)
Typecode
Is Modifiertrue
Requirements

Allows filtering of StructureDefinitions that are appropriate for use vs. not.

Summarytrue
StructureDefinition.experimental
Definition

This StructureDefinition was authored for testing purposes (or education/evaluation/marketing), and is not intended to be used for genuine usage.

Control0..1
Typeboolean
Requirements

Allows filtering of StructureDefinitions that are appropriate for use vs. not.

Summarytrue
StructureDefinition.publisher
Definition

The name of the individual or organization that published the structure definition.

Control0..1
Typestring
Requirements

Helps establish the "authority/credibility" of the structure definition. May also allow for contact.

Summarytrue
Comments

Usually an organization, but may be an individual. This item SHOULD be populated unless the information is available from context.

StructureDefinition.contact
Definition

Contacts to assist a user in finding and communicating with the publisher.

Control0..*
Summarytrue
Comments

May be a web site, an email address, a telephone number (tel:), etc.

StructureDefinition.contact.name
Definition

The name of an individual to contact regarding the structure definition.

Control0..1
Typestring
Summarytrue
Comments

If there is no named individual, the telecom is for the organization as a whole.

StructureDefinition.contact.telecom
Definition

Contact details for individual (if a name was provided) or the publisher.

Control0..*
TypeContactPoint
Summarytrue
StructureDefinition.date
Definition

The date this version of the structure definition was published. The date must change when the business version changes, if it does, and it must change if the status code changes. In addition, it should change when the substantive content of the structure definition changes.

Control0..1
TypedateTime
Summarytrue
Comments

Additional specific dates may be added as extensions.

StructureDefinition.description
Definition

A free text natural language description of the StructureDefinition and its use.

Control0..1
Typemarkdown
Summarytrue
Comments

This field can be used for things such as why the StructureDefinition was written, comments about misuse, instructions for clinical use and interpretation, literature references, examples from the paper world, etc. It is not a rendering of the StructureDefinition as conveyed in StructureDefinition.text. This item SHOULD be populated unless the information is available from context.

StructureDefinition.useContext
Definition

The content was developed with a focus and intent of supporting the contexts that are listed. These terms may be used to assist with indexing and searching of structure definitions.

Control0..*
BindingContext of Use ValueSet: Indicates the countries, regions, disciplines and other aspects of use within which this artifact is targeted for use. (Extensible)
TypeCodeableConcept
Requirements

Assist in searching for appropriate content.

Summarytrue
StructureDefinition.requirements
Definition

Explains why this structure definition is needed and why it's been constrained as it has.

Control0..1
Typemarkdown
Comments

This element does not describe the usage of the structure definition (that's done in comments), rather it's for traceability of why the element is either needed or why the constraints exist as they do. This may be used to point to source materials or specifications that drove the structure of this data element.

StructureDefinition.copyright
Definition

A copyright statement relating to the structure definition and/or its contents. Copyright statements are generally legal restrictions on the use and publishing of the details of the constraints and mappings.

Control0..1
Typestring
Alternate NamesLicense; Restrictions
StructureDefinition.code
Definition

A set of terms from external terminologies that may be used to assist with indexing and searching of templates.

Control0..*
BindingStructure Definition Codes: Codes for the meaning of the defined structure (SNOMED CT and LOINC codes, as an example). (Example)
TypeCoding
Requirements

Assist in searching for appropriate StructureDefinitions.

Summarytrue
StructureDefinition.fhirVersion
Definition

The version of the FHIR specification on which this StructureDefinition is based - this is the formal version of the specification, without the revision number, e.g. [publication].[major].[minor], which is 1.6.0 for this version.

Control0..1
Typeid
Summarytrue
Comments

A StructureDefinition does not need to specify the target it applies to,as StructureDefinitions will often be valid across multiple versions of FHIR. FHIR tooling can determine whether a StructureDefinition is consistent with a particular StructureDefinition if desired.

StructureDefinition.mapping
Definition

An external specification that the content is mapped to.

Control0..*
InvariantsDefined on this element
sdf-2: Must have at a name or a uri (or both) (expression : name.exists() or uri.exists(), xpath: exists(f:uri) or exists(f:name))
StructureDefinition.mapping.identity
Definition

An Internal id that is used to identify this mapping set when specific mappings are made.

Control1..1
Typeid
Comments

The specification is described once, with general comments, and then specific mappings are made that reference this declaration.

StructureDefinition.mapping.uri
Definition

An absolute URI that identifies the specification that this mapping is expressed to.

Control0..1
Typeuri
Comments

A formal identity for the specification being mapped to helps with identifying maps consistently.

InvariantsAffect this element
sdf-2: Must have at a name or a uri (or both) (expression : name.exists() or uri.exists(), xpath: exists(f:uri) or exists(f:name))
StructureDefinition.mapping.name
Definition

A name for the specification that is being mapped to.

Control0..1
Typestring
InvariantsAffect this element
sdf-2: Must have at a name or a uri (or both) (expression : name.exists() or uri.exists(), xpath: exists(f:uri) or exists(f:name))
StructureDefinition.mapping.comments
Definition

Comments about this mapping, including version notes, issues, scope limitations, and other important notes for usage.

Control0..1
Typestring
StructureDefinition.kind
Definition

Defines the kind of structure that this definition is describing.

Control1..1
BindingStructureDefinitionKind: Defines the type of structure that a definition is describing. (Required)
Typecode
Summarytrue
StructureDefinition.abstract
Definition

Whether structure this definition describes is abstract or not - that is, whether an actual exchanged item can ever be of this type.

Control1..1
Typeboolean
Summarytrue
Comments

Abstract Resources cannot be instantiated - a concrete sub-type must be used. Abstract datatypes and extensions cannot be used in an instance. Flagging a constraint structure as abstract conveys design intent but makes no difference to how the structure definition is handled. Note that inline declared elements that are given the type "Element" in the profile, but have children described, are anonymous concrete types that specialise Element. Abstract is not relevant for logical models.

StructureDefinition.contextType
Definition

If this is an extension, Identifies the context within FHIR resources where the extension can be used.

Control0..1
BindingExtensionContext: How an extension context is interpreted. (Required)
Typecode
Summarytrue
InvariantsAffect this element
sdf-5: If the structure defines an extension then the structure must have context information (expression : type != 'Extension' or derivation = 'specialization' or (context.exists() and contextType.exists()), xpath: not(f:type/@value = 'extension') or (f:derivation/@value = 'specialization') or (exists(f:context) and exists(f:contextType)))
StructureDefinition.context
Definition

Identifies the types of resource or data type elements to which the extension can be applied.

Control0..*
Typestring
Summarytrue
Comments

If the context is an element that can have multiple types, then use (e.g.) value[x] if the extension works on all choice types, or otherwise an enumeration of explicitly named elements if not. Note that a context of "string" doesn't mean that the extension can be used with one of the string patterns such as "id" etc.

InvariantsAffect this element
sdf-5: If the structure defines an extension then the structure must have context information (expression : type != 'Extension' or derivation = 'specialization' or (context.exists() and contextType.exists()), xpath: not(f:type/@value = 'extension') or (f:derivation/@value = 'specialization') or (exists(f:context) and exists(f:contextType)))
StructureDefinition.type
Definition

The type this structure is describes. If the derivation kind is 'specialization' then this is the master definition for a type, and there is always one of these (a data type, an extension, a resource, including abstract ones). Otherwise the structure definition is a constraint on the stated type (and in this case, the type cannot be an abstract type).

Control1..1
BindingFHIRDefinedType: Either a resource or a data type, including logical model types (Extensible)
Typecode
Summarytrue
Comments

Note that in the case of constraints, the type could be determined by chasing through the baseDefinition references until a concrete structure (derivation = specialization) is reached, or by looking at the path of the first element in the snapshot - if present - but providing the type directly makes for simpler tooling and indexing.

InvariantsAffect this element
sdf-4: If the structure is not abstract, then there SHALL be a baseDefinition (expression : abstract = true or baseDefinition.exists(), xpath: (f:abstract/@value=true()) or exists(f:baseDefinition))
sdf-11: If there's a type, its content must match the path name in the first element of a snapshot (expression : snapshot.empty() or snapshot.element.first().path = type, xpath: not(exists(f:snapshot)) or (f:type/@value = f:snapshot/f:element[1]/f:path/@value))
StructureDefinition.baseDefinition
Definition

An absolute URI that is the base structure from which this type is derived, either by specialization or constraint.

Control0..1
Typeuri
Summarytrue
Comments

If differential constraints are specified in this structure, they are applied to the base in a "differential" fashion. If there is no base, then the differential constraints cannot be provided (snapshot only). Differential structures are useful for the editing perspective, and snapshot structures are suitable for operational use. The FHIR Project provides a number of tools/services to populate snapshots from differential constraints. Logical Models have a base of "Element" or another logical model.

InvariantsAffect this element
sdf-4: If the structure is not abstract, then there SHALL be a baseDefinition (expression : abstract = true or baseDefinition.exists(), xpath: (f:abstract/@value=true()) or exists(f:baseDefinition))
StructureDefinition.derivation
Definition

How the type relates to the baseDefinition.

Control0..1
BindingTypeDerivationRule: How a type relates to it's baseDefinition. (Required)
Typecode
Summarytrue
Comments

If the definition is a specialization, then it adds new elements in the differential, and the snapshot includes the inherited elements.

If the definition is a constraint, then it can not define new elements, it can only make new rules about existing content (see Profiling Resources).

InvariantsAffect this element
sdf-12: element.base cannot appear if there is no base on the structure definition (expression : snapshot.exists() implies (snapshot.element.base.exists() = baseDefinition.exists()), xpath: f:baseDefinition or not(exists(f:snapshot/f:element/f:base) or exists(f:differential/f:element/f:base)))
StructureDefinition.snapshot
Definition

A snapshot view is expressed in a stand alone form that can be used and interpreted without considering the base StructureDefinition.

Control0..1
InvariantsDefined on this element
sdf-15: The first element in a snapshot has no type (expression : element.first().type.empty(), xpath: not(f:element[1]/f:type))
sdf-3: Each element definition in a snapshot must have a formal definition and cardinalities (expression : element.all(definition and min and max), xpath: count(f:element) = count(f:element[exists(f:definition) and exists(f:min) and exists(f:max)]))
sdf-8: In any snapshot, all the elements must be in the specified type (expression : element.first().path = %resource.type and element.tail().all(path.startsWith(%resource.type&'.')), xpath: f:element[1]/f:path/@value=parent::f:StructureDefinition/f:type/@value and count(f:element[position()!=1])=count(f:element[position()!=1][starts-with(f:path/@value, concat(ancestor::f:StructureDefinition/f:type/@value, '.'))]))
Affect this element
sdf-6: A structure must have either a differential, or a snapshot (or both) (expression : snapshot.exists() or differential.exists(), xpath: exists(f:snapshot) or exists(f:differential))
StructureDefinition.snapshot.element
Definition

Captures constraints on each element within the resource.

Control1..*
TypeElementDefinition
InvariantsAffect this element
sdf-3: Each element definition in a snapshot must have a formal definition and cardinalities (expression : element.all(definition and min and max), xpath: count(f:element) = count(f:element[exists(f:definition) and exists(f:min) and exists(f:max)]))
StructureDefinition.differential
Definition

A differential view is expressed relative to the base StructureDefinition - a statement of differences that it applies.

Control0..1
InvariantsDefined on this element
sdf-15a: If the first element in a differential has no "." in the path, it has no type (expression : element.first().path.contains('.').not() implies element.first().type.empty(), xpath: not(f:element[1][not(contains(f:path/@value, '.'))]/f:type))
sdf-8a: In any differential, all the elements must be in the specified type (expression : element.first().path.startsWith(%resource.type) and element.tail().all(path.startsWith(%resource.type&'.')), xpath: count(f:element)=count(f:element[f:path/@value=ancestor::f:StructureDefinition/f:type/@value or starts-with(f:path/@value, concat(ancestor::f:StructureDefinition/f:type/@value, '.'))]))
Affect this element
sdf-6: A structure must have either a differential, or a snapshot (or both) (expression : snapshot.exists() or differential.exists(), xpath: exists(f:snapshot) or exists(f:differential))
StructureDefinition.differential.element
Definition

Captures constraints on each element within the resource.

Control1..*
TypeElementDefinition