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

• 作者: 应时 文静 管华 蒋曹清 贾向阳
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 异常处理 可终止性验证 验证方法 面向服务软件
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 学术研究
• 页码范围: 208-220
• 分类号: TP311
• 字数: 9940字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2012.03.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	应时	武汉大学软件工程国家重点实验室	100	849	10.0	26.0
2	文静	武汉大学软件工程国家重点实验室	22	159	7.0	12.0
3	蒋曹清	武汉大学软件工程国家重点实验室	9	38	4.0	5.0
7	贾向阳	武汉大学软件工程国家重点实验室	27	115	6.0	8.0
8	管华	武汉大学软件工程国家重点实验室	10	33	4.0	5.0