可终止性验证相关论文
针对面向服务软件异常处理的可终止性难以验证问题,本文提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形......
大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理......
BPEL流程异常发生时采用了事件、中断机制,且异常处理过程中还可能重新抛出异常,这些特性往往导致异常处理不能正常终止,使得BPEL......
