分布式OSGi研究与发展*

OSGi分布式扩展技术将分布式计算技术与OSGi框架融合,使之能够支持跨多虚拟机的异构分布式处理,是OSGi领域的研究热点。系统地介绍了这一崭新领域的理论研究情况,分类比较了几种主流分布式扩展技术的异同,探讨了分布式扩展的性能以及应用进展情况,给出了未来研究与发展的趋势。     

一种面向普适计算的适应性软件体系结构风格

普适计算软件需要适应用户需求和运行环境的动态变化.这一特点使得软件复杂度空前增加,迫切需要以软件体系结构为代表的架构/设计层面重用手段来支持其高效开发.在以适应性为中心的普适计算空间抽象模型基础上,提出了一种面向普适计算的软件体系结构风格UbiArch,并从概念视图、运行视图和开发视图这3个维度对该软件体系结构风格进行了阐述.UbiArch支持软件实体按需加入应用、主动适应环境的行为模式,实现了软件适应能力的高层次重用,同时与构件等成熟软件技术的紧密结合也保证了其可实践性.支撑该体系结构风格的软件平台原型系统及其上的应用验证了UbiArch的有效性和通用性.     

信息系统及其综合集成技术

信息与信息系统无处不在,信息化已成为当今的时代特征。本文通过对这一时代特征的透视,首先阐明计算机信息系统的切确含义和基本结构;然后指出,为适应信息世界的不断变化和发展,一体化信息系统所需的综合集成是柔性的,并揭示支持随需应变的若干敏捷软件技术;进而就相关的平台软件,包括基础中间件和各类应用集成中间件,以及领域应用框架进行分类并作必要诠释;最后讨论信息系统的发展趋势和云计算等若干热点问题。     

一种可扩展的高效全序组通信算法

全序组通信是构建分布式应用程序的一种重要通信原语,它能够保证一个通信组中的所有成员都按照同样的顺序接收消息.现有的全序组通信算法缺乏可扩展性,即当通信组中的成员数目较大时,算法的延迟时间和吞吐量都显著下降,因此这些算法不能适用于大规模的计算系统.本文提出了一种可扩展的全序组通信算法,它通过对通信进程进行分层,从而有效地平衡系统的容错性和性能开销.模拟试验结果表明,在通信进程数目较多时,该算法在延迟时间和吞吐量等性能指标方面都优于已有算法.     

基于SPKI的分布式委派凭证存储框架

信任管理(TM)是面向开放多域环境的分布式授权技术。TM系统从网络中搜索委派凭证以进行分布式授权决策,面临效率和可用性问题。本文提出一种基于SPKI的分布式凭证存储框架,将委派凭证冗余地存储到相关实体,以避免委派凭证的动态搜索过程,有助于解决现有TM系统凭证管理的局限性。     

普适计算的可信研究*

随着应用规模的不断扩展以及具有无处不在性和便捷性的普适计算模式的特点,对普适计算环境下的可信保障提出了更高的要求。普适计算的可信保证是无时无处不在而又不可见的计算方式得以实施的重要保障,是普适计算领域的研究热点。从访问控制、隐私保护和容错三个方面阐述了普适计算的可信技术,并指出了该领域的未来研究发展趋势。     

基于XML的CORBA反射机制的研究

研究一种反射方法,该方法可使CORBA对象以XML格式向客户应用返回元数据,CORBA系统不再需要配置接口池,客户就能动态获取CORBA对象元数据。     

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

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

软件服务的在线演化

软件服务的在线演化技术是当前可信软件研究的一个重要方向,对于实现快速、低成本的成长式可信演化具有重要意义.与离线的演化技术相比,在线演化强调软件系统在结构修改和功能调整期间仍能够持续提供服务.文中在给出软件服务在线演化基本定义、归纳其结构模型和一般性过程模型基础上,提出涵盖演化范畴、演化类型和演化方式等方面的分类模型,...     

基于向量时间的因果序通信协议的研究与设计

对于一个由多个成员组成的分布式应用如CSCW、副本数据库应用等来说,一个成员为了完成其所承担的任务,通常不仅要给其它成员发送组播消息,而且还要给某个或某些成员发送单播消息,并且这些消息形成了一种相互依赖的因果序关系。为了有效地支持成员之间的交互及分布式应用的开发,提出了一个新的基于向量时间的因果序单播、组播混合通信协议－CR＿UMcast协议。该协议允许组成员既可以发送组播消息,又可以发送单播消息,并且保证按它们之间的因果优先顺序进行传递。