计算机工程2011，Vol.37Issue(14)：47-49,3.DOI:10.3969/j.issn.1000-3428.2011.14.014
UML活动图模型正确性诊断方法
Correctness Diagnosis Method of UML Activity Graph Model
周春燕 1李绪蓉 1周良1
作者信息
- 1. 南京航空航天大学信息科学与技术学院,南京,210016
- 折叠
摘要
Abstract
The correctness of the activity graph decides that the correctness of execution of business flow, so this paper proposes an method for diagnosis of correctness of UML activity graph model. It verificates the model. Model diagnosis of sub-models which are wrong and receiving the diagnosis results. The application of example of quality management process, demonstrates this approach can reduce the space of model, decrease diagnosis frequency, lock error accurately, diagnose the model correctness effectively.关键词
活动图/模型正确性/模型分解/模型验证/模型诊断Key words
activity graph/ model correctness/ model decomposition/ model verification/ model diagnosis分类
信息技术与安全科学引用本文复制引用
周春燕,李绪蓉,周良..UML活动图模型正确性诊断方法[J].计算机工程,2011,37(14):47-49,3.
