一种面向服务的软件演化推荐信任方法

目前软件体系结构动态演化研究,主要方法是从软件系统演化的操作或规则入手,描述或建模面向服务的软件系统演化,而往往忽略软件本身的可信问题。事实上,在软件演化初始前,对软件演化进行可信方面的研究,可以大大地降低软件演化失败的几率。该文从软件的推荐信任的角度考虑软件的可信度,提出一种软件推荐可信的计算方法,解决软件演化非相邻构件的信任问题。     

DSCM:一个支持动态演化的服务组件架构模型

针对服务组件架构(Service Component Architecture,SCA)的动态管理和演化的不足,文章研究SCA的动态重构技术.在符合SCA模型规范基础上结合开放服务网关规范(Open Service Gateway Initiative,OSGi)技术,提出一个开放环境下的动态服务组建模型DSCM(Dynamic Service Component Model),它以Object Teams技术作为基础设施,从而提高应用系统的可理解性、重用性、扩展性、适配性和进化能力.DSCM支持分布式和异构平台的整合,支持简单老式java对象(Plain Old Java Object,POJO)增强和管理的机制,使得框架具有通用性和无入侵性.     

基于反射和连接件的SA动态演化研究

使用反射机制感知软件系统的结构与运行状态,提出了一种基于知识规则、直接对连接件进行操作的SA动态演化方法,消除了SA动态演化的不一致性,提高了效率.该方法使用代数表达式简化了演化日志,提高了演化可跟踪性。     

软件动态演化技术

为适应开放环境和用户需求的变化,软件应该具备在运行时刻自演化的能力,从而满足各种需求变化,因此深入研究动态演化技术显得尤为重要.介绍了软件动态演化的开放性、层次性和整个演化活动的具体过程,讨论了动态演化的语言、模型和平台三者之间的关系以及当前的研究成果,并对已有成果中的实现方法、实用性和特色进行了比较,指出其不足之处.最后提出动态演化技术应重点研究的关键问题,并对其发展前景进行展望.     

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

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

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

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

面向服务对象的动态演化机制

针对应用系统需灵活地动态演化以适应动态开放的底层因特网环境和灵活多变的用户需求的需要,提出一种面向服务对象的动态演化机制。该机制把软件设计阶段易变的部分建模成服务对象,并借鉴面向服务的服务注册和查询机制,利用服务对象注册表解耦对象的引用实现软件演化。详细介绍了该演化机制及其演化过程,并与相关的代表性研究工作进行对比,通过实验表明该机制比面向服务具有更好的性能。     

面向模型的动态架构

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

软件动态演化技术

为适应开放环境和用户需求的变化,软件应该具备在运行时刻自演化的能力,从而满足各种需求变化,因此深入研究动态演化技术显得尤为重要。介绍了软件动态演化的开放性、层次性和整个演化活动的具体过程,讨论了动态演化的语言、模型和乎台三者之间的关系以及当前的研究成果,并对已有成果中的实现方法、实用性和特色进行了比较,指出其不足之处。最后提出动态演化技术应重点研究的关键问题,并对其发展前景进行展望。     

基于服务组合的可信软件动态演化机制

以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;在此基础上,通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法;然后,针对组合服务动态演化过程中运行实例的处理,设计了一个组合服务演化中运行实例在线迁移算法,为正确实施演化提供支持;最后,设计实现了一个支持动态演化的组合服务执行引擎,并通过实验验证了所提出方法的有效性.     

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

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

一种面向服务的动态协同架构及其支撑平台

为了让面向服务的架构下的应用系统能够灵活地动态演化以适应底层因特网计算环境和用户需求的变化,该文提出了一种面向服务的动态协同架构．该架构引入内置的运行时体系结构对象来解耦系统中的各个服务构件,并通过该对象以体系结构的视角来重解释服务部件之间的引用和交互．这样就把体系结构这一抽象概念具体化为可直接操控的对象,从而可以利用面向对象程序设计语言的继承和多态等整套机制,导出一种面向体系结构的系统动态演化技术．为支持这一架构,设计并实现了一个支撑平台Artemis-ARC,为具有动态调整能力的面向服务应用系统的开发、运行和监控提供了一套可视化的集成环境．在此平台上还开发了一个简单的示例应用以展示动态调整的效果．     

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

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

一种支持动态演化的AOP框架

传统面向对象(OOP)框架对软件的变化性和复杂性支持有限.为此,基于C++语言,提出一种支持动态演化的面向方面编程框架——AODF.给出Bigraph理论的静态和动态建模过程,通过Bigraph反应系统实现AODF的动态演化,使用图形及形式化的项语言表述其演化过程.实验结果表明,与传统OOP框架相比,AODF的代码模块化程度更高,软件系统扩展性更好.     

基于图文法的动态软件体系结构支撑环境

使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图模型的可视化构造和操纵;另一方面,基于内置运行时体系结构技术实现了体系结构图模型在具体系统中的物理实施,并使得图模型上的图转换操作可以自动映射到实际系统的动态重配置上.再加上一系列的辅助设施,形成了一个较为完整的基于图文法的动态软件体系结构支撑环境.     

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

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