自恢复软件系统的建模与分析

不断增长的软件系统复杂性要求系统本身能够实时对资源变化、故障错误进行响应。虽然现在也发表了一些有关自恢复软件系统方面的文章，然而关于这类系统软件体系结构形式化的研究尚属起步；首先分析了自恢复功能软件的运行机制，给出了自恢复软件系统的形式化模型描述；在此基础上，对指挥控制系统（command and control system，简称c2）软件体系结构进行了形式化定义和分析。结果显示所设计的自恢复模型能够满足软件系统的约束条件，提高了系统的可用性。

Modeling and Analysis for Self-healing Based Software System

Complex software systems require themselves to self-manage at runtime in order to improve systems' availability. Although there exist research papers for modeling self-healing based systems, little has been focused on the formalized analysis of this kind of systems. Software architecture modeling was argued based on self-healing systems. After giving architectural style requirements, style characteristics, the self-healing mechanisms of the software architecture framework was designed according to the analysis of the requirements and the characteristics given before. Based on this model, a case study (command and control system) was analyzed by applying a formal systematic software architecture specification and analysis methodology (SAM). Conclusion shows this new model can satisfy the system's time constraint requirements and improve the system's availability.