基于模型检测的UML状态图和顺序图一致性检测

• 作者: 杜杰 江国华
• 来源期刊: 电子科技
• 学科: 工学
• 关键词: UML 模型检测 NuSMV
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 图像·编码与软件
• 页码范围: 100-104
• 分类号: TP311.55
• 字数: 4658字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7820.2012.02.030

摘要

用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,会导致视图不一致的问题。文中提出形式化与可视化UML互补建模的方法,探讨用模型检测验证UML模型中的状态图和顺序图的一致性问题。针对具有复合片段的顺序图提出分析方法,将复杂层次结构的状态图转换为有限状态机,再用模型检测工具NuSMV对建立的模型进行验证。最后通过实例对此转换方法进行验证,实验结果表明了此方法的有效性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	江国华	南京航空航天大学计算机科学与技术学院	29	79	5.0	6.0
2	杜杰	南京航空航天大学计算机科学与技术学院	1	5	1.0	1.0