基于不动点转移的SA动态演化模型

摘要：

构造性和演化性是软件的两个基本特性.而软件演化包括静态演化和动态演化两个方面.动态演化更为复杂,这种复杂性决定了,对动态演化的研究首先应从宏观层面入手.软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的动态演化提供了一条有效的途径.该文描述了构件--连接件组成的SA动态语义网络模型,分析了SA动态语义网络模型中的浸润过程,给出基于不动点的浸润过程收敛的判定,提出了邻接矩阵过滤和原子过滤的概念,阐明了基于邻接矩阵原子过滤的SA动态语义网络浸润步的原子性.指出SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上相继的逻辑衔接来描述.最后给出了两个层面上对SA动态演化波及效应的分析方法.为基于矩阵变换的SA动态演化的进一步研究和计算机自动量化描述奠定了基础.

关键词：软件体系结构、动态演化、SA动态语义网、邻接矩阵、浸润、不动点

所属期刊栏目：27

分类号：TP311(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2001AA113171;国家重点基础研究发展计划973计划2002CB312006;中国博士后科学基金20040350251;陕西省自然科学基金2003F35

在线出版日期：2005-03-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1451-1456