基于CWM的元数据集成中形式化推理技术的研究

在使用公共仓库元模型（CWM）进行元数据集成的过程中，参与集成的团体的不同经验以及描述数据的不同视角不可避免地带来元数据的冲突和冗余等问题，然而CWM的图形化特点使之缺乏精确的语义，所以如何在其上进行推理以自动发现这些问题至今没有得到很好的解决。本文研究了利用描述逻辑，一个一阶谓词逻辑的可判定子集，形式化CWM元模型和模型并进行推理的方法，将一致性检测分为水平一致性和演化一致性进行分别处理，在处理演化一致性的过程中对CWM元模型进行了扩展，使之支持元数据的版本能力从而能够推理由于演化引起的不一致问题，然后利用推理引擎LOOM对两种情形进行推理检测以发现不一致信息，取得了令人满意的结果，表明本文提出的方法是可行的。     

基于描述逻辑的数据挖掘元数据的一致性检验

针对目前数据挖掘元模型DMM的自然语言和图形化方式缺乏精确的语义,基于DMM的数据挖掘元数据集成中的冲突问题难以发现,提出一种描述逻辑家族的形式逻辑DLRDM,给出DLRDM的语法和语义,使用DLRDM形式化数据挖掘元模型和元数据.证明DLRDM上的推理问题可以规约到ABox上的一致性检验问题.利用描述逻辑推理引擎RacerPro,对基于DLRDM的数据挖掘元数据进行推理检测以发现不一致信息,结果表明DLRoM在处理数据挖掘元数据一致性检验问题上的正确性与有效性.     

基于描述逻辑的CWM元数据冲突的检测和消解

元数据内容的冲突能够对数据仓库系统的稳定性和可靠性造成极大影响。在基于公共仓库元模型(CWM)建立元数据的过程中,参与建立元数据的团体的不同经验以及描述数据的不同视角不可避免地会带来元数据的这些冲突。然而,CWM的图形化特点导致了它缺乏精确的语义,所以如何自动检测和消解这些冲突,至今没有得到很好的解决。首先提出了一种支持概念之上的同一性约束的描述逻辑,用来对CWM元模型和元数据进行描述,然后阐述了利用该描述逻辑形式化CWM元模型和元数据的方法,接着研究了利用描述逻辑的查询推理能力检测元数据冲突的方法,最后研究了通过在知识库中定义冲突消解规则,消解元数据冲突的方法。利用推理引擎RACER所进行的实验结果表明提出的方法是可行的。     

基于描述逻辑的扩展预测模型标记语言EPMML

预测模型标记语言PMML正被许多数据挖掘组织作为标准化的数据挖掘模型描述语言.然而,由于数据挖掘技术的不断发展,参与建立PMML的数据挖掘厂商的经验有差异,PMML本身含有的大量语言元素不可避免地带来基于PMML的数据挖掘元数据的语义不一致问题.为解决这个问题,提出了一种基于描述逻辑的扩展预测模型标记语言EPMML,详细分析了EPMML的描述逻辑基础SOIN,设计EPMML的语言元素.基于EPMML描述的数据挖掘元数据可以转化为基于SOIN的知识库,进而进行知识推理以自动发现数据挖掘元数据的内在语义不一致问题.Racer推理实例验证了EPMML语言的良构性,良好表达能力和推理有效性.     

基于模型驱动元数据管理策略的研究

目前,元数据管理存在这样的问题,各开发商使用不同的元模型来设计自己的数据仓库工具,而且对元数据的描述往往不一致,这样给数据集成带来很大的问题。使用一种基于模型驱动的方式,将元数据描述规范化,并运用基于模型驱动的公共仓库模型CWM(Common Warehouse Metamodel)来实现这一过程。该模型可以充分发挥软件的复用性,使系统有良好的通用性,从而提高系统开发效率。     

基于模式的CWM元数据交换方法的研究

公共仓库元模型CWM是一个开放的业界标准,用于在数据仓库及业务分析领域的元数据交换,并为元数据定义公共元模型和基于XML的交换格式。为了达到基于CWM的无缝、高互操作性的元数据交换,提出了基于模式的交换方法。重点介绍了CWM元数据的交换模式及其开发方法,并通过建立一个具体的模式进行了说明。     

基于描述逻辑的元数据存储库系统的结构完整性检测

存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保结构完整性规定得并不充分,上述两个原因使得基于元对象设施(MOF)标准建立元数据结构的过程中经常会发生结构完整性被违背的现象,从而严重影响存储库系统的稳定性.然而MOF是以图形的方式表示元数据,缺乏精确的语义,所以如何对基于MOF的存储库系统进行结构完整性检测成为一个棘手的问题.本文采用了描述逻辑的方法来解决该问题.该方法是基于描述逻辑家族的一种特殊的形式逻辑,我们研究了如何将MOF框架的不同层次形式化进描述逻辑知识库,以及如何利用描述逻辑提供的查询推理能力自动检测冲突.对利用该方法实现的结构完整性检测原型系统进行性能评测,取得了令人满意的结果.     

