FHIR Release 3 (STU) Current Build
This page is part of FHIR STU 3 (v3.0.1) in it's permanent home (it will always be available at this URL). It has been superceded by R4 . For a full list of available versions, see the Directory of published versions .
FHIR Infrastructure Work Group Maturity Level : 5 N   Trial Use Normative (from v4.1.0) Security Category : Anonymous Compartments : Not linked to any defined compartments
This page has been approved as part of an ANSI standard. See the Conformance Package for further details.

Detailed Descriptions for the elements in the StructureDefinition resource.

Affect this element Invariants Affect 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
Element Id 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.

Control Cardinality 1..1 0..*
Type DomainResource
Alternate Names Template; Profile
Invariants : 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))) : snapshot.exists() or differential.exists(), xpath: exists(f:snapshot) or exists(f:differential))
Defined on this element
sdf-0 Warning Name should be usable as an identifier for the module by machine processing applications such as code generation name.matches('[A-Z]([A-Za-z0-9_]){0,254}')
sdf-1 : Rule Element paths must be unique unless the structure is a constraint ( expression : derivation = 'constraint' or snapshot.element.select(path).isDistinct(), xpath: (f:derivation/@value snapshot.element.select(path).isDistinct()
sdf-15a Rule If the first element in a differential has no "." in the path and it's not a logical model, it has no type (kind!='logical' and differential.element.first().path.contains('.').not()) implies differential.element.first().type.empty()
sdf-4 Rule If the structure is not abstract, then there SHALL be a baseDefinition abstract = 'constraint') true or (count(f:snapshot/f:element) baseDefinition.exists()
sdf-5 Rule If the structure defines an extension then the structure must have context information type != 'Extension' or derivation = count(distinct-values(f:snapshot/f:element/f:path/@value)))) 'specialization' or (context.exists())
sdf-6 Rule A structure must have either a differential, or a snapshot (or both) snapshot.exists() or differential.exists()
sdf-9 Rule In any snapshot or differential, no label, code or requirements on an element without a "." in the path (e.g. the first element) children().element.where(path.contains('.').not()).label.empty() and children().element.where(path.contains('.').not()).code.empty() and children().element.where(path.contains('.').not()).requirements.empty()
sdf-11 : Rule If there's a type, its content must match the path name in the first element of a snapshot ( expression : kind != 'logical' implies 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)) type sdf-12 : element.base cannot appear if there is no base on the structure definition ( expression
sdf-14 : Rule 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)) differential.element.all(id.exists())
sdf-15 Rule The first element in a snapshot has no type unless model is a logical model. kind!='logical' implies snapshot.element.first().type.empty()
sdf-16 : Rule All element definitions must have unique ids (snapshot) ( expression : snapshot.element.id.trace('ids').isDistinct(), xpath: count(*/f:element)=count(*/f:element/@id)) snapshot.element.all(id.exists()) and snapshot.element.id.trace('ids').isDistinct()
sdf-17 : Rule All element definitions must have unique ids (diff) ( expression : differential.element.id.trace('ids').isDistinct(), xpath: count(*/f:element)=count(*/f:element/@id)) differential.element.all(id.exists()) and differential.element.id.trace('ids').isDistinct()
sdf-18 : Rule Context Invariants can only be used for extensions ( expression : contextInvariant.exists() implies type = 'Extension', xpath: not(exists(f:contextInvariant)) or (f:type/@value = 'Extension')) 'Extension'
sdf-19 : Custom types can only be used in logical Rule FHIR Specification models ( expression only use FHIR defined types : kind = 'logical' or url.startsWith('http://hl7.org/fhir/StructureDefinition') implies (differential.element.type.code.all(hasValue() implies matches('^[a-zA-Z0-9]+$')) and snapshot.element.type.code.all(hasValue() implies matches('^[a-zA-Z0-9]+$'))), xpath: f:kind/@value = 'logical' or count(f:differential/f:element/f:type/f:code[@value and not(matches(string(@value), '^[a-zA-Z0-9]+$'))]|f:snapshot/f:element/f:type/f:code[@value and not(matches(string(@value), '^[a-zA-Z0-9]+$'))]) =0) matches('^[a-zA-Z0-9]+$')))
sdf-4 : If the structure is not abstract, then there SHALL sdf-21 Rule Default values can only be a baseDefinition ( expression specified on specializations : abstract differential.element.defaultValue.exists() implies (derivation = true or baseDefinition.exists(), xpath: (f:abstract/@value=true()) or exists(f:baseDefinition)) 'specialization')
sdf-5 : If the structure defines an extension then the structure must sdf-22 Rule FHIR Specification models never have context information ( expression default values : 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) url.startsWith('http://hl7.org/fhir/StructureDefinition') implies (snapshot.element.defaultValue.empty() and exists(f:contextType))) differential.element.defaultValue.empty()) sdf-6 : A structure must have either a differential, or a snapshot (or both) ( expression
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 sdf-23 : (derivation = 'constraint') or (kind = 'logical') or (url = 'http://hl7.org/fhir/StructureDefinition/'+id), xpath: (f:derivation/@value = 'constraint') or (f:kind/@value = 'logical') 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 Rule No slice name on the an element without a "." in the path (e.g. the first element) ( expression root : 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)]))) (snapshot | differential).element.all(path.contains('.').not() implies sliceName.empty())
StructureDefinition.url
Element Id StructureDefinition.url
Definition

