面向服务软件体系结构设计阶段异常处理的建模与验证

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.

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

针对如何提高面向服务软件异常处理能力的科学问题，研究面向服务软件体系结构设计阶段的异常处理逻辑的建模和形式化分析验证方法.构造了面向服务软件系统的体系结构层的异常模型AEM4SOA,定义了支持异常处理建模的面向服务软件体系结构描述语言SOADL-EH，以及基于该语言的体系结构设计阶段异常处理逻辑的建模方法，并研究了SOADL-EH中各种语言成份的基于着色Petri网的形式化语义，以及基于Petri网状态空间分析技术的体系结构设计阶段的异常处理的形式化验证方法。项目成果可用于构造具有异常处理机制的面向服务软件体系结构的设计模型，在体系结构设计阶段保障面向服务软件的可用性和可信性，具有学术意义和应用价值。