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