针对如何提高面向服务软件异常处理能力的科学问题，研究面向服务软件体系结构设计阶段异常处理逻辑的建模、仿真分析、验证方法及其支撑工具。具体内容包括：研究体系结构层异常模型AEM4SOA、能描述异常处理的软件体系结构描述语言SOADL-EH，以支持面向服务软件体系结构设计阶段异常处理逻辑的建模。研究基于着色Petri网的面向服务软件体系结构的形式化描述方法、异常处理逻辑仿真分析方法和异常处理逻辑验证方法，以分析异常处理逻辑对软件系统可靠性和时间性能的影响，验证异常处理逻辑的完备性、可终止性。研制相应的工具系统，并开展案例研究。项目成果可用于构造具有异常处理机制的面向服务软件体系结构的设计模型，在体系结构设计阶段保障面向服务软件的可用性和可信性，具有学术意义和应用价值。项目不但能为体系结构层异常处理机制的设计提供具有创新性的方法和工具，而且还能拓展创新着色Petri网在面向服务软件工程中的应用。

Focus on the capability improvement about exception handling of service-oriented software, the methods of modeling, simulation analysis, verification and its supporting tool of exception handling in architecture design phase are researched. Architectural exception model AEM4SOA and architecture description language SOADL-EH with exception handling facility are researched in detail, in order to support the modeling of exception handling in service-oriented architecture design phase.Based on colored petri net, formal description of service-oriented architecture, simulation analysis and verification of exception handling are also researched, in order to analysis the impact on reliability and performance of systems, completeness and termination about exception handling. In addition, tool development and case study are taken account for.The above researches will contribute to constructing the design model of service-oriented architecture with facility of exception handling, guaranteeing the availability and dependability of software.The above researches will not only provide the innovative methods and tools for designing the exception handling mechanism, but also expand the application of colored petri nets in the discipline of service-oriented software engineering.