| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 基于不动点转移的SA动态演化模型 |
| 作者 | 王映辉1),2) 刘瑜3) 王立福2) |
| 作者单位 | 1)（陕西师范大学计算机学院 西安 710062） 2)（北京大学信息科学技术学院软件研究所 北京 100871） 3)（北京大学信息遥感与地理信息系统研究所 北京 100871） |
| 发表年份 | 2004 |
| 发表月份 | 11期(1451—1456) |
| 文章摘要 | 摘要 构造性和演化性是软件的两个基本特性.而软件演化包括静态演化和动态演化两个方面.动态演化更为复杂,这种复杂性决定了,对动态演化的研究首先应从宏观层面入手.软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的动态演化提供了一条有效的途径.该文描述了构件——连接件组成的SA动态语义网络模型,分析了SA动态语义网络模型中的浸润过程,给出基于不动点的浸润过程收敛的判定,提出了邻接矩阵过滤和原子过滤的概念,阐明了基于邻接矩阵原子过滤的SA动态语义网络浸润步的原子性.指出SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上相继的逻辑衔接来描述.最后给出了两个层面上对SA动态演化波及效应的分析方法.为基于矩阵变换的SA动态演化的进一步研究和计算机自动量化描述奠定了基础. 关键词 软件体系结构;动态演化;SA动态语义网;邻接矩阵;浸润;不动点 中图法分类号 TP311 |