技术特征：
技术总结
本发明涉及一种基于约束推演的MOF存储库冲突操作的发现方法，其技术特点是包括以下步骤：定义影响良格式约束的内部活动并建立它们与MOF构造活动的对应关系；对良格式约束进行化简；建立发现图；对发现图进行标记；获取内部活动；确定违背约束的潜在操作。本发明通过推断可能违背约束条件的内部活动，进而推断出违背约束条件的潜在操作，最终能够推断出与给定操作无关的约束条件。将这些与给定操作无关的约束条件从该操作执行以后的约束检测过程中剔除，可以显著提高这一过程的效率，本发明可广泛用于约束检测领域。
技术研发人员：赵晓非;厉成元;刘艳昉;曲晓伟;王春辉
受保护的技术使用者：天津电气科学研究院有限公司
技术研发日：2017.04.28
技术公布日：2017.10.20