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

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

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

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

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

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

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

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

一种面向构件化软件的在线演化方法

针对构件化软件系统,提出了一种对软件进行在线演化的方案,并以一个符合J2EE规范的构件运行支撑平台为例讨论了该方案的实现.该方案借助JAVA平台的类装载机制,通过仔细划分构件实例的生命周期,针对不同状态的构件采取相应的措施,实现了以构件为粒度的软件在线演化.     

动态软件体系结构研究综述*

近年来,随着Internet的迅猛发展和应用形式的不断更新,传统的软件体系结构（SA）已无法完全适应需求,动态软件体系结构（dynamic software architecture,DSA）逐渐成为SA研究人员关注的焦点之一。描述了DSA的研究背景及研究意义;总结了DSA的研究内容及国内外的研究现状;最后探讨了DSA研究的主要发展方向。     

管理信息系统软件体系结构演化研究

采用软件体系结构技术,可以使软件开发具有较高的实用价值,开发的软件系统具有可重用性、共享性和可维护性,并可以提高软件生命周期.论文对综合人事信息系统软件体系结构发现、演化、复用进行了研究,分析了综合人事信息系统体系结构发展中的四种体系结构,揭示了综合人事信息系统软件体系结构从管道型到异构型的演化历程,研究成果对管理信息系统软件体系结构设计有重要参考价值.     

基于Bigraph理论的动态演化软件相关特性分析与验证方法

软件演化中的行为一致性、相容性以及系统完整性约束,长期以来是动态演化中研究的热点.本文利用Milner等提出的Bigraph理论对软件演化中的特性进行研究.与以往利用Petri Net、演算及进程代数不同,Bigraph融合演算和移动Ambient 演算的优势,其目的为现有的移动和并发理论建立统一的元模型,并且引入环境上下文参与系统的迁移,使系统的描述更为直观和精确,从而适合对动态演化形式化.本文简要介绍Bigraph的基本概念和现状,利用Bigraph建立演化系统的构件模型,并在Bigraph理论基础上给出分析和验证完整性、一致性和相容性相关规则,并通过具体实例验证利用Bigraph对动态演化建模的有效性.     

基于Bigraph的面向方面动态软件体系结构演化研究

随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求.面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很好地验证系统演化前后的正确性.Bigraph不仅具有直观的图形化表达能力,而且具备良好的数学基础,可以推理和验证系统的演化性质.因此,提出了一种面向方面动态软件体系结构(AODSA)模型,扩展的Bigraph用于描述AODSA的结构,使用Bigraph反应系统(BRS)来描述AODSA的动态演化.最后以一个简化的ATM存款系统模型为例,说明Bigraph表示的ATM模型以及基于BRS的演化过程.     

基于反射机制的系统行为一致性判定模型研究*

构件演化是一种基于软件产品族的软件开发方法,它能够以较低的开发成本满足用户不断变化的功能需求.然而,构件演化可能会导致系统演化前后行为的不一致.对构件演化一致性问题进行了较为深入的研究,提出了正常运行一致性、兼容性一致性的概念,并把兼容性一致性分为观察一致性、弱一致性、强一致性,并基于反射机制建立了一种构件系统行为一致...     

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

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

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

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

面向模型的动态架构

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

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

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

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

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

一种面向体系结构的自适应软件构件分派模型及算法

自适应演化软件是近年来软件工程领域的研究热点,而以体系结构为中心的自适应演化尤其受到重视.针对当前演化中对非功能性约束关注的不足,着重对面向体系结构的自适应演化框架中构件的分派优化问题进行研究.首先详细描述了基于体系结构模型的构件分派问题,并建立能够满足嵌入式软件构造机制中非功能性约束的分派模型,接着证明该分派问题为NP完全问题,最后提出一种启发式分派算法找出近似最优解,实验表明,与贪婪和整线性规划算法相比,该算法具有多目标均衡的优势;而与整线性规划算法相比,虽然不能保证找到最优解,但具有较大的计算时间优势.