中文摘要：

本项目针对如何提高软件异常处理能力的科学问题，研究面向服务软件异常处理逻辑的工程化开发方法和形式化验证方法。具体研究内容包括支持多层次和多级别面向服务软件异常处理的开发框架、异常处理策略及其配置语言、基于框架和策略的面向服务软件异常处理逻辑的开发方法、基于层次着色Petri网的异常处理逻辑的形式化描述与验证方法。项目在研究内容和技术路线上都具有一定的创新性。项目的研究成果可以解决面向服务软件大规模复杂异常处理逻辑开发方法中存在的一些难题，如缺乏全面的异常分类体系，缺乏可重用的异常处理资源集，缺乏简便高效的开发支撑工具，缺乏严格的描述验证方法等，具有重要的学术意义。项目的研究成果可以有效支持面向服务软件异常处理逻辑的开发，提高软件系统的可用性和可信性，具有重大的应用价值。

结论摘要：

本项目针对如何提高面向服务软件异常处理能力的科学问题，研究了面向服务软件异常处理逻辑的工程化开发方法和形式化验证方法。本项目具体研究内容包括研究异常处理策略描述语言及其面向服务软件的异常处理逻辑开发方法，支持设计人员开发或为已有的面向服务软件集成充分的异常处理逻辑；研究面向服务软件异常处理框架，提高面向服务软件异常处理逻辑的开发效率；研究基于层次着色Petri网的异常处理逻辑形式化方法，辅助设计人员检测异常处理逻辑的设计缺陷。通过深入研究，我们提出了一种基于策略的面向服务软件异常处理描述语言，设计实现了面向服务软件异常处理框架，提出了一种面向服务软件中异常处理逻辑的形式化描述方法，提出了一种基于顽固集状态空间的异常处理完备性验证方法，提出了一种基于模型检测的异常处理可终止性验证方法。项目的研究成果可以解决面向服务软件大规模复杂异常处理逻辑开发方法中存在的一些难题，如缺乏可重用的异常处理资源集，缺乏简便高效的开发支撑工具，缺乏严格的描述验证方法等，具有重要的学术意义。项目的研究成果可以有效支持面向服务软件异常处理逻辑的开发，提高软件系统的可用性和可信性，具有重大的应用价值。