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

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

项目编号： No.61370051

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 赵会群

作者单位： 北方工业大学

项目金额： 75万元

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

中文关键词： 研究工作；学术活动；学术成就；；

英文摘要： 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 compone

英文关键词： Research Works；Academic Activities；Academic Merits；；