高级检索
    赵晓非, 高阳, 史颖欢, 史忠植. 元数据存储库系统中违背良格式约束潜在操作的推理[J]. 计算机研究与发展, 2016, 53(5): 1095-1105. doi: 10.7544/issn1000-1239.2016.20148461
    引用本文: 赵晓非, 高阳, 史颖欢, 史忠植. 元数据存储库系统中违背良格式约束潜在操作的推理[J]. 计算机研究与发展, 2016, 53(5): 1095-1105. doi: 10.7544/issn1000-1239.2016.20148461
    Zhao Xiaofei, Gao Yang, Shi Yinghuan, Shi Zhongzhi. Reasoning on Constraints for Incoherent Operations in Metadata Repository Systems[J]. Journal of Computer Research and Development, 2016, 53(5): 1095-1105. doi: 10.7544/issn1000-1239.2016.20148461
    Citation: Zhao Xiaofei, Gao Yang, Shi Yinghuan, Shi Zhongzhi. Reasoning on Constraints for Incoherent Operations in Metadata Repository Systems[J]. Journal of Computer Research and Development, 2016, 53(5): 1095-1105. doi: 10.7544/issn1000-1239.2016.20148461

    元数据存储库系统中违背良格式约束潜在操作的推理

    Reasoning on Constraints for Incoherent Operations in Metadata Repository Systems

    • 摘要: 存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保良格式约束规定得并不充分,上述2个原因使得确保基于元对象设施(meta object facility, MOF)建立的元数据存储库系统的状态不违背良格式约束成为一个令人棘手的问题.提出了一种能够自动推断可能违背良格式约束的潜在操作的方法.首先定义了一组比MOF的构造活动更精确和灵活的MOF内部活动并建立了二者之间的对应关系;接着研究了如何推断可能违背约束条件的内部活动;最后通过比对与这些内部活动相对应的构造活动是否在操作规范中出现,研究了如何推断违背约束条件的潜在操作,该方法可以用于约束检测领域.由于可以剔除许多无关的检测,该方法可以有效地提高良格式约束检测的效率.此外该方法对约束设计领域也有一定的参考价值.

       

      Abstract: The architecture of the repository system metadata is hierarchical, multi-layer, dynamically changed and complicated; the prevailing repository system specifications provide insufficiently support for validating well-formedness constraints, so how to check well-formedness constraints for MOF (meta object facility) metadata repository systems becomes a difficult problem. This paper presents an approach which can reasoning on the well-formedness constraints in the different layers, thus the operations that may violate the constraints can be determined automatically. Firstly, a group of inner activities which are more accurate and adaptable than establishment activities provided by MOF are proposed. We define the correspondence between inner activities and establishment activities. Then we research how to reasoning on the constraints directly so that the incoherent inner activities can be detected. At last, we research how to deduce potentially incoherent operations by determining the establishment activities that potentially violate the constraints and testing whether these activities are included in the operations. Our approach can improve the efficiency of well-formedness constraint checking because the precise set of constraints that will be violated by operations can be reduced in the actual checking process. In addition, our method also helps to the constraint design process since we can discard the constraint if we find it can never be violated by any operations.

       

    /

    返回文章
    返回