Как создать схему для неупорядоченного списка узлов XML с ограничениями на появление

Учитывая такой формат XML, я пытаюсь создать схему XSD для его проверки.

<RootNode>
  <ChildA />
  <ChildC />
  <ChildB />
  <ChildB />
  <ChildA />
</RootNode>

Требования следующие:

ChildA, ChildB и ChildC могут встречаться в любом порядке. (<xs:sequence> неподходящий)
ChildA обязательный, но может происходить несколько раз.
ChildB является необязательным и может возникать несколько раз.
ChildC является необязательным и может встречаться только один раз.

Техника, которую я обычно использую для создания неупорядоченного списка узлов, заключается в использовании <xs:choice maxOccurs="unbounded"> с каждым возможным node в списке, однако я не могу создать ограничение minOccurs="1" для ChildA и maxOccurs="1" запрет на ChildC. (Количество вариантов выбора имеет приоритет над элементами элементов здесь).

<xs:element name="RootNode">
  <xs:complexType>
    <xs:choice minOccurs="1" maxOccurs="unbounded">
      <xs:element name="ChildA" minOccurs="1"/>
      <xs:element name="ChildB" />
      <xs:element name="ChildC" maxOccurs="1"/>
    </xs:choice>
  </xs:complexType>
</xs:element>

Ответ 1

Обновление. В XSD 1.1m некоторые ограничения на all -groups были сняты. См. Ответы здесь и здесь.

Не простой, но кажущийся выполнимым. Трудная часть здесь состоит в том, что определения схемы должны быть детерминированными. Подход, который я использовал, состоял в том, чтобы визуализировать проблему, нарисуя автоматом конечного состояния, а затем написать регулярное выражение, соответствующее этим автоматам. Это не так сложно, как может показаться. Тем не менее, использование какой-либо другой системы проверки достоверности обеспечило бы более простой ответ.

Я провел несколько тестов, но пропустить некоторые специальные случаи легко. Прокомментируйте, если вы заметили ошибку.

... и вот код:

<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema" >

    <!-- Schema for elements ChildA, ChildB and ChildC
        The requirements are as follows:
            * ChildA, ChildB and ChildC may occur in any order.
            * ChildA is mandatory but may occur multiple times.
            * ChildB is optional and may occur multiple times.
            * ChildC is optional and may occur once only.
    -->

    <xsd:element name="root">
        <xsd:complexType>
            <xsd:sequence>
                <xsd:element name="ABC-container" type="ABC" maxOccurs="unbounded"/>
            </xsd:sequence>
        </xsd:complexType>
    </xsd:element>

    <xsd:complexType name="ABC">
        <xsd:sequence>
            <xsd:element name="ChildB" type="xsd:string" minOccurs="0" maxOccurs="unbounded"/>
            <xsd:choice>
                <xsd:sequence maxOccurs="1">
                    <xsd:element name="ChildC" type="xsd:string"/>
                    <xsd:element name="ChildB" type="xsd:string" minOccurs="0" maxOccurs="unbounded"/>
                    <xsd:element name="ChildA" type="xsd:string"/>
                    <xsd:sequence minOccurs="0" maxOccurs="unbounded">
                        <xsd:element name="ChildA" type="xsd:string" minOccurs="0"/>
                        <xsd:element name="ChildB" type="xsd:string" minOccurs="0"/>
                    </xsd:sequence>
                </xsd:sequence>
                <xsd:sequence maxOccurs="1">
                    <xsd:element name="ChildA" type="xsd:string" minOccurs="1"/>
                    <xsd:sequence minOccurs="0" maxOccurs="unbounded">
                        <xsd:element name="ChildA" type="xsd:string" minOccurs="0"/>
                        <xsd:element name="ChildB" type="xsd:string" minOccurs="0"/>
                    </xsd:sequence>
                    <xsd:sequence minOccurs="0" maxOccurs="1">
                        <xsd:element name="ChildC" type="xsd:string"/>
                        <xsd:sequence minOccurs="0" maxOccurs="unbounded">
                            <xsd:element name="ChildA" type="xsd:string" minOccurs="0"/>
                            <xsd:element name="ChildB" type="xsd:string" minOccurs="0"/>
                        </xsd:sequence>
                    </xsd:sequence>
                </xsd:sequence>
            </xsd:choice>
        </xsd:sequence>
    </xsd:complexType>

</xsd:schema>

Ответ 2

Это должно делать то, что вы указали:

<xs:element name="RootNode">   
  <xs:complexType>     
    <xs:all>       
      <xs:element name="ChildA" minOccurs="1"/>      
      <xs:element name="ChildB" />       
      <xs:element name="ChildC" minOccurs="0" maxOccurs="1"/>     
    </xs:all>   
  </xs:complexType> 
</xs:element>

Ответ 3

Я просто читал синтаксис ярлыка relax-NG.

Я предполагаю, что в компактном синтаксисе relax-ng будет сжато следующее:

head = element root { ChildA & ChildC? & ChildB* }

Это очень мило.