[发明专利]一种基于模型检测的标准模型分析方法有效
| 申请号： | 202011006772.8 | 申请日： | 2020-09-23 |
| 公开（公告）号： | CN112214401B | 公开（公告）日： | 2023-05-09 |
| 发明（设计）人： | 陈尧;衡辰;谈铭;张敏;张民;缪纬恺 | 申请（专利权）人： | 华东师范大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F40/186;G06F40/253;G06F8/35;G06F8/30 |
| 代理公司： | 上海蓝迪专利商标事务所(普通合伙) 31215 | 代理人： | 徐筱梅;张翔 |
| 地址： | 200241 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于模型检测的标准模型分析方法，其特点是采用四类子问题结构的形式化模型的检测方法，对类图模型中存在变量一致性问题、类图及对象图模型中存在约束一致性问题、状态图及顺序图模型中存在行为一致性问题，以及状态图模型中存在状态逻辑错误问题进行分析，其模型的构建及检测具体包括：1.）根据模板设计标准模型；2）构建子问题结构的形式化模型；3.）对子问题形式化模型施加待分析性质条件；4）分析子问题模型是否满足性质条件。本发明与现有技术相比具有高度自动化和可信、可靠的分析结果，有效替代替低效率地人工审查标准的过程，进一步提升了标准设计的科学性和规范性以及工作效率。 | ||
| 搜索关键词： | 一种 基于 模型 检测 标准 分析 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学，未经华东师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011006772.8/，转载请声明来源钻瓜专利网。
