基于服务簇模式的组合式软件异常处理的建模与分析

The modeling and analysis for exception handling of combination software play an important role in its rationality and software reliability. It is a problem of great academic significance and practical importance about how to model and analyze exception handling of combination software so as to help to improve the rationality of exception handling and software reliability. The project will begin to study exception handling of combination software from modeling and analysis based on service cluster pattern. Specifically, several works will be done for the modeling and analysis of exception handling of combination software. An exception handling pattern based on the idea of service cluster is to be designed to meet the need of reliable exception handling way of combination software; a formal model of exception handling is to be established by using colored Petri net; the concept of structure robustness paradigm of exception handling is to be defined from the accessibility of path and timeliness of processing, and based on the technology for Petri accessibility analysis and for structure reduction, the analysis methods are to be presented for accessibility and structure robustness; and supporting tools are to be developed which support the modeling and analysis for exception handling of combination software. The research results of the project will support the evaluation of structure quality in order to help to improve the rationality of exception handling; and they can provide the optimization scheme for integration of exception handling service at development time, the support for dynamic combination of exception handling service at run time, which will help to improve the reliability of combination software.

组合式软件异常处理的建模与分析对其合理性和软件可靠性有着重要的作用。如何对组合式软件的异常处理进行建模与分析，以帮助提高异常处理的合理性和软件可靠性，是一个具有重要学术意义和应用价值的问题。项目将基于服务簇模式从建模与分析角度对组合式软件异常处理展开研究。具体包括：针对组合式软件缺乏可靠异常处理方法的需求，设计一种基于服务簇思想的异常处理模式；应用有色Petri网，建立一种异常处理的形式化模型；从路径可达性和处理及时性两个方面定义异常处理的结构健壮性范式，并基于Petri可达性分析与结构约减技术，提出异常处理可达性和结构健壮性的分析方法；研发支撑工具，支持组合式软件异常处理的建模和分析。项目研究的结果将支持对异常处理的结构质量进行评价，从而帮助改进异常处理的合理性；能为开发时集成异常处理服务提供优化方案，为运行时动态组合异常处理服务提供支持，从而帮助提高组合式软件的可靠性。

组合式软件异常处理的建模与分析对其合理性和软件可靠性有着重要的作用。如何对组合式软件的异常处理进行建模与分析，以帮助提高异常处理的合理性和软件可靠性，是一个具有重要学术意义和应用价值的问题。项目基于服务簇模式从建模与分析角度对组合式软件异常处理展开研究。具体包括：针对组合式软件缺乏可靠异常处理方法的需求，设计了一种基于服务簇思想的异常处理模式；应用有色Petri网，建立了一种异常处理的形式化模型；从路径可达性和处理及时性两个方面定义异常处理的结构健壮性范式，并基于Petri可达性分析与结构约减技术，提出一种异常处理可达性和结构健壮性的分析方法；研发支撑工具，支持组合式软件异常处理的建模和分析。项目研究的结果初步支持对异常处理的结构质量进行评价，从而帮助改进异常处理的合理性；能为开发时集成异常处理服务提供初步优化方案，为运行时动态组合异常处理服务提供支持，从而帮助提高组合式软件的可靠性。