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