技术编号：11774587
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。本发明属于存储库系统技术领域，尤其是一种基于约束推演的MOF存储库冲突操作的发现方法。背景技术如今，元对象设施MOF已经成为国际上普遍接受和采用的元数据存储库系统标准。作为MOF存储库系统的重要组成部分，基于对象约束语言OCL定义的良格式约束规定了系统所有状态都必须遵从的条件。存储库系统的内容会由于操作的执行而被改变，因此必须确保操作执行后存储库系统的状态不违背元层次中的良格式约束。然而由于下面两个原因的存在使得这一任务变得相当困难：一方面，存储库系统中元数据的组织方式呈现出分层、多级并且动态变...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。