An absolute URI that is used to identify this structure definition when it is referenced in a specification, model, design or an instance. instance; also called its canonical identifier. This SHALL be a URL, SHOULD be globally unique, unique and SHOULD be an a literal address at which at which an authoritative instance of this structure definition is (or will be) published. The This URL SHOULD include can be the major version target of a canonical reference. It SHALL remain the same when the structure definition. For more information see Technical and Business Versions . definition is stored on different servers.

Control Cardinality 1..1
Type uri
Requirements

Allows the structure definition to be referenced by a single globally unique identifier.

Alternate Names url; authoritative-url; destination; identity
Summary true
Comments

Can be a urn:uuid: or a urn:oid:, urn:oid: but real http: addresses are preferred. Multiple instances may share the same url URL if they have a distinct version.

The determination of when to create a new version of a resource (same url, new version) vs. defining a new artifact is up to the author. Considerations for making this decision are found in Technical and Business Versions .

In some cases, the resource can no longer be found at the stated url, but the url itself cannot change. Implementations can use the meta.source element to indicate where the current master source of the resource can be found.

StructureDefinition.identifier
Element Id StructureDefinition.identifier
Definition

A formal identifier that is used to identify this structure definition when it is represented in other formats, or referenced in a specification, model, design or an instance.

Note This is a business identifer, identifier, not a resource identifier (see discussion )
Control Cardinality 0..*
Type Identifier
Requirements

Allows externally provided and/or usable business identifiers to be easily associated with the module.

Summary true
Comments

Typically, this is used for identifiers that can go in an HL7 V3 II (instance identifier) data type, e.g., to and can then identify this structure definition outside of FHIR, where it is not possible to use the logical URI.

StructureDefinition.version
Element Id StructureDefinition.version
Definition

The identifier that is used to identify this version of the structure definition when it is referenced in a specification, model, design or instance. This is an arbitrary value managed by the structure definition author and is not expected to be globally unique. For example, it might be a timestamp (e.g. yyyymmdd) if a managed version is not available. There is also no expectation that versions can be placed in a lexicographical sequence.

Note This is a business versionId, not a resource version id (see discussion )
Control Cardinality 0..1
Type string
Summary true
Comments

There may be different structure definition instances that have the same identifier but different versions. The version can be appended to the url in a reference to allow a refrence reference to a particular business version of the structure definition with the format [url]|[version].

StructureDefinition.name
Element Id StructureDefinition.name
Definition

A natural language name identifying the structure definition. This name should be usable as an identifier for the module by machine processing applications such as code generation.

Control Cardinality 1..1
Type string
Requirements

Support human navigation and code generation.

Summary true
Comments

The name is not expected to be globally unique. The name should be a simple alpha-numeric alphanumeric type name to ensure that it is computable friendly. machine-processing friendly.Some Examples:

  • O2SatObservation
  • PresentationReport
  • Immunization2
  • AcmeAdmissionRecordOld.
Invariants
Affect this element
inv-0 Warning Name should be usable as an identifier for the module by machine processing applications such as code generation name.matches('[A-Z]([A-Za-z0-9_]){0,254}')
StructureDefinition.title
Element Id StructureDefinition.title
Definition

A short, descriptive, user-friendly title for the structure definition.

Control Cardinality 0..1
Type string
Summary true
Comments

This name does not need to be machine-processing friendly and may contain punctuation, white-space, etc. Applications etc.Applications don't have to use this name, name but can always fall back to it. The title also corresponds to the label for the root element.

StructureDefinition.status
Element Id StructureDefinition.status
Definition

