一种灵活的软件在线演化机制

随着因特网成为主流软件的运行环境,计算模式逐步进入开放、动态以及用户需求频繁变化的环境,导致软件系统需动态地调整软件的组织结构或者功能行为来满足外界变化的需求。基于设计模式中的命令模式,利用方法调用与方法执行分离的原则和采用集中调度控制所有方法执行的方式,设计出一种灵活的软件在线演化机制。通过实例验证,本机制能在运行时刻灵活方便地变更软件的功能行为和流程逻辑。     

一种基于智能体技术的软件自适应动态演化机制

针对分布式软件系统在动态演化中面临的原有软件单元难以重用、忽视软件内部运行状态引发的演化需求等问题,借助智能体(agent)具有的环境适应性、变化敏感性等特征,提出了一种基于智能体技术的软件自适应动态演化机制.通过将软件单元封装为Agent,并定义单元间的演化规则,使演化机制重用原有软件单元.通过一种基于数据推送的动态环境感知方法实现Agent间协作关系调整,同时满足来自内外部环境引发的动态演化需求.通过引入信息中介服务,实现了基于改进合同网的Agent协作策略,能够自适应地更替Agent,满足用户意愿变更引发的动态演化需求.依据演化机制在支撑环境中的运行情况及相关能力指标的分析,说明所提出的演化机制适用于动态复杂的分布式软件系统,是一种有效的软件自适应动态演化机制.     

一种基于反射机制的OWL-S需求规约演化方法

软件系统面临用户需求、软件资源和系统上下文环境等方面变化的挑战,软件需求不可避免地要求持续的演化。反射目前被用于软件系统的运行时管理和动态演化等方面,但还没有用于软件需求规约的演化。提出了一种基于反射机制的OWL-S需求规约演化方法,通过描述支持OWL-S需求规约演化的元信息,并以合理的方式使用这些元信息,实现OWL-S需求规约的演化。利用这种方法,需求分析人员可以有效地管理需求变更,以一种可控、有序的方式完成需求规约的演化任务。     

一种面向模型的动态架构及其支撑平台

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

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

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

基于进程代数的软件动态演化模型初探

许多软件系统由于需求和执行环境的变化,都需要在运行时动态的演化.因此确保软件在演化时以及演化后可以正确的执行变得十分重要.最近Zhang Ji提出一种基于状态的软件动态演化模型,论文尝试建立一种基于进程代数的动态演化模型,并主要以原文中的实例为基础,通过进程代数对其进行建模以及分析,为最终建立此模型积累一定的经验.     

基于JBoss AOP的软件动态演化

大型的长期运行的系统往往要求软件系统不能停止运行,而软件演化作为软件维护的重要部分是每一个软件系统不可或缺的,这就要求能够实现软件的动态演化.提出了一种基于AOP技术的软件动态演化机制,这种机制分为两种策略:运行时软件的功能更新方法和代码更新方法.根据对软件进行更新依赖的静态分析,按照一定的规则将一个个更新的动作作为一个系统的横切方面动态编织到系统中去,从而实现软件的动态演化.     

软件动态演化技术

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

一种面向体系结构自适应软件中的高可靠性组件分派方法

随着软件在关键领域的普及应用,比如航空、航天、电厂以及地铁系统等,软件可靠性获得广泛的关注,但当前考虑可靠性,主要是在设计时,考虑可靠性的最优分派问题,而本文是针对系统的在线决策,即在运行时利用组件冗余分派满足动态的系统可靠性问题.通过扩充面向体系结构的自适应演化模型,提出分布式体系结构可靠性模型,并针对当前面向体系结构可靠性模型中对冗余热备以及结构特征考虑的不足,对传统的可靠性模型进行修正以适合面向体系结构的自适应软件,最后在已有理论的基础上,提出一种冗余组件的分派算法解决运行演化时的可靠性满足问题,实验表明,该算法实现简单,计算时间较优,适合于动态演化时对可靠性的实时求解.     

基于并行搜索优化的指控系统自适应决策方法

指挥控制信息系统(指控系统)运行在动态变化的复杂环境中且任务需求时刻变更, 亟需一种自适应决策方法以动态产生调整系统的最优策略, 从而适应环境或任务变化, 确保系统长期稳定运行. 随着指控系统自身及其运行环境的持续复杂化, 自适应决策方法需具备应对多个非预期变化的在线权衡决策能力, 以避免造成冲突的调整后果或无法及时响...