中国博士后科学基金(20040350251)
- 作品数：4 被引量：61H指数：3
- 相关作者：王立福王映辉张世琨王琼芳刘瑜更多>>
- 相关机构：北京大学陕西师范大学更多>>
- 发文基金：中国博士后科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于不动点转移的SA动态演化模型被引量：11
- 2004年
- 构造性和演化性是软件的两个基本特性 .而软件演化包括静态演化和动态演化两个方面 .动态演化更为复杂 ,这种复杂性决定了 ,对动态演化的研究首先应从宏观层面入手 .软件体系结构SA作为软件的蓝图和支撑骨架 ,为人们宏观把握软件的动态演化提供了一条有效的途径 .该文描述了构件———连接件组成的SA动态语义网络模型 ,分析了SA动态语义网络模型中的浸润过程 ,给出基于不动点的浸润过程收敛的判定 ,提出了邻接矩阵过滤和原子过滤的概念 ,阐明了基于邻接矩阵原子过滤的SA动态语义网络浸润步的原子性 .指出SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上相继的逻辑衔接来描述 .最后给出了两个层面上对SA动态演化波及效应的分析方法 .为基于矩阵变换的SA动态演化的进一步研究和计算机自动量化描述奠定了基础 .
- 王映辉刘瑜王立福
- 关键词：软件体系结构邻接矩阵不动点
- 基于特征的领域构件高内聚控制被引量：3
- 2005年
- 构件的高内聚性是基于构件复用研究领域常见的话题,也是软件开发者一直追求的目标。无论是对软件体系结构的获取,还是对软件演化的探究,甚至遗留系统的现代化改造,都与高内聚性构件的确定有着不可分割的天然联系。通过特征跟踪矩阵,建立了领域构件与特征之间的联系;给出了基于特征的n维向量空间中领域构件向量的表示,进而获取了反应领域构件间密切关系的领域构件向量距离矩阵;基于领域构件向量距离矩阵,结合等级簇聚合算法建立了领域构件等级簇树;最后在领域构件等级簇树的基础上,提出了一种高内聚领域构件获取和控制策略。
- 王映辉张世琨王立福
- 关键词：软件体系结构距离矩阵软件开发者控制策略
- 一种软件需求变化追踪方法被引量：16
- 2006年
- 有效的软件变化追踪方法是实施软件演化的关键.基于需求信息传播与建模、需求变化信息传播路径和需求变化信息跟踪方法三个层面,阐述了软件变化跟踪的整体过程框架;给出了基于变化起源跟踪矩阵、变化对象跟踪矩阵、变化构件跟踪矩阵、以及可达矩阵的功能变化传播记录方法;凭借矩阵运算,描述了功能变化跟踪的具体实现,并给出了实施变化所付出代价高低的初步判定方法.对软件维护甚至软件演化研究具有一定的借鉴意义.
- 王映辉王立福张世琨王琼芳
- 关键词：用况
- 软件体系结构演化模型被引量：36
- 2005年
- 软件演化包括静态演化和动态演化两个方面.作为软件的蓝图的SA(软件体系结构),为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.在描述SA的构件-连接件模型的基础上,首先针对SA的静态演化,建立了SA邻接矩阵和可达矩阵,凭借矩阵变换与运算对SA静态演化中的波及效应进行了深入地分析和量化界定,同时给出了构件在SA中贡献大小相对量的计算方法.其次,针对SA的动态演化,给出了SA动态语义网络模型,分析了SA动态语义网络中基于不动点的浸润过程收敛的判定,提出了邻接矩阵原子过滤的概念,进而指出,SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上的逻辑衔接来描述.最后给出了两个层面上对SA演化波及效应的分析框架.为SA演化的管理、控制、利用、评价和量化描述奠定了基础.
- 王映辉王立福
- 关键词：软件体系结构可达矩阵
