UML活动图模型正确性诊断方法

• 作者: 周春燕 周良 李绪蓉
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 活动图 模型正确性 模型分解 模型验证 模型诊断
• 年，卷（期）: 2011,（14）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 47-49
• 分类号: TP391
• 字数: 3451字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.14.014

摘要

UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法.将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果.在质量管理过程实例中的应用结果表明,该方法能减小模型空间,减少诊断次数,准确锁定错误,有效地对模型的正确性进行诊断.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周良	南京航空航天大学信息科学与技术学院	95	1164	17.0	31.0
2	李绪蓉	南京航空航天大学信息科学与技术学院	22	350	10.0	18.0
3	周春燕	南京航空航天大学信息科学与技术学院	1	4	1.0	1.0