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

作者：蒋曹清; 应时; 文静; 贾向阳; 管华

来源：计算机科学与探索, 2012, (03): 208-220.

• 异常处理
• 可终止性验证
• 验证方法
• 面向服务软件 exception handling
• termination verification
• verification method
• service-oriented software

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

• 单位
  武汉大学; 广西财经学院; 软件工程国家重点实验室