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

摘要：

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

关键词：活动图、模型正确性、模型分解、模型验证、模型诊断

所属期刊栏目：37

分类号：TP391(计算技术、计算机技术)

在线出版日期：2011-11-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：47-49