10、主题中介处的信息源注册详解

主题中介处的信息源注册详解

在数据处理和信息整合的领域中，信息源在主题中介处的注册是一个关键环节。下面将详细介绍相关的理论基础、操作流程以及实际示例。

1. 相关研究概述

在数据仓库（DW）设计方面，已有的研究与在局部视图（LAV）方法的中介处进行信息源注册所需的方法和模型存在差异。常见的“设计良好”的数据仓库模式通常呈“星型”，由包含应用感兴趣事实的中央事实表和通过引用完整性约束连接的多个维度表组成。若对维度表进行规范化处理，会得到所谓的雪花模式。但这些研究与在LAV方法的中介处进行源注册或具有预定义概念模式的数据仓库所需的方法和模型动机不同。

2. 组合式信息系统开发方法基础

组合式信息系统开发方法的主要特点是创建组件规范片段的组合，以细化需求规范。与广泛使用的基于组件的开发方法（如JavaBeans）不同，该方法并非简单地连接组件端口或基于契约考虑组件交互。根据细化理论，在组合开发过程中获得的细化规范可在任何地方替代被细化的需求规范，而用户不会察觉到这种替换。细化方法能够正式证明细化的事实，以确保获得的规范与所需规范的充分性。

2.1 组合规范演算

设计是对规范进行系统操作和转换的过程。选择规范模型（SYNTHESIS）的类型规范作为基本操作单元，所需的操作包括将类型规范分解为一致的片段、识别可重用的片段（重用模式）、将识别的片段组合成具体化需求的规范，以及证明这些转换结果的可重用性和可替代性。组合规范演算使用以下概念和操作：
- 类型规约签名 ：类型规约 $T =< V_T, O_T, I_T >$ 的签名 $\Sigma_T$ 包括指示操作参数