-
题名基于可达矩阵的软件体系结构演化波及效应分析
被引量：47
- 1
-
-
作者
王映辉
张世琨
刘瑜
王立福
-
机构
北京大学信息科学技术学院软件研究所
陕西师范大学计算机学院
北京大学信息遥感与地理信息系统研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2004年第8期1107-1115,共9页
-
基金
(国家高技术研究发展计划(863)
(国家重点基础研究发展规划(973)
(国家博士后基金)~~
-
文摘
构造性和演化性是软件的两个基本特性.软件演化由一系列复杂的变化活动组成.软件演化的复杂性决定了对软件演化的研究首先应从宏观层面入手.软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.描述了SA的构件棗连接件模型,建立了SA关系矩阵和可达矩阵,凭借矩阵变换与运算对SA演化中的波及效应进行了深入的分析和量化界定;并对演化中的构件删除、增加和修改以及构件的合并与分解等变化活动所引起的各种波及效应给予了阐述;同时,给出了构件在SA中贡献大小相对量的计算方法.为SA演化的管理、控制、利用和评价提供了可靠的依据,并为基于矩阵变换的SA演化的计算机自动处理奠定了基础.
-
关键词
软件体系结构
演化
交互关系
软件体系结构可达矩阵
波及效应
-
Keywords
Components
Computer architecture
Interfaces (computer)
Mathematical models
Mathematical transformations
Matrix algebra
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于不动点转移的SA动态演化模型
被引量：7
- 2
-
-
作者
王映辉
刘瑜
王立福
-
机构
陕西师范大学计算机学院
北京大学信息遥感与地理信息系统研究所
北京大学信息科学技术学院软件研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
2004年第11期1451-1456,共6页
-
基金
国家"八六三"高技术研究发展计划项目基金 (2 0 0 1AA113 171)
国家"九七三"重点基础研究发展规划项目基金 (2 0 0 2CB3 12 0 0 6)
+1 种基金
国家博士后基金 (2 0 0 40 3 5 0 2 5 1)
陕西省自然基金 (2 0 0 3F3 5 )资助 .
-
文摘
构造性和演化性是软件的两个基本特性 .而软件演化包括静态演化和动态演化两个方面 .动态演化更为复杂 ,这种复杂性决定了 ,对动态演化的研究首先应从宏观层面入手 .软件体系结构SA作为软件的蓝图和支撑骨架 ,为人们宏观把握软件的动态演化提供了一条有效的途径 .该文描述了构件———连接件组成的SA动态语义网络模型 ,分析了SA动态语义网络模型中的浸润过程 ,给出基于不动点的浸润过程收敛的判定 ,提出了邻接矩阵过滤和原子过滤的概念 ,阐明了基于邻接矩阵原子过滤的SA动态语义网络浸润步的原子性 .指出SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上相继的逻辑衔接来描述 .最后给出了两个层面上对SA动态演化波及效应的分析方法 .为基于矩阵变换的SA动态演化的进一步研究和计算机自动量化描述奠定了基础 .
-
关键词
软件体系结构
动态演化
SA动态语义网
邻接矩阵
浸润
不动点
-
Keywords
Computer architecture
Computer software maintenance
Semantics
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
