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

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

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

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

基于动态构件框架的构件演化

软件系统是对现实世界模型的反映,现实世界的变化要求软件系统进行相应的演化。软件演化是软件系统的动态行为,贯穿整个软件生命周期,从系统的初始开发阶段到最终的软件维护。软件演化包括软件系统的过程、方法、技术、组织方式等的演化。基于软件构架和构件的开发方法实现的系统比传统的开发方法具有更好的易演化性。软件构架高度抽象地描述了软件系统的结构,包括系统元素的描述、元素之间的交互、用于指导元素复合的模式和这些模式的约束。我件是组成构架的基本元素,是对系统应用功能的实现;构件封装了功能性,有着自己的内部状态信息;构件的实现是异质的（可以用多种语言实现）,而且在系统实现中可能使用的是第三方提供的构件。基本构架和构件的系统可以有两种方式的演化：一是整体构架的演化,重组系统的构架,增加、删除系统的构件,修改构件之间的拓扑结构;二是系统中单个构件的演化,着眼于系统的单个构件,修改构件的接口、功能。本文着重于研究构架构件系统中构件的演化,对系统使用的构件进行演化,在不修改系统中其他的构件,保持构件之间的基本连接拓扑结构不变的情况下,将演化后的构件替换系统中的原有构件,实现对系统功能的修改。     

软件构件的可信保证研究

近年来，可信构件的研究逐渐引起软件工程领域的重视。可信构件研究与应用的目标是为了给基于构件的软件工程（CⅨ汇）提供坚实的基础，而方法就是通过扩展与完善可信重用的软件构件（可信构件）库。构件的可信来源于可信保障技术的应用，如：契约设计的使用、正确性的数学证明、软件测试、详细的代码走查、基于度量的评估、实际项目的验证、严格的变更管理等。本文通过分析可信构件研究的若干领域，总结出构件可信性的3个角度，探讨了可信构件研究的不足之处，并分析其原因。作为总结，给出了可信构件领域研究需要解决的若干问题。     

基于本体的可信软件演化框架模型*

为系统化地考虑开放环境对软件可信性的影响和驱动作用,提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的方法解决用户、系统和环境三者之间交互的语义问题,在此基础上,通过预定义的规则对软件行为的可信性和自主调整的必要性进行评估,依据评估结果从微观层次的规约制导和宏观层次的人机协同在软件生命周期内对其调整、配置与修正。应用实例及测试结果验证了该框架模型的有效性与可行性。     

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

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

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

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

面向对象的可信构件网的组装研究

以当前可信软件研究中的一个热点问题——基于构件的可信软件构造及其关键理论和技术为主要内容开展研究工作。在前期的工作中,根据面向对象的思想对Petri网进行扩展,提出了基于面向对象思想的可信构件网,从而 对构建的基于构件的可信软件模型中的可执行的构件集进行描述。 在描述的可信构件网模型框架中,将讨论两个构件基于连接件的并行组装、选择组装、顺序组装、循环组装。通过连接件的连接作用,根据一定的组织关系协调构件之间的关系,最终将组合的构件形成一个有机的整体。     

面向信任演化与联盟的服务组合研究

除了Web服务本身的动态性和提供的服务质量有差异外,互联网上各种恶意、伪装、虚假的不真实Web服务导致用户很难快速获得高质量的服务。提出了一种面向信任演化与联盟的服务组合框架,将服务提供者与服务请求经过演化而形成一种信任关系,通过组合过程形成的信任关系再将可信的服务提供者与服务请求者演化成一种联盟关系,从而将恶意、虚假的服务排除在系统之外,使得服务组合在可信的场景中进行;在此基础上,提出了基于信任演化与联盟的服务组合选取算法,避免了以往研究中对多维可信指标简单加权的不足。经过理论分析与实验对比证实了提出的框架具有很好的服务组织质量和速度。     

可信业务构件的框架模型及其实现机制

目前,对于业务构件模型的研究主要是关注于业务构件的识别和描述方法两方面,而业务构件的质量则较少得到关注。质量必然是满足构件使用者的基本前提,而业务构件的可信则全面体现了业务构件的质量。本文提出了可信业务构件的框架模型和四大可信要素,同时给出了可信要素的实现机制,重点阐述了逻辑可信的实现机制。     

面向服务的政务网格构架研究

