46、保守XML模式演变与文档适配工具箱

保守XML模式演变与文档适配工具箱

1. 引言

在多系统环境中，我们期望构建一个由全局中央系统和多个本地系统组成的架构。全局系统是本地系统的保守演变，能够处理变化并将其传递给本地系统，同时支持本地到全局和全局到本地的双向通信。这样的架构允许独立的本地服务继续使用自己的数据和工具，同时可以基于所有服务的完整视图进行诊断和更改。

为了实现这一目标，我们需要处理类型演变和文档适配的工具。这些工具可以作为临时配置，在本地系统准备好之前推迟完全集成，或者作为企业采用的灵活架构。

我们假设有 $S_1, \cdots, S_n$ 个本地系统，分别处理 XML 文档集 $X_1, \cdots, X_n$，并与全局集成系统 $S$ 进行交互。每个文档集 $X_i$ 遵循模式或类型约束 $D_i$，而 $D$ 是全局系统 $S$ 的扩展类型，能够接受来自 $D_i$ 的任何本地文档。全局系统 $S$ 可能会演变为 $S’$，接受更多文档或拒绝一些原始文档。

我们提出了一系列工具，以实现自动类型转换和文档翻译，并实现了一个平台，这些工具都将在该平台上可用：
- ExtSchemaGenerator ：将给定的模式 $G$（视为正则树文法）扩展为新的文法 $G’$，$G’$ 生成的语言是包含 $G$ 生成语言的最小无序树集，并且 $G’$ 是本地树文法（LTG）或单类型树文法（STTG）。
- XMLCorrector ：根据模式约束（表示为 DTD 或 LTG）纠正 XML 文档。该工具读取整个 XML 树 $t$，并在给定阈值 $th$ 内找到所有可能的解决方案。
-