网构软件体系结构建模与检测的方法和技术研究

运用代数学理论研究网构软件体系结构的建模方法。在把网构连接解释成网构运算、根据网构连接特性对网构运算进行分类、严格证明网构运算的代数性质之后，提出网构软件体系结构的代数模型。在代数模型基础上，重点研究网构软件体系结构的可信性设计问题。通过提出多种可信范式和可信性评价模型，把可信属性作为功能属性进行设计，建立可信的网构软件体系结构模型。基于上述模型，对可信性检验方法和技术研究。提出配合模型检验(Model Checking,简称MC)的状态空间简化方法，提出基于可信范式和网构运算性质的体系结构可信性检验方法，以及基于模型检验结果引导的体系结构测试方法，支持网构软件基于体系结构全生命周期检测的思想。对上述检测技术研究，设计实现一个网构软件体系结构可信性检测工具原型系统。

按照国家自然科学基金项目的任务书，课题组完成了以下三方面的研究工作。（1）网构软件建模方法研究。成功地把代数学方法引入网构软件的建模中，定义了网构“使用”、“激发”、“协同”、“并行”、“重复”、“选择”，证明了相关的运算法则，从而为研究网构软件的性质奠定了理论基础。（2）基于网构代数模型继续研究网构软件的可达性设计和保障措施，提出了多种可靠性范式，为模型检测和测试可达性提供了检测条件。（3）网构代数模型的应用研究。在证明了网构空间与代数空间的等价变换之后，把网构表达式等价变换成线性代数表达式，从而许多网构空间下的问题可以在代数空间里求解，比如，网构的可达性分析等。这一创新研究为理论研究复杂网构软件找到了新的途径。.