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

来源：计算机研究与发展杂志2016年第5期北京时间：

作者：赵晓非,高阳,史颖欢,史忠植,

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

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