基于Bigraph理论的动态演化软件相关特性分析与验证方法

软件演化中的行为一致性、相容性以及系统完整性约束,长期以来是动态演化中研究的热点.本文利用Milner等提出的Bigraph理论对软件演化中的特性进行研究.与以往利用Petri Net、演算及进程代数不同,Bigraph融合演算和移动Ambient 演算的优势,其目的为现有的移动和并发理论建立统一的元模型,并且引入环境上下文参与系统的迁移,使系统的描述更为直观和精确,从而适合对动态演化形式化.本文简要介绍Bigraph的基本概念和现状,利用Bigraph建立演化系统的构件模型,并在Bigraph理论基础上给出分析和验证完整性、一致性和相容性相关规则,并通过具体实例验证利用Bigraph对动态演化建模的有效性.     

云环境下元数据弹性分级一致性保障机制研究 *

云存储环境下,元数据提供数据定位与资源描述服务,云存储系统利用副本技术保障元数据的可用性。为了解决元数据的动态更新导致的元数据副本的不一致,本文从云存储系统中不同元数据对一致性强度需求的差异性出发,提出了基于元数据弹性分级的一致性保障机制。根据元数据访问频率以及更新属性敏感度对元数据更新弹性分级,结合基于读优化的Quorum算法实现元数据更新的分级一致性保障。实验证明该机制可以有效权衡元数据副本可用性、一致性和系统开销,相比单一的一致性策略更为灵活。     

数据仓库中实时元数据管理的研究

提出一种实时分布元数据管理的软件体系结构。结构基于公共仓库元模型（CWM）规范,以CWM元模型规定元数据集成、交换内容,XML元数据交换（XMI）提供实时元数据交换和共享机制,仅需一个接口驱动程序,即可实现对应分布元数据的动态读取。原型实验已验证了体系结构对元数据互操作和实时分布存取的可行性和有效性。     

一种约束CWM元数据的方法

公共仓库元模型为构造数据仓库领域的元数据提供了统一的标准。该文对元数据交换环境作了具体分析,提出了一种基于约束模型的方法来约束CWM中的元数据,并通过一个实例说明该方法可使CWM元数据满足各种交换环境。     

一种基于元数据仓库的元数据管理模型设计

元数据是数据仓库环境的一个重要组成部分。本文简述元数据的基本概念,回顾元数据管理的发展历史,重点讨论数据仓库元数据管理知识库技术以及CWM公共仓库元模型。针对元数据的变更管理是数据仓库元数据管理中最容易忽略的问题,本文提出一种基于数据仓库元数据管理系统的元数据管理模型。跟踪每一个数据元素的生命周期,分析数据源变更时对数据仓库的影响,支持当前数据与历史数据的合并,减少了元数据提取转换和加载的开销。     

基于CWM的平行多系统横向业务整合的研究

公共仓库元模型(CWM)是为数据仓库和业务分析环境之间方便地交换元数据而制定的一个标准,已经成为模型驱动体系结构(MDA)新策略方向中的核心组成部分。在分析原有电子政务信息整合的基础上,提出了基于CWM的电子政务数据交换系统,并给出了两种可行的方案,最后分析和比较了这两种方案的利弊和各自的应用场合,以期加快政府横向业务整合进度。     

基于模型驱动元数据集成体系结构研究与设计

元数据及其管理是数据仓库和业务分析领域中的核心部分,也是成功建立信息供应链的关键。元数据管理依赖于软件体系结构来抽取、集成、存储和发布元数据。这样的体系结构通常以元数据存储库为核心。提出了一个基于CWM(CommonWarehouseMetamodel)元模型的元数据集成体系结构,并对体系结构中的相关组件和技术进行了简要介绍。     

元数据在数据仓库中的应用及研究

数据仓库是数据库的发展方向之一,对企业管理和决策支持起着重要的辅助作用。简要介绍了数据仓库和元数据的基本概念,重点阐述了元数据在数据仓库系统中的作用、管理及维护,并就元数据库具体的实现方式进行了初步的研究和探讨。     

数据仓库元数据集成技术研究与应用

元数据集成是数据仓库元数据管理的一项重要内容。文章在目前元数据集成研究成果的基础上,提出了一种基于SOA架构的数据仓库元数据集成技术。该技术以Web Service技术为应用框架,以CWM为元数据模型,采用XML设计元数据封装器,实现了分布环境下数据仓库元数据的集成与重用。文章重点介绍了系统的体系构架,及CWM元数据模型的结构设计和不同Web Service方法设计和调用。最后,将该技术应用到消防工程领域的一个实际数据仓库项目中,验证了该技术的可行性、有效性、实用性。