The status of this structure definition. Enables tracking the life-cycle of the content.

Control Cardinality 1..1
Terminology Binding PublicationStatus ( Required )
Type code
Is Modifier true (Reason: This is labeled as "Is Modifier" because applications should not use a retired {{title}} without due consideration)
Summary true
Comments

Allows filtering of structure definitions that are appropriate for use vs. versus not. This is labeled as "Is Modifier" because applications should not use a retired structure definition without due consideration.

StructureDefinition.experimental
Element Id StructureDefinition.experimental
Definition

A boolean Boolean value to indicate that this structure definition is authored for testing purposes (or education/evaluation/marketing), education/evaluation/marketing) and is not intended to be used for genuine usage.

Control Cardinality 0..1
Type boolean
Is Modifier true Requirements

Enables experimental content to be developed following the same lifecycle that would be used for a production-level structure definition.

Summary true
Comments

Allows filtering of structure definition definitions that are appropriate for use vs. versus not. This is labeled as "Is Modifier" because applications should not use an experimental structure definition in production.

StructureDefinition.date
Element Id StructureDefinition.date
Definition

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

Control Cardinality 0..1
Type dateTime
Alternate Names Revision Date
Summary true
Comments

Note that this is not the same as the resource last-modified-date, since the resource may be a secondary representation of the structure definition. Additional specific dates may be added as extensions or be found by consulting Provenances associated with past versions of the resource.

StructureDefinition.publisher
Element Id StructureDefinition.publisher
Definition

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

Control Cardinality 0..1
Type string
Requirements

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

Summary true
Comments

Usually an organization, organization but may be an individual. The publisher (or steward) of the structure definition is the organization or individual primarily responsible for the maintenance and upkeep of the structure definition. This is not necessarily the same individual or organization that developed and initially authored the content. The publisher is the primary point of contact for questions or issues with the structure definition. This item SHOULD be populated unless the information is available from context.

StructureDefinition.contact
Element Id StructureDefinition.contact
Definition

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

Control Cardinality 0..*
Type ContactDetail
Summary true
Comments

May be a web site, an email address, a telephone number, etc.

StructureDefinition.description
Element Id StructureDefinition.description
Definition

A free text natural language description of the structure definition from a consumer's perspective.

Control Cardinality 0..1
Type markdown
Comments

This description can be used to capture details such as why the structure definition was built, comments about misuse, instructions for clinical use and interpretation, literature references, examples from the paper world, etc. It is not a rendering of the structure definition as conveyed in the 'text' field of the resource itself. This item SHOULD be populated unless the information is available from context (e.g. the language of the profile structure definition is presumed to be the predominant language in the place the profile structure definition was created).

StructureDefinition.useContext
Element Id StructureDefinition.useContext
Definition

The content was developed with a focus and intent of supporting the contexts that are listed. These terms contexts may be general categories (gender, age, ...) or may be references to specific programs (insurance plans, studies, ...) and may be used to assist with indexing and searching for appropriate structure definition instances.

Control Cardinality 0..*
Type UsageContext
Requirements

Assist in searching for appropriate content.

Summary true
Comments

When multiple useContexts are specified, there is no expectation whether that all or any of the contexts apply.

StructureDefinition.jurisdiction
Element Id StructureDefinition.jurisdiction
Definition

A legal or geographic region in which the structure definition is intended to be used.

Control Cardinality 0..*
Terminology Binding Jurisdiction ValueSet ( Extensible )
Type CodeableConcept
Summary true
Comments

It may be possible for the structure definition to be used in jurisdictions other than those for which it was originally designed or intended.

StructureDefinition.purpose
Element Id StructureDefinition.purpose
Definition

Explaination Explanation of why this structure definition is needed and why it has been designed as it has.

Control Cardinality 0..1
Type markdown
Comments

This element does not describe the usage of the structure definition Instead definition. Instead, it provides traceability of ''why'' the resource is either needed or ''why'' it is defined as it is. This may be used to point to source materials or specifications that drove the structure of this structure definition.

StructureDefinition.copyright
Element Id 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 structure definition.

Control Cardinality 0..1
Type markdown
Requirements

Consumers must be able to determine any legal restrictions on the use of the structure definition and/or its content.

Alternate Names License; Restrictions
StructureDefinition.keyword
Element Id StructureDefinition.keyword
Definition

A set of key words or terms from external terminologies that may be used to assist with indexing and searching of templates. templates nby describing the use of this structure definition, or the content it describes.

