异常处理的可终止性是确保其正确性的重要基础,而现有面向服务软件中异常处理逻辑复杂度高,导致难以为其构建支持可终止性分析的模型。本文基于着色Petri网构建了面向服务软件中异常处理逻辑模型(Exception Handling Logic Model for Te...
详细信息
异常处理的可终止性是确保其正确性的重要基础,而现有面向服务软件中异常处理逻辑复杂度高,导致难以为其构建支持可终止性分析的模型。本文基于着色Petri网构建了面向服务软件中异常处理逻辑模型(Exception Handling Logic Model for Termination Analysis,TA-EHLM),能为可终止性分析提供有效支持。为了建立该模型,提出了面向服务软件中异常处理的建模方法,给出了其形式化语义模型;根据该语义模型建模方法及模块组合思想,通过组合多个异常处理逻辑模块和正常业务逻辑模块,形成了TA-EHLM模型。并在此基础上,分析和检测了异常处理可终止性,结果说明了该模型的有效性。
暂无评论