| UML活动图模型正确性诊断方法 |
| |
| 引用本文： | 周春燕,李绪蓉,周良.UML活动图模型正确性诊断方法[J].计算机工程,2011,37(14):47-49. |
| |
| 作者姓名： | 周春燕 李绪蓉 周良 |
| |
| 作者单位： | 南京航空航天大学信息科学与技术学院,南京,210016 |
| |
| 摘 要： | UML活动图的正确性决定了业务流程的正确执行，为此，提出一种UML活动图模型的正确性诊断方法。将模型分解后，对子模型进行模型验证，并对验证错误的子模型进行模型诊断，得到诊断结果。在质量管理过程实例中的应用结果表明，该方法能减小模型空间，减少诊断次数，准确锁定错误，有效地对模型的正确性进行诊断。
|
| 关 键 词： | 活动图 模型正确性 模型分解 模型验证 模型诊断 |
| 收稿时间： | 2010-12-10 |
Correctness Diagnosis Method of UML Activity Graph Model |
| |
| ZHOU Chun-yan,LI Xu-rong,ZHOU Liang.Correctness Diagnosis Method of UML Activity Graph Model[J].Computer Engineering,2011,37(14):47-49. |
| |
| Authors: | ZHOU Chun-yan LI Xu-rong ZHOU Liang |
| |
| Affiliation: | (College of Information Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China) |
| |
| 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. |
| |
| Keywords: | activity graph model correctness model decomposition model verification model diagnosis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
