Ограничить код фиксированным значением или подмножеством ValueSet через профиль FHIR

Question

Хотелось бы ограничить определенный код (определенный ValueSet) фиксированным значением или подмножеством исходного ValueSet через профили FHIR. Для поддержки клинических решений (CDS) нам необходимо: 1) ограничить условие условием возникновения, так что код состояния не может иметь значение «refuted» и 2) ограничивать условие NonOccurrence, где статус должен быть «опровергнут».

Основной профиль для Condition ресурса заключается в следующем:

<element> 
     <path value="Condition.status"/> 
     <definition> 
     <short value="provisional | working | confirmed | refuted"/> 
     <formal value="The clinical status of the condition."/> 
     <min value="1"/> 
     <max value="1"/> 
     <type> 
      <code value="code"/> 
     </type> 
     <isModifier value="true"/> 
     <binding> 
      <name value="ConditionStatus"/> 
      <isExtensible value="false"/> 
      <conformance value="required"/> 
      <referenceResource> 
      <reference value="http://hl7.org/fhir/vs/condition-status"/> 
      </referenceResource> 
     </binding> 
     </definition> 
    </element> 

Поле состояния Состояния Происшествия может содержать только статус значений: предварительной, работает или подтвердила. Поле состояния состояния NonOccurrence может содержать только фиксированное опровергнуто значение.

Учитывая, что статус определен как isExtensible = "false" нужен правильный способ ограничить это нерасширяемое поле, которое соответствует спецификации FHIR.

UPDATE:

Учитывая ответ Грэма ниже, определение элемента для ограничения кода фиксированного значения проста:

<element> 
    <path value="Condition.status"/> 
    <definition> 
    <short value="refuted"/> 
    <formal value="The clinical status of the condition non-occurrence"/> 
    <type> 
     <code value="code"/> 
    </type>    
    <valueCode value="refuted"/> 
    </definition> 
</element> 

Кроме того, элемент статуса в состоянии профиля Вхождение может определить связь, которая относится к содержащий ValueSet, как Grahame, описывается ниже с соответствующими концепциями (например, удаленный код удаляется).

Answer 1

Состояние ненаступления поле состояния может содержать только фиксированные опровергнуты ценность

это профиль, который содержит статус элемента с фиксированным значением «опровергнуто»

условие Встречаемость поле состояния может содержать только статус значений: предварительный, рабочий или подтвержденный

определить набор значений который содержит только те коды (cmpose, включают в себя (система = «http://hl7.org/fhir/condition-status»), коды = временный, рабочий, или подтвердил

то профиль, который содержит статус элемента с привязкой к новому значению, установленному