基于网构代数模型的网构软件体系结构可靠演化方法和技术研究

Based on algebra model of Internetware architecture, the method and the technology for reliable evolution of ISA(Internetware Software Architecture, ISA for short) will be deeply researched. By defining the concept of Dependency among Internetware components, Space of Internetware components and it's Base (a group of independent components) and interpreting the ISA evolution as a kind of algebra transformation, an algebra model and normal form for describing ISA reliable evolution will be proposed. Sequentially, a series of research works for protecting reliable evolution of ISA will be engaged in this project, including the algorithm of mutual designation combines both model checking and testing ISA evolution, reference template for model checking constrains and test cases and reliability evaluation model of ISA evolution. In order to validate and demonstrate above researching outcome two typical case studies will be achieved, one is architectural dynamic evolution of Cloud Service system and another is architectural dynamic evolution of Internet of Things system. Finally, a prototype tool will be developed for supporting ISA evolution involved in Cloud Service architecture and Internet of Things architecture.

基于网构代数模型研究ISA(Internetware Software Architecture网构软件体系结构，简称ISA)可靠演化的建模方法和技术。通过定义网构相关、网构空间，以及网构空间基等概念，把ISA演化解释成网构空间基下的代数变换，从而建立ISA演化的代数模型，并给出可靠演化范式。在此基础上继续研究ISA演化的可靠性保障措施，采用模型检测与基于模型测试混合的策略，研究可行的ISA可靠演化检测算法，提出检测规约和测试例参考模板；基于ISA可靠演化模型，提出ISA演化可靠性评价模型；结合云服务和物联网软件演化实际工作，提取ISA演化案例，检验上述研究成果的可行性，开发云服务和物联网软件可靠演化辅助工具。

总结了研究工作，分为四个专题。（1）深度调研和实验分析，（2）结构演化方法研究，（3）可靠性测试技术研究，（4）可信软件体系结构评价模型研究。重点介绍了四个病态网构软件体系结构的可靠演化算法，包括线性结构、环形结构、相似结构和错位结构的可靠性演化。介绍了研究期间2014-2017年组织和参加的学术活动，介绍了团队成员取得的进步和成就。