面向服务软件异常处理模型及可终止性分析
异常处理的可终止性是确保其正确性的重要基础,而现有面向服务软件中异常处理逻辑复杂度高,导致难以为其构建支持可终止性分析的模型。本文基于着色Petri网构建了面向服务软件中异常处理逻辑模型(Exception Handling Logic Model for Termination Analysis,TA-EHLM),能为可终止性分析提供有效支持。为了建立该模型,提出了面向服务软件中异常处理的建模方法,给出了其形式化语义模型；根据该语义模型建模方法及模块组合思想,通过组合多个异常处理逻辑模块和正常业务逻辑模块,形成了TA-EHLM模型。并在此基础上,分析和检测了异常处理可终止性,结果说明了该模型的有效性。
面向服务软件 异常处理 形式化模型 可终止性分析
蒋曹清 应时 文静 贾向阳 王一兵
武汉大学软件工程国家重点实验室 武汉 430072;广西财经学院信息与统计学院 南宁 530003 武汉大学软件工程国家重点实验室 武汉 430072 第二炮兵指挥学院三系 武汉 430012
国内会议
西安
中文
1-21
2012-08-16（万方平台首次上网日期，不代表论文的发表时间）