Stream: conformance
Topic: Invariant for IsSummary
Michel Rutten (Dec 07 2017 at 12:32):
I've submitted a new gForge tracker issue #14272 to request clarification about invariant on IsSummary:
"Modifier elements or elements with minimum cardinality = 1 must be marked as summary elements."
1) Does this apply only to specializations? If not, then I'm afraid most existing constraining profiles don't conform to this invariant.
2) The specification should define a fhirpath expression (eld-XXX) to validate this invariant.
3) The invariant states "with minimum cardinality = 1". Shouldn't this be "with minimum cardinality >= 1" ?
Grahame Grieve (Dec 07 2017 at 20:51):
1. it only applies to base resource definitions
Grahame Grieve (Dec 07 2017 at 20:51):
2. can't define one, because it only applies where a parent is not optional or in summary. the publisher enforces the logic correctly
Grahame Grieve (Dec 07 2017 at 20:52):
3. no because the base resource definitions never have minimum cardinality > 1
Grahame Grieve (Dec 07 2017 at 20:52):
underlying fact you seem to have missed... only resources set summary. profiles cannot change it
Michel Rutten (Dec 08 2017 at 09:19):
Thanks @Grahame Grieve, that makes sense.
Looking at the following table:
http://hl7.org/implement/standards/fhir/elementdefinition.html#interpretation
"optional†": The element's presence, and value, must match the definition in the base structure
Indeed, this implies that such attributes can only be defined by core resources.
Maybe we should clarify and explicitly mention this important consequence?
Grahame Grieve (Dec 08 2017 at 11:56):
we do. somewhere
Last updated: Apr 12 2022 at 19:14 UTC
