Question

我一直在看这个问题太久了。我怀疑我错过了一些明显的东西，因为我对它过于熟悉。

我的架构遇到了一个独特的粒子违规错误。我可以看到为什么，但我花了太长时间摆弄它，以便能够退后一步解决问题。

如何对此架构进行说明，以便它可以验证我需要建模的内容？

内容模型类似于：

<document>
    <extract>...</extract>
    <structure>...</structure>
    <structure>...</structure>
</document>

OR

<document>
    <structure>...</structure>
    <structure>...</structure>
</document>

OR

<document>
    <extract>...</extract>
    <extract>...</extract>
</document>

文档元素可以包含一个或多个提取元素或一个或多个结构元素，也可以包含一个 strong> extract 元素，后跟一个或多个结构元素。

我有一个（不正确的）架构，如下所示：

<?xml version="1.0" encoding="UTF-8"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">

    <xs:element name="document" type="Document"/>
    <xs:complexType name="Document">
        <xs:choice>
            <xs:sequence>
                <xs:element ref="extract" minOccurs="0"/>
                <xs:element ref="structure" minOccurs="1" maxOccurs="unbounded"/>
            </xs:sequence>
            <xs:element maxOccurs="unbounded" ref='extract'/>
        </xs:choice>
    </xs:complexType>

    <xs:element name="extract" type="xs:string"/>
    <xs:element name="structure" type="xs:string"/>

</xs:schema>

（这是一个更复杂的架构的精简版。）

欢呼声

NIC

Answer 1

所以你需要一个DTD风格的内容模型：

extract+|structure+|extract,structure+

这里的问题是extract的存在并不能确定正在采取哪个分支。但我们可以像这样重写内容模型：

extract,(structure+|extract*)|structure+

如果你“扩大”内在选择，就好像这是代数一样，你可以看到这是相同的：

extract,structure+|extract,extract*|structure+
extract,structure+|extract+|structure+     [[ extract,extract* === extract+ ]]

此内容模型可以转换回XSD：

<xs:complexType name="Document">
 <xs:choice>
  <xs:sequence>
   <xs:element ref="extract"/>
   <xs:choice>
    <xs:element ref="structure" maxOccurs="unbounded"/>
    <xs:element ref="extract" minOccurs="0" maxOccurs="unbounded"/>
   </xs:choice>
  </xs:sequence>
  <xs:element ref="structure" maxOccurs="unbounded"/>
 </xs:choice>
</xs:complexType>

独特的粒子违规

1 个答案: