基于不动点转移的sa动态演化模型-中国科技论文在线.pdfVIP

第 27 卷 　第 11 期 计 　　算 　　机 　　学 　　报 Vol. 27 No. 11 2004 年 11 月 CHINESE JOURNAL OF COMPUTERS Nov. 2004 　 基于不动点转移的 SA 动态演化模型 1) ,2) 3) 2) 王映辉 　刘 　瑜 　王立福 1) ( 陕西师范大学计算机学院　西安 710062) 2) (北京大学信息科学技术学院软件研究所 　北京 100871) 3) (北京大学信息遥感与地理信息系统研究所 　北京 100871) 摘 　要 　构造性和演化性是软件的两个基本特性. 而软件演化包括静态演化和动态演化两个方面. 动态演化更为 复杂 ,这种复杂性决定了 ,对动态演化的研究首先应从宏观层面入手. 软件体系结构 SA 作为软件的蓝图和支撑骨 架 ,为人们宏观把握软件的动态演化提供了一条有效的途径. 该文描述了构件 ———连接件组成的 SA 动态语义网络 模型 ,分析了 SA 动态语义网络模型中的浸润过程 ,给出基于不动点的浸润过程收敛的判定 ,提出了邻接矩阵过滤 和原子过滤的概念 ,阐明了基于邻接矩阵原子过滤的 SA 动态语义网络浸润步的原子性. 指出 SA 动态演化过程可 用一系列邻接矩阵原子过滤在时刻上相继的逻辑衔接来描述. 最后给出了两个层面上对 SA 动态演化波及效应的 分析方法. 为基于矩阵变换的 SA 动态演化的进一步研究和计算机 自动量化描述奠定了基础. 关键词 　软件体系结构 ;动态演化 ;SA 动态语义网;邻接矩阵 ;浸润 ;不动点 中图法分类号 TP311 SA Dyna mic Evolution Model Based on StaticPoint Transition WAN G YingHui1) ,2) 　L IU Yu3) 　WAN G LiFu2) ) 1 ( ) School of Comp uter Science , Shaanxi Normal University , Xi ′an 710062 ) 2 (