Control Cardinality 0..*
Terminology Binding Structure Definition Use Codes / Keywords ( Example Extensible )
Type Coding
Requirements

Assist in searching for appropriate StructureDefinitions.

Summary true
StructureDefinition.fhirVersion
Element Id 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 3.0.1 4.1.0. for this version.

Control Cardinality 0..1
Terminology Binding FHIRVersion ( Required )
Type id code
Summary true
Comments

A StructureDefinition does not need to specify the target it applies to,as 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
Element Id StructureDefinition.mapping
Definition

An external specification that the content is mapped to.

Control Cardinality 0..*
Invariants
Defined on this element
sdf-2 : Rule Must have at least a name or a uri (or both) ( expression : name.exists() or uri.exists(), xpath: exists(f:uri) or exists(f:name)) uri.exists()
StructureDefinition.mapping.identity
Element Id StructureDefinition.mapping.identity
Definition

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

Control Cardinality 1..1
Type id
Comments

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

StructureDefinition.mapping.uri
Element Id StructureDefinition.mapping.uri
Definition

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

Control Cardinality 0..1
Type uri
Comments

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

Invariants
Affect this element
sdf-2 : Rule Must have at least a name or a uri (or both) ( expression : name.exists() or uri.exists(), xpath: exists(f:uri) or exists(f:name)) uri.exists()
StructureDefinition.mapping.name
Element Id StructureDefinition.mapping.name
Definition

A name for the specification that is being mapped to.

Control Cardinality 0..1
Type string
Invariants
Affect this element
sdf-2 : Rule Must have at least a name or a uri (or both) ( expression : name.exists() or uri.exists(), xpath: exists(f:uri) or exists(f:name)) uri.exists()
StructureDefinition.mapping.comment
Element Id StructureDefinition.mapping.comment
Definition

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

Control Cardinality 0..1
Type string
StructureDefinition.kind
Element Id StructureDefinition.kind
Definition

Defines the kind of structure that this definition is describing.

Control Cardinality 1..1
Terminology Binding StructureDefinitionKind ( Required )
Type code
Summary true
StructureDefinition.abstract
Element Id StructureDefinition.abstract
Definition

Whether structure this definition describes is abstract or not - that is, whether the structure is not intended to be instantiated. For Resources and Data types, abstract types will never be exchanged between systems.

Control Cardinality 1..1
Type boolean
Summary true
Comments

Abstract Resources cannot be instantiated - a concrete sub-type must be used. Abstract datatypes and extensions cannot be used in an instance. For logical models, the exact implication of "abstract" will rest with the author, depending how the logical model is used. 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, StructureDefinition, but have children described, are anonymous concrete types that specialise specialize Element.

StructureDefinition.contextType StructureDefinition.context
Element Id StructureDefinition.context
Definition

If this is an extension, Identifies the context within FHIR resources where types of resource or data type elements to which the extension can be used. applied.

Control 0..1 Terminology Binding ExtensionContext ( Required ) Type Cardinality code 0..*
Summary true
Invariants
Affect this element
sdf-5 : Rule 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))) (context.exists())
StructureDefinition.context StructureDefinition.context.type
Element Id StructureDefinition.context.type
Definition

Identifies Defines how to interpret the types expression that defines what the context of resource or data type elements to which the extension can be applied. is.

Control Cardinality 0..* 1..1
Terminology Binding ExtensionContextType ( Required )
Type string code
Summary true
StructureDefinition.context.expression
Comments Element Id StructureDefinition.context.expression
Definition

If the context is an element An expression that can have multiple types, then use (e.g.) value[x] if the extension works on all choice types, or otherwise defines where 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. in resources.

Invariants Cardinality 1..1
sdf-5 : If the structure defines an extension then the structure must have context information ( expression Type string : 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)))
Summary true
StructureDefinition.contextInvariant
Element Id StructureDefinition.contextInvariant
Definition

A set of rules as Fluent FHIRPath Invariants about when the extension can be used (e.g. co-occurrence variants for the extension). All the rules must be true.

Control Cardinality 0..*
Type string
Summary true
Comments

All the The rules must be true. are only evaluated when the extension is present. When evaluating the invariant, the fluentpath FHIRPath focus is the element that holds the extension, and %extension refers to the extension itself.

Invariants
Affect this element
sdf-18 : Rule Context Invariants can only be used for extensions ( expression : contextInvariant.exists() implies type = 'Extension', xpath: not(exists(f:contextInvariant)) or (f:type/@value = 'Extension')) 'Extension'
StructureDefinition.type
Element Id StructureDefinition.type
Definition

