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

Correctness Diagnosis Method of UML Activity Graph Model

作　　者：周春燕[1] 李绪蓉[1] 周良[1] 

机构地区：[1]南京航空航天大学信息科学与技术学院,南京210016

出　　处：《计算机工程》2011年第14期47-49,共3页Computer Engineering

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

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]