Xml 如何使用工具检查xsd模式本身是否有效？
我想知道如何建立一些参考证据来证明模式是否有效。我和一个承包商有争执。他们使用一种工具，我使用其他工具。他们说模式有效，而我不同意。谷歌搜索几乎一无所获，因为每个人都在寻找xml验证。我需要验证模式本身Xml 如何使用工具检查xsd模式本身是否有效？,xml,validation,xsd,Xml,Validation,Xsd,我想知道如何建立一些参考证据来证明模式是否有效。我和一个承包商有争执。他们使用一种工具，我使用其他工具。他们说模式有效，而我不同意。谷歌搜索几乎一无所获，因为每个人都在寻找xml验证。我需要验证模式本身 例如考虑此片段（ S0是默认命名空间）： 它是模式的有效部分吗？如果不是-它违反了哪个w3c模式定义？没有明确的w3c认可的工具可以为您回答这个问题。您基本上需要查看特定工具报告的错误，并将它们与规范进行比较——这并不容易，因为XSD规范的阅读非常困难。当然，即使你同意某个工具是错误的，你也
例如考虑此片段（<代码> S0是默认命名空间）：
它是模式的有效部分吗？如果不是-它违反了哪个w3c模式定义？没有明确的w3c认可的工具可以为您回答这个问题。您基本上需要查看特定工具报告的错误，并将它们与规范进行比较——这并不容易，因为XSD规范的阅读非常困难。当然，即使你同意某个工具是错误的，你也必须决定该怎么做：放弃使用该工具并不总是一个切实可行的选择。不幸的是，使用XSD时，工具之间存在相当多的偏差（部分原因是规范的阅读非常困难……对于那些相信正式规范的人来说，我个人认为可读的规范更为重要。） 这里的特殊问题是，通过扩展从另一个类型B派生的类型R是否可以包含已在B中定义的属性的定义 了解模式必须满足三组规则才能有效是很有用的： （a） 模式文档的模式定义了模式文档中元素和属性的基本语法结构 （b） 模式的XML表示形式上的约束为无法在S4SD中方便地表示的XML表示形式定义了其他规则 （c） 模式组件模型上的约束定义了应用于从XML构造的模式组件的规则 在这种情况下，这些规则之一在§3.4.6模式组件约束中：复杂类型定义属性正确；规则4说，“{attribute uses}中两个不同的属性声明不能具有相同的{name}和{target namespace}。” 要确定是否违反了此规则，我们需要查看{attribute uses}属性是如何计算的。这在§3.4.2中给出：
{attribute uses}: A union of sets of attribute uses as follows:
1 The set of attribute uses corresponding to the <attribute> [children], if any....
3 The {attribute uses} of the type definition ·resolved· to by the ·actual value· of the base [attribute]
{attribute uses}：属性使用集合的并集，如下所示：
1属性集使用对应于[子项]的属性，如果有。。。。
3{attribute uses}类型定义·解析·to由基[attribute]的·实际值·解析
但是，在这种情况下，两个属性的使用不能完全相同。属性使用的属性之一是相应的属性声明（类似于这两个属性的本地
IDColsPairOfIDCols{attribute uses}: A union of sets of attribute uses as follows:
1 The set of attribute uses corresponding to the <attribute> [children], if any....
3 The {attribute uses} of the type definition ·resolved· to by the ·actual value· of the base [attribute]