计算机科学与探索2012，Vol.6Issue(3)：208-220,13.DOI:10.3778/j.issn.1673-9418.2012.03.002
面向服务软件异常处理过程的可终止性验证
Verification of Termination for Exception Handling Process in Service-Oriented Software
摘要
Abstract
The dynamic and uncertainty of large-scale service-oriented software trend to cause high complexity of the exceptions logic which can lead to be extremely difficult to verify the termination of exception handling process. However, the termination of exception handling process is important foundation to ensure its correctness. If the ex-ception handling process does not terminate, service-oriented software will not work normally. The current research rarely focuses on the verification method of termination for exception handling process in service-oriented software, thus exception handling can not be guaranteed to achieve the desired objectives. Therefore, this paper proposes a colored Petri net (CPN)-based verification method of termination for exception handling process in service-oriented software. Firstly, this method establishes the hierarchy CPN model for exception handling (HCPN4EH) including the CPN description of normal flow and exception handling logic. Then, the termination of exception handling process can be analyzed and verified according to the established model. Finally, an example demonstrates the fea-sibility and effectiveness of this method. The results of termination verification can provide the foundation for further analysis of correctness of the exception handling process.关键词
异常处理/可终止性验证/验证方法/面向服务软件Key words
exception handling/ termination verification/ verification method/ service-oriented software分类
信息技术与安全科学引用本文复制引用
蒋曹清,应时,文静,贾向阳,管华..面向服务软件异常处理过程的可终止性验证[J].计算机科学与探索,2012,6(3):208-220,13.基金项目
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)). （国家重点基础研究发展规划(973）
