面向服务软件异常处理过程的可终止性验证

摘要：

大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难.而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行.目前缺乏异常处理过程的可终止性验证方法,从而无法保证异常处理达到预期的目标.基于着色Petri网(colored Petri net,CPN)提出了一种面向服务软件异常处理过程的可终止性验证方法.该方法建立了包括正常流程和异常处理逻辑的异常层次CPN模型(hierarchy CPN model for exception handling,HCPN4EH).基于此模型验证了异常处理过程的可终止性.通过一个实例说明了该方法的可行性和有效性.得到的可终止性验证结果可为进一步分析异常处理过程的正确性提供基础.

关键词：异常处理、可终止性验证、验证方法、面向服务软件

所属期刊栏目：6

分类号：TP311(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No.61070012;the National Grand Basic Research 973 Program of China under Grant No.G2007CB 310800国家重点基础研究发展规划973

在线出版日期：2012-05-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：208-220