计算机科学与探索
計算機科學與探索
계산궤과학여탐색
JOURNAL OF FRONTIERS OF COMPUTER SCIENCE & TECHNOLOGY
2012年
3期
208-220
,共13页
蒋曹清%应时%文静%贾向阳%管华
蔣曹清%應時%文靜%賈嚮暘%管華
장조청%응시%문정%가향양%관화
异常处理%可终止性验证%验证方法%面向服务软件
異常處理%可終止性驗證%驗證方法%麵嚮服務軟件
이상처리%가종지성험증%험증방법%면향복무연건
大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难.而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行.目前缺乏异常处理过程的可终止性验证方法,从而无法保证异常处理达到预期的目标.基于着色Petri网(colored Petri net,CPN)提出了一种面向服务软件异常处理过程的可终止性验证方法.该方法建立了包括正常流程和异常处理逻辑的异常层次CPN模型(hierarchy CPN model for exception handling,HCPN4EH).基于此模型验证了异常处理过程的可终止性.通过一个实例说明了该方法的可行性和有效性.得到的可终止性验证结果可为进一步分析异常处理过程的正确性提供基础.
大規模麵嚮服務軟件運行環境的動態性和不確定性使其異常處理邏輯複雜度高,導緻異常處理過程的可終止性驗證異常睏難.而異常處理過程的可終止性是確保其正確性的重要基礎,如果異常處理過程不能終止將導緻麵嚮服務軟件無法正常運行.目前缺乏異常處理過程的可終止性驗證方法,從而無法保證異常處理達到預期的目標.基于著色Petri網(colored Petri net,CPN)提齣瞭一種麵嚮服務軟件異常處理過程的可終止性驗證方法.該方法建立瞭包括正常流程和異常處理邏輯的異常層次CPN模型(hierarchy CPN model for exception handling,HCPN4EH).基于此模型驗證瞭異常處理過程的可終止性.通過一箇實例說明瞭該方法的可行性和有效性.得到的可終止性驗證結果可為進一步分析異常處理過程的正確性提供基礎.
대규모면향복무연건운행배경적동태성화불학정성사기이상처리라집복잡도고,도치이상처리과정적가종지성험증이상곤난.이이상처리과정적가종지성시학보기정학성적중요기출,여과이상처리과정불능종지장도치면향복무연건무법정상운행.목전결핍이상처리과정적가종지성험증방법,종이무법보증이상처리체도예기적목표.기우착색Petri망(colored Petri net,CPN)제출료일충면향복무연건이상처리과정적가종지성험증방법.해방법건립료포괄정상류정화이상처리라집적이상층차CPN모형(hierarchy CPN model for exception handling,HCPN4EH).기우차모형험증료이상처리과정적가종지성.통과일개실례설명료해방법적가행성화유효성.득도적가종지성험증결과가위진일보분석이상처리과정적정학성제공기출.