基于电子政务的需求和网格相关新技术,提出一种政务网格的构架。构架中所有节点均为网格服务,并将服务按供给与消费关系、管理与被管理关系分类。整个构架给用户提供统一的、按需的服务。讨论构架的实施、主要节点算法及多维扩展性等相关问题。总结中肯定了构架的可行性,并提出了面临的困难和努力方向。     

面向Web服务的工作流建模语言比较

面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求，而其工作流建模语言是该类工作流系统的核心，文中简要介绍了两种面向Web服务的工作流建模语言：WSFL和XLANG，从控制转移，数据传递，异常处理，事务支持等方面对两种语言进行了详细的比较，总结了两种建模语言在各方面的优劣。     

一种基于混合策略的差分进化算法研究

差分进化算法DE(Differental Evolution)是一种著名的处理非线性复杂问题的优化技术。为改进其计算开销大、参数设置与问题本身特性过于相关等缺陷,提出一种混合策略的差分进化算法HDE(Hybrid DE)。它混合反向学习OBL(Opposition-based Learning)和自适应机制来进行参数调整,从而能加速算法收敛,同时提高求解成功率。在MATLAB环境中进行的测试实验结果表明,HDE在收敛速度,鲁棒性和计算开销等方面的性能在大部分测试用例上优于已有的多种算法。这表明混合策略是一种行之有效的差分进化算法的研究路径。     

一种面向服务的制造资源间协作方法的研究

本文把ａｇｅｎｔ技术引入制造系统,使制造资源ａｇｅｎｔ化,提出一种基于自由经济理论的面向服务的制造资源ａｇｅｎｔ间的协商协议,并给出了其基于会话的实现方法。     

面向服务的标绘系统设计与实现

为了支持跨地域、跨网域的各军兵种军事应用的信息共享,提出标绘图形处理系统服务化的需求。在研究面向服务的相关技术以及桌面版标绘系统的体系结构后,提出面向服务的标绘图形处理系统设计思想,设计了客户端/和服务器的模块,搭建了原型测试系统,验证了在局域网的环境下能够满足响应需求。     

一种面向服务的物联网中间件的设计与实现

提出一种面向服务的物联网中间件,注重物联网中物的系统功能,通过定义中立的服务接口,实现物、物与物间的有效管理和交互,以及与上层具体应用的对接。在该中间件的设计实现中,采用服务组合的方法,分别实现物的管理、交互和处理等服务。通过在某危险化学品运输监控系统中的应用,验证了面向服务的物联网中间件的设计思想和中间件系统,较好地保证了服务的提供和应用的可扩展性。     

服务代理在面向服务的体系结构中的应用

概述了面向服务的体系结构（SOA）,并分析了使用SOA方式构建的系统中传统的使用服务的机制。针对服务注册中心（UDDI）在传统的使用服务的机制中其作用得不到充分发挥的情况,提出了服务代理在SOA中的应用,对其结构做了详细的分析,并通过试验验证了其可行性和有效性。     

面向服务领域的过程改进模型综述

在全球经济中,服务业所占的比重为70％以上,并且仍然增长迅速.服务型企业如何在激烈的行业竞争中胜出,如何更高效建立服务、管理服务、交付服务来满足客户需要是这些企业面临的核心问题.为了解决以上服务型企业所面临问题,多家研究机构先后推出面向服务领域的过程改进模型,指导服务提供商进行过程改进.选择三个面向服务的过程改进模型:...     

基于JMX的面向服务的管理体系结构的研究与实现

提出了一种基于JMX技术的面向服务的管理体系结构SOAM(Service-Oriented Architecture Management)框架.结合一个实际的Web服务,重点论述了如何用JMX技术实现SOAM系统中的代理层,并对该SOAM系统的性能和应用领域作了简要的分析和评估.     

用户QoS需求导向的服务演化选择策略

服务型软件以其特有的优点被广泛应用,而面向QoS服务选择问题的解决能更有效地推动服务的普及。组合服务的演化性要求在服务发生演化时,从具有相同功能的候选服务中选择满足用户QoS需求的候选服务。为了在满足用户QoS需求的情况下选择最优的服务,基于遗传算法,提出一种用户QoS需求导向的服务演化选择策略。通过淘汰不满足用户QoS需求的候选服务,快速排除不符合需求的服务,并最终选择符合用户QoS需求的服务组合。实验结果表明,用户QoS需求导向的服务演化选择策略能够较优和较快地解决服务组合选择问题,并保证用户QoS需求,为服务选择提供一种新的方法和思路。