[发明专利]基于分散模式验证XML文档

权利要求书

1.一种方法，包括：

确定文档内的节点的路径，其中每个节点是元素语料库的元素的实例，每个元素定义一组规则，该组规则包括以下中的至少一个：

约束所述元素的后代元素的一个或多个约束，

用于所述元素的目标后代元素的一个或多个计算，

其中每个路径标识所述文档内的所述节点中的一个或多个节点的子集；

对于所述路径中的每个路径，与所述每个路径相关联地收集并存储对于相应的一个或多个节点是其实例的元素声明的规则；以及

基于对于所述路径中的每个路径收集的规则验证文档。

2.如权利要求1所述的方法，其中：

所述元素语料库的每个元素是所述元素的类型；并且

所述路径中的每个路径按路径中的每个元素的相应类型合格。

3.如权利要求1所述的方法，其中：

所述元素语料库的每个元素是所述元素的类型，其中每个类型具有一个或多个状态，其中对于每个元素定义的该组规则对于所述一个或多个状态的一个状态被定义；

其中所述路径中的每个路径按路径中每个元素的相应类型合格。

4.如权利要求1所述的方法，

其中所述节点包括前代节点和作为前代节点的后代的后代节点；

其中前代节点是第一元素的实例并且与第一路径相关联，其中后代节点与第二路径相关联；

其中第一元素定义范围缩小的规则；并且

其中与所述每个路径相关联地收集并存储对于所述路径的相应元素定义的规则包括与所述后代节点的所述第二路径相关联地收集并存储所述范围缩小的规则。

5.如权利要求1所述的方法，

其中对于路径收集并存储的所述规则包括计算；

其中所述步骤还包括：

基于计算之间的依赖性，将计算分成从早到晚排序的多个阶段，所述多个阶段的每个阶段包含所述计算中的一个或多个的子集；以及

其中对于所述多个阶段的每个阶段，所述阶段的每个计算不依赖于相同阶段或较晚阶段中的计算。

6.一种方法，包括：

遍历并访问文档内的节点，其中每个节点是元素语料库的元素的实例，每个元素定义一组规则，该组规则包括以下中的至少一个：

约束所述元素的后代元素的一个或多个约束，

用于所述元素的目标后代元素的一个或多个计算，

其中访问所述节点中的每个节点包括：

确定是否存在用于路径列表中的所述每个节点的路径的条目；

响应于确定不存在用于所述每个节点的路径的条目，

检索对于所述节点是其实例的相应元素定义的一个或多个规则；

与所述路径相关联地将条目增加到路径列表中；

将检索的所述一个或多个规则增加到条目中；以及

基于所述路径列表中的规则验证文档。

7.如权利要求6所述的方法，其中访问所述每个节点包括：响应于确定不存在用于所述每个节点的路径的条目，将由所述相应元素定义的范围缩小的规则增加到用于范围缩小的规则的列表。

8.如权利要求6所述的方法，其中访问所述每个节点包括：响应于确定不存在用于所述每个节点的路径的条目：

确定用于范围缩小的规则的列表包括应用于所述路径的范围缩小的规则；以及

将所述范围缩小的规则增加到所述条目中。

9.如权利要求6所述的方法，其中：

所述元素语料库的每个元素是所述元素的类型；并且

所述路径中的每个路径按路径中每个元素的相应类型合格。

10.如权利要求6所述的方法，其中：

所述元素语料库的每个元素是所述元素的类型，其中每个类型具有一个或多个状态，其中对于每个元素定义的该组规则对于所述一个或多个状态的一个状态被定义；

其中所述路径中的每个路径按路径中每个元素的相应类型合格。