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

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

SA Dynamic Evolution Model Based on Static-Point Transition

Construction and evolution are two basic properties of software. Software evolution includes two aspects of static & dynamic evolution. Software dynamic evolution is more complex, this complexity decides that research of software dynamic evolution should be begun with macroscopical level. Software architecture SA acts as blueprint and skeleton of software, it is an availability approach for people to grasp macroscopical software architecture and evolution based on SA. SA dynamic semantic network model based on components and connectors is described. Soak process in SA dynamic semantic network is analyzed, and decision condition about convergence of soak process is addressed. A concept of adjacency matrix atomic filtration and atomic property of soak step based on adjacency matrix atomic filtration is put forward, so SA dynamic evolution is described by a series of continuous adjacency matrix atomic filtrations. At last, an analysis approach of ripple-effect of SA dynamic evolution is described based on two of levels. All the above are credible foundation of SA dynamic evolution research in the future, and are automatic transition foundation based on matrix in computer.