摘要: 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
中图分类号:
周春燕, 李绪蓉, 周良. UML活动图模型正确性诊断方法[J]. 计算机工程, 2011, 37(14): 47-49.
ZHOU Chun-Yan, LI Xu-Rong, ZHOU Liang. Correctness Diagnosis Method of UML Activity Graph Model[J]. Computer Engineering, 2011, 37(14): 47-49.