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

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

基于Petri网的面向动态演化的软件体系结构建模

为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性.以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模.首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明:该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性.     

一个面向服务的支持动态演化的软件模型

为了使面向服务的架构更适应动态演化的需求,提出了基于体系结构空间、支持动态演化的软件模型SASM．SASM是使用反射技术,通过具有因果相联的基层和元层来构造．基层由可运行的服务形成,元层是一个具备树形层次、层间存在求精关系的体系结构空间．该空间反映了需求的层次性,提供给用户不同抽象级别的视图和管理手段．通过对体系结构空间的观察,可获知系统的结构和行为信息．通过对体系结构空间的在线调整可实现对基层的修改进而实现系统的非预设动态演化,而空间中不同层次之间的求精关系保证了应用的完整性和演化的一致性．     

连接件模型与分类研究

连接件对于基于软件体系结构的软件开发具有重要意义,该文根据连接件在软件体系结构中所承担的责任以及它对构件交互的支持,建立了连接件模型,进而根据软件开发中的连接实现以及软件体系结构风格的研究,对连接件进行了分类,包括过程调用等11类连接件,不同类型的连接件支持不同的实现映射和复用途径。     

基于观察者的动态演化一致性研究

为了解决软件体系结构动态演化的不一致性问题,提高软件体系结构动态演化的演化效率,针对构件技术特性,分析了软件演化技术研究现状优缺点以及观察者技术特点,结合观察者技术特点扩展了构件,使构件具有被监视以及监视的特性,提出基于观察者的动态演化模型,来保证动态演化的一致性,并为分布式环境下的动态演化提供可行的方法。     

软件连接件风格的研究*

讨论了软件连接件风格的基本框架,并讨论了过程调用、事件连接件、数据访问连接件、直接连接、流、表决器、适配器、分布器的风格。     

软件连接件的分类及其应用研究

1 引言连接件在软件体系结构中占有重要的地位。绝大部分的软件体系结构分析方法,均把连接件作为一个单独的实体进行分析。把原本分散在系统各个部分的连接成分,组成一个单独可见的实体,并把它提到与组件相同的重要程度,这是软件体系结构分析的重要成果之一。当前,国内外对体系结构研究的主要方面有:     

体系结构下的软件动态演化探讨

软件的可演化性与构造性的关系紧密。为了提高软件的构造性,让软件动态演化得到支持,提出了基于体系结构的软件应用模型SASM。该模型使用反射技术进行构造,其元层由树形层次的体系结构RSAS组成,基层由物理构建组成。元层和基层因果相连,通过元层实现观察基层。此外,简单介绍了反射技术,重点探讨了SASM模型的框架设计及动态演化方法。     

软件连接件的分类及研究

连接件是软件体系结构中的一个非常重要的概念。作者基于体系结构讨论了连接件的概念并且从不同的角度对连接件进行了分类。在本文的最后还给出了连接件的一些特性。     

一种面向动态软件体系结构的在线演化方法

为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体,并与系统实现及系统规约之间保持因果关联.元模型的演化可通过反射实现对运行系统的修改和对规约的更新,所有演化行为都在良定义的体系结构元模型的指导下规范地进行,保证了演化前后系统的一致性、完整性和演化的可追溯性.基于该方法开发了可视化支撑平台Artemis-ARC系统,支持构件和服务的设计、开发、集成及动态演化,并通过简单的应用实例展示了在线演化的效果.     

基于软件体系结构的实时配置系统的方法

当今社会对软件密集型系统的依赖性越来越强,这使得寻求可靠的、健壮的、持续可用的系统成为必要。实时地根据应用需求对系统进行配置（如在系统中加入或删除某一模块,用新的功能模块替换原有的功能模块等等）是达到持续可用目标的一个方面。文章重点阐述了软件体系结构风格在实时变动系统时的若干优点,并在此基础上提出了一种基于软件体系结构的实时配置系统的方法。     

构件模型研究综述

基于构件的软件复用被认为是解决软件危机的重要手段,而描述构件本质特征及构件组合的构件模型是实现构件复用的关键技术。本文分析和研究了现有的构件模型,并根据构件接口和构件组合方式对各个构件模型进行了分类比较;结合已有的研究成果,展望了构件模型未来研究方向。     

自适应演化软件研究进展*

自适应演化软件通过演化技术,为软件添加动态、柔性以及灵活可变的特征,使软件系统能更好地适应动态、开放以及难控的网络环境,并在普适计算、嵌入计算等领域表现出良好的应用前景,成为当前软件技术研究中备受关注的热点之一。为更好地研究自适应演化软件,需对现有研究成果进行总结和归纳。首先总结自适应演化的基本特征,指出其面临的挑战;在此基础上,从语言、体系结构和框架应用层面描述其研究成果,并对其进行分类与比较,进而给出相关概念结构;最后总结了其不足以及进一步的研究问题。     

基于反射机制的软件体系结构重用方法及工具

针对软件开发早期阶段软件资源重用进展缓慢,反射机制在代码重用方面取得成功但还没有用于软件体系结构及其组成元素的重用等问题,提出一种支持软件体系结构设计时重用的反射机制,概述基于反射机制的软件体系结构重用方法。给出基于反射机制的软件体系结构重用的支撑工具ArchBean Studio的设计和实施过程。利用该方法,设计人员通过重用软件体系结构及其组成元素能高效地完成软件设计任务。     

面向模型的动态架构

为了使应用系统能够动态调整以适应用户需求的变化,提出一种面向模型的动态应用架构。该架构以生成的框架对象实例来调度各应用构件的工作,在框架层解释模型与构件间的引用和交互过程。通过把用户业务需求这一抽象概念具体化为可直接操控的模型,给出一种面向模型的动态架构演化技术。设计并实现了一个支撑平台IPmis,为具有动态调整能力的应用系统的开发和运行提供了可视化的集成环境。在此平台上完成了医疗保险集成系统的开发,满足了随用户需求变更和动态调整的需要。     

一种支持软件可信演化的构件模型

对环境的适应是软件保证其可信的重要手段.当应用场景超出开发阶段的预设时,软件的环境适应能力需要能够在线调整,以保证其行为和结果仍可符合用户预期.这一调整的前提是软件工程层面的高效支持机制.基于关注点分离原则和动态软件体系结构技术,提出了一种支持软件环境适应能力细粒度在线调整的构件模型ACOE(adaptive component model for open environment).ACOE将软件环境适应能力中的感知、决策、执行等关注点封装为独立的构件和连接子,通过动态软件体系结构技术来支持它们的在线重配置,从而使第三方可在必要时通过有选择性的更新来调整适应能力.实现了支持ACOE构件模型的容器原型,并通过实验验证了其有效性.     

基于非功能性特征的软件动态自演化框架

针对软件系统的动态自适应演化要求,提出一个基于非功能性特征的软件动态自演化框架。该框架将非功能性特征与不同目标的方面实现相关联,刻画它们之间的正负影响及权衡关系,并通过对方面实现的动态编织实现动态自演化。实验结果表明,该框架是有效可行的。     

适用于动态软件体系结构的扩展的Z描述语言

动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述。为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。