XSD 1.1中的模式元素节点测试的使用

Question

我正在尝试设计一个XML模式，其中某个元素可以包含一个属于替代组的单个元素或我想成为自行订单的某些元素的集合（例如在“ ALL”中）。

”组类型的局限

<?xml version="1.0" encoding="UTF-8"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:vc="http://www.w3.org/2007/XMLSchema-versioning" elementFormDefault="qualified" attributeFormDefault="unqualified" vc:minVersion="1.1">
    <xs:element name="X" abstract="true"/>
    <xs:element name="X1" substitutionGroup="X"/>
    <xs:element name="X2" substitutionGroup="X"/>
    <xs:element name="Y">
        <xs:complexType>
            <xs:all>
                <xs:element ref="X" minOccurs="0"/>
                <xs:element name="Z1" minOccurs="0" type="xs:string"/>
                <xs:element name="Z2" minOccurs="0" type="xs:string"/>
                <xs:element name="Z3" minOccurs="0" type="xs:string"/>
            </xs:all>
            <xs:assert test="not(schema-element(X)) or not(Z1 or Z2 or Z3)"/>
        </xs:complexType>
    </xs:element>
</xs:schema>

所有

File C:\whereabouts\xsd-assertion-problem.xsd is not valid.
    Assertion 'not(schema-element(X)) or not(Z)' is no valid XPath 2.0 expression.
        Error location: xs:schema / xs:element / xs:complexType / xs:assert
        Details
            XPST0008: Element name not found in static context's in-scope element declarations
            as-props-correct.2: Assertion 'not(schema-element(X)) or not(Z)' is no valid XPath 2.0 expression.

由于对“ ：这里有什么问题以及如何解决？当我阅读时（ https://www.w.w.org/xpath/xpath-31 /＃errxpst0008 ）[xpath错误条件的描述]，它明确排除了“元素 - 元素名称中的elementName”，这应该在这里是这种情况，因此静态分析不应在此处失败。还是我错了？

请注意，x的替换组已打开以进行扩展，并找到对x进行引用的所有位置可能很困难，这就是为什么我强烈希望使用>架构元素基于测试。

另一方面，虽然编写Z1或Z2或Z3也很麻烦，但这些元素是本地的，因此该解决方案或多或少是可以接受的。当然，如果有更好的想法，欢迎他们！

以防万一，我依靠Altova引擎。