一种基于模型检测的标准模型分析方法

作者：陈尧; 衡辰; 谈铭; 张敏; 张民; 缪纬恺

来源：2020-09-23, 中国, ZL202011006772.8.

本发明公开了一种基于模型检测的标准模型分析方法,其特点是采用四类子问题结构的形式化模型的检测方法,对类图模型中存在变量一致性问题、类图及对象图模型中存在约束一致性问题、状态图及顺序图模型中存在行为一致性问题,以及状态图模型中存在状态逻辑错误问题进行分析,其模型的构建及检测具体包括：1.)根据模板设计标准模型；2)构建子问题结构的形式化模型；3.)对子问题形式化模型施加待分析性质条件；4)分析子问题模型是否满足性质条件。本发明与现有技术相比具有高度自动化和可信、可靠的分析结果,有效替代替低效率地人工审查标准的过程,进一步提升了标准设计的科学性和规范性以及工作效率。

• 单位
  华东师范大学