The type this structure 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). References are URLs that are relative to http://hl7.org/fhir/StructureDefinition e.g. "string" is a reference to http://hl7.org/fhir/StructureDefinition/string. Absolute URLs are only allowed in logical models.

Control Cardinality 1..1
Terminology Binding FHIRDefinedType ( Extensible )
Type code uri
Summary true
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.

The type must match the elements defined in the differential and the snapshot. For all FHIR defined types, the path name of the element will start with the type name. For logical models, where the type is a URL, the type name SHOULD start with the tail of the type URL where required.

Invariants : abstract = true or baseDefinition.exists(), xpath: (f:abstract/@value=true()) or exists(f:baseDefinition))
Affect this element sdf-4 : If the structure is not abstract, then there SHALL be a baseDefinition ( expression
sdf-11 : Rule If there's a type, its content must match the path name in the first element of a snapshot ( expression : kind != 'logical' implies 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)) type
StructureDefinition.baseDefinition
Element Id StructureDefinition.baseDefinition
Definition

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

Control Cardinality 0..1
Type uri canonical ( StructureDefinition )
Hierarchy This reference is part of a strict Hierarchy
Summary true
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.

Invariants
Affect this element
sdf-4 : Rule 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)) baseDefinition.exists()
StructureDefinition.derivation
Element Id StructureDefinition.derivation
Definition

How the type relates to the baseDefinition.

Control Cardinality 0..1
Terminology Binding TypeDerivationRule ( Required )
Type code
Summary true
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 cannot define new elements, it can only make new rules about existing content (see Profiling Resources ).

StructureDefinition.snapshot
Element Id StructureDefinition.snapshot
Definition

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

Control Cardinality 0..1
Invariants : element.first().type.empty(), xpath: not(f:element[1]/f:type))
Defined on this element sdf-15 : The first element in a snapshot has no type ( expression
sdf-3 : Rule 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) element.all(definition.exists() and exists(f:min) min.exists() and exists(f:max)])) max.exists())
sdf-8 : In any snapshot, all the Rule All snapshot elements must be in start with the StructureDefinition's specified type ( expression for non-logical models, or with the same type name for logical models : (%resource.kind = 'logical' or 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 %resource.type) and count(f:element[position()!=1])=count(f:element[position()!=1][starts-with(f:path/@value, concat(ancestor::f:StructureDefinition/f:type/@value, '.'))])) element.tail().all(path.startsWith(%resource.snapshot.element.first().path&'.'))
sdf-8b Rule All snapshot elements must have a base definition element.all(base.exists())
Affect this element
sdf-6 : Rule 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)) differential.exists()
StructureDefinition.snapshot.element
Element Id StructureDefinition.snapshot.element
Definition

Captures constraints on each element within the resource.

Control Cardinality 1..*
Type ElementDefinition
Invariants
Defined on this element
sdf-10 Rule provide either a binding reference or a description (or both) binding.empty() or binding.valueSet.exists() or binding.description.exists()
Affect this element
sdf-3 : Rule 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) element.all(definition.exists() and exists(f:min) min.exists() and exists(f:max)])) max.exists())
StructureDefinition.differential
Element Id StructureDefinition.differential
Definition

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

Control Cardinality 0..1
Invariants : element.first().path.contains('.').not() implies element.first().type.empty(), xpath: not(f:element[1][not(contains(f:path/@value, '.'))]/f:type))
Defined on this element sdf-15a : If the first element in a differential has no "." in the path, it has no type ( expression
sdf-20 : Rule No slicing on the root element ( expression : element.first().slicing.empty(), xpath: not(f:element[1]/f:slicing)) element.where(path.contains('.').not()).slicing.empty()
sdf-8a : Rule In any differential, all the elements must be in start with the StructureDefinition's specified type ( expression for non-logical models, or with the same type name for logical models : element.first().path.startsWith(%resource.type) (%resource.kind = 'logical' or 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 (element.tail().empty() or starts-with(f:path/@value, concat(ancestor::f:StructureDefinition/f:type/@value, '.'))])) element.tail().all(path.startsWith(%resource.differential.element.first().path.replaceMatches('\\..*','')&'.')))
Affect this element
sdf-6 : Rule 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)) differential.exists()
StructureDefinition.differential.element
Element Id StructureDefinition.differential.element
Definition

Captures constraints on each element within the resource.

Control Cardinality 1..*
Type ElementDefinition