UML 活动图模型正确性诊断方法 (2011年)

【文件属性】：

文件名称：UML 活动图模型正确性诊断方法 (2011年)

文件大小：260KB

文件格式：PDF

更新时间：2024-06-18 21:08:44

工程技术 论文

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