作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (14): 47-49. doi: 10.3969/j.issn.1000-3428.2011.14.014

• 软件技术与数据库 • 上一篇    下一篇

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

周春燕,李绪蓉,周 良   

  1. (南京航空航天大学信息科学与技术学院,南京 210016)
  • 收稿日期:2010-12-10 出版日期:2011-07-20 发布日期:2011-07-20
  • 作者简介:周春燕(1986-),女,硕士研究生,主研方向:信息系统集成;李绪蓉、周 良,副教授、博士

Correctness Diagnosis Method of UML Activity Graph Model

ZHOU Chun-yan, LI Xu-rong, ZHOU Liang   

  1. (College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China)
  • Received:2010-12-10 Online:2011-07-20 Published:2011-07-20

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

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

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

中图分类号: