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

摘要：

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

关键词：存储库系统、良格式约束、元对象设施、约束检测、构造活动、内部活动

所属期刊栏目：53

分类号：TP311.13(计算技术、计算机技术)

资助基金：国家自然科学基金项目61035003，61072085，51378350；国家“九七三”重点基础研究发展计划基金项目2013CB329502；计算机软件新技术国家重点实验室南京大学开放课题项目KFK T2014B16；天津市科技特派员项目15JCTPJC58100 This work was supported by the National Natural Science Foundation of China61035003，61072085，51378350;the National Basic Research Program of China 973 Program2013CB329502;the Foundation of State Key Laboratory for Novel Software Technology Nanjing University KFKT2014B16;the Science and Technology Commissioner Project of Tianjin 15JCTPJC58100．

在线出版日期：2016-06-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：1095-1105