计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
14期
47-49
,共3页
活动图%模型正确性%模型分解%模型验证%模型诊断
活動圖%模型正確性%模型分解%模型驗證%模型診斷
활동도%모형정학성%모형분해%모형험증%모형진단
UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法.将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果.在质量管理过程实例中的应用结果表明,该方法能减小模型空间,减少诊断次数,准确锁定错误,有效地对模型的正确性进行诊断.
UML活動圖的正確性決定瞭業務流程的正確執行,為此,提齣一種UML活動圖模型的正確性診斷方法.將模型分解後,對子模型進行模型驗證,併對驗證錯誤的子模型進行模型診斷,得到診斷結果.在質量管理過程實例中的應用結果錶明,該方法能減小模型空間,減少診斷次數,準確鎖定錯誤,有效地對模型的正確性進行診斷.
UML활동도적정학성결정료업무류정적정학집행,위차,제출일충UML활동도모형적정학성진단방법.장모형분해후,대자모형진행모형험증,병대험증착오적자모형진행모형진단,득도진단결과.재질량관리과정실례중적응용결과표명,해방법능감소모형공간,감소진단차수,준학쇄정착오,유효지대모형적정학성진행진단.
