| 面向服务软件异常处理过程的可终止性验证 |
| |
| 引用本文： | 蒋曹清,应时,文静,贾向阳,管华.面向服务软件异常处理过程的可终止性验证[J].计算机科学与探索,2012,6(3):208-220. |
| |
| 作者姓名： | 蒋曹清 应时 文静 贾向阳 管华 |
| |
| 作者单位： | 1. 武汉大学软件工程国家重点实验室,武汉430072;广西财经学院信息与统计学院,南宁530003
2. 武汉大学软件工程国家重点实验室,武汉,430072 |
| |
| 基金项目： | 国家自然科学基金，国家重点基础研究发展规划(973) |
| |
| 摘 要： | 大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行。目前缺乏异常处理过程的可终止性验证方法,从而无法保证异常处理达到预期的目标。基于着色Petri网(colored Petri net,CPN)提出了一种面向服务软件异常处理过程的可终止性验证方法。该方法建立了包括正常流程和异常处理逻辑的异常层次CPN模型(hierarchy CPN model for exception handling,HCPN4EH)。基于此模型验证了异常处理过程的可终止性。通过一个实例说明了该方法的可行性和有效性。得到的可终止性验证结果可为进一步分析异常处理过程的正确性提供基础。
|
| 关 键 词： | 异常处理 可终止性验证 验证方法 面向服务软件 |
Verification of Termination for Exception Handling Process in Service-Oriented Software |
| |
| JIANG Caoqing
,
YING Shi
,
WEN Jing
,
JIA Xiangyang
,
GUAN Hua.Verification of Termination for Exception Handling Process in Service-Oriented Software[J].Journal of Frontier of Computer Science and Technology,2012,6(3):208-220. |
| |
| Authors: | JIANG Caoqing YING Shi WEN Jing JIA Xiangyang GUAN Hua |
| |
| Affiliation: | 1. State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China 2. College of Information and Statistics, Guangxi University of Financial and Economics, Nanning 530003, China |
| |
| Abstract: | |
| |
| Keywords: | exception handling termination verification verification method service-oriented software |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
