分布式主动实时事务语义模型与静态预分析

为支持分布式主动实时数据库事务处理的可预测性,提出了一种新的基于树的事务语义模型,该模型利用事务“关节点”的概念能较好地描述分布式主动实时事务的语义与结构特征,并能有效地支持分布式主动实时事务预分析处理与动态预测的结合。另外,分析了分布式主动实时事务的静态语义信息,构造了静态事务信息集合。     

基于组件的分布式软件的动态配置和容错

论文提出一种结构化新方法,它能通过动态配置支持基于组件的分布式软件的容错。采用面向图形的编程模型,基于组件的分布式软件的软件体系结构可用一个逻辑图来表示,该逻辑图可以精化为一个明确的对象并分布到网络中,软件的动态配置通过执行定义在图上的一系列操作来实现,发生错误时通过动态重配置软件来支持容错。论文描述了该方法的基本模型、系统结构及其在CORBA上的实现原型。     

基于观察者的动态演化一致性研究

为了解决软件体系结构动态演化的不一致性问题,提高软件体系结构动态演化的演化效率,针对构件技术特性,分析了软件演化技术研究现状优缺点以及观察者技术特点,结合观察者技术特点扩展了构件,使构件具有被监视以及监视的特性,提出基于观察者的动态演化模型,来保证动态演化的一致性,并为分布式环境下的动态演化提供可行的方法。     

方面化构件软件动态演化支撑框架研究

随着用户需求和开放的网络计算环境的不断变化,软件复杂性与演化要求也随之不断增强。为适应基于关注点分离的方面化构件软件的动态演化需求,提出一种动态方面编织框架DWAC(Dynamic Weaving Framework for Aspectual Component-based Software)。该框架以方面化构件为基本单位,基于软件体系结构规约和系统实现,给出方面化构件增加、删除和修改的具体执行过程,并举例验证了其对面向方面的构件化软件动态演化的支持能力。     

基于构件的服务模板研究

针对“软件人”构件动态演化系统(SoftMan component dynAmic eVolution system,SMCAVS)平台提出了一种服务模板的概念模型——“软件人”服务(SoftMan service,SMS).通过形式化定义服务体、服务绑定、服务端口、子服务等元素,形成了一个递阶式、可扩展的模型.给出了用于表示SMS服务模板信息的DTD规范文档,并在此基础上设计实现了存储和管理方法.通过服务构件化测试,验证了SMS服务模板概念模型设计的正确性与可靠性.     

构件化软件演化信息建模和获取方法研究

为了清晰、全面地获取构件化软件的演化历史信息, 通常需要提供演化信息表示和建模的有效手段。分析了构件化软件演化信息获取所需解决的若干问题, 提出了在软件构件模型基础上, 增加建模元素以表示软件演化信息的方法; 通过结合软件配置管理系统, 实现对构件化软件变化过程的追踪和管理。基于该方法和相应的系统支持, 可以为实施软件重构和后期开发提供指导。     

基于本体的构件化软件演化信息获取及度量研究

软件演化信息是一种重要的、能反映软件变化历史的信息.然而,传统的软件演化信息以文件或者项目作为跟踪软件变化的基本单元,不能有效地支持构件化软件演化信息的存储和检索.提出了采用本体概念表示构件化软件演化信息的策略,并利用Jena推理机实现构件化软件演化信息的荻取.该方法不仅能检索构件化软件的基本演化信息,而且可以通过定义规则的方式检索出蕴含的演化信息.同时,文中也提出了一种构件化软件演化度量的模型,该模型通过对演化属性的计算分析来预测构件化软件的演化趋势.     

网格环境下的一种事务协调机制及其补偿技术

事务处理是网格计算能否投入实际应用尤其是商业应用的关键技术之一，用于网格环境下的事务处理必须同时提供协调短时操作和长时间的商业活动的能力，基于Gtobus Toolkit和代理技术，提出了一种能够同时管理原子事务和聚合事务的事务协调机制，研究了相应的可以容错各种失败的协调算法，通过自动产生和执行补偿事务，聚合事务协调机制可以满足网格计算中对长事务的处理要求。     

基于Web服务的工作流事务处理的研究与实现

事务处理是Web服务实现分布式信息集成的关键技术之一,利用工作流技术实现Web服务的事务处理是实现分布式事务的一种有效手段.提出一个能够处理分布式、异构应用下Web服务组合事务的模型,并详述Web服务事务在执行过程中抛出异常时,补偿事务的产生策略和执行机制.     

基于多维属性的构件化软件演化相似性度量方法研究

对不同软件进行演化相似性度量和比较能帮助软件维护人员理解软件演化及预测其演化趋势。然而,传统的研究大多度量单一软件演化属性的变化,虽然有些也涉及到多维演化属性,但并没有与软件的演化相似性相联系;同时亦缺乏在较高抽象层次度量软件演化相似性的有效途径。为此,以构件为基本单位,提出了一种基于多维演化属性的构件化软件演化相似性度量模型。即通过在原子构件层和系统(复合构件)层定义演化属性,进而度量原子构件之间以及系统(复合构件)之间的演化相似性。初步的实验表明,在原型工具的支持下该方法能辅助软件维护人员进行软件演化相似性的判断。     

基于Agent的组合构件服务工作容错研究

组合构件服务是将分布在 Internet上构件提供的服务进行链接 ,形成具有新功能构件服务的分布式网络计算技术。本文在分析了基于 agent的构件服务工作模式及构件服务组合方式可能产生的工作失败的若干情形的基础上 ,给出了构件服务工作的结构失效和源失效的概念。针对组合构件服务由于源失效可能引发的的执行失败 ,提出了局部容错的方法来解决完全备份容错导致的执行代价太高的问题 ;为了保证组合构件服务最大限度的稳定运行 ,提出利用基于 agent的服务发现和服务协商来实现执行容错。最后给出了在集中式调度模式和分布式调度模式下的基于 agent技术的组合构件服务执行容错调度算法。     

支持SMC远程交互的分布式绑定中间件研究

为了支持SMC构件的分布式计算,提出了基于远程绑定的分布式中间件.该中间件由SMC构件注册服务层、SMC构件远程绑定层和分布式体系结构描述层三部分组成.注册服务层管理分布式计算环境中的构件;远程绑定层提供构件间的远程访问服务;分布式体系结构描述层支持基于SMC/ADL显式规约的分布式SMC构件互操作.通过与RMI、CORBA等中间件的对比实验表明,该中间件在运行阶段为SMC构件实例之间提供了轻量、透明、平滑的分布计算支持,具有良好的实用性和可操作性.     

基于Agent的网构软件构件模型及其实现

网构软件代表了Internet环境下的一种新型的软件形态,但仍然面临着外部环境显式化、软件实体主体化、运行机制自适应等问题.从构件的角度出发,提出了EBDI(electronic business document exchange)结构以表示能够根据环境变化实施自主行为的构件,利用动态绑定关系解释了构件的自适应演化特征.根据形式化的Role模型,描述了构件的运行状态、自主运行及自适应演化运行机制.开发了DAgent-Internetware原型作为网构软件的支撑平台,支持以DAgent为构件的网构软件从设计到实现、部署、运行、演化等一系列流程.     

软件动态配置模型中的构件依赖描述

构件间的依赖关系是当前基于构件的分布式软件的研究热点之一.提出一种基于XML的描述构件间依赖的方法,并将该方法应用于一个动态配置分布式软件的模型中,成功地实现了构件的动态配置和部署,证明了该方法的可行性.     

非侵入式容错软件模型及实现

为消除或降低容错软件开发人员对非业务逻辑的关注度要求,提升系统的可维护性,提出了一种支持容错逻辑动态织入的非侵入式容错软件模型.通过在设计阶段将容错逻辑抽取成为若干独立可管理的容错切面,并在运行时将其动态织入软件系统中以保证软件服务质量.分析了声明式容错策略,探讨了以软件冗余副本为容错机制的容错切面建模和编织方法.最后基于此模型扩展了一个J2EE常规应用,使之具有容错能力.测试结果表明,该模型能有效提升容错软件的开发效率和可维护性.     

基于Linux的守护“软件人”的设计与实现*

分析了“软件人”系统中“软件人”的组织结构与功能,详述了Linux操作系统下守护“软件人”的设计与实现,提出了一种基于分布式负载信息交互的负载平衡方法,并给出了部分关键数据结构与“软件人”迁移协商算法框架。     

Web服务事务处理模型研究

Web服务的出现对分布式事务提出了新的挑战，为了保证多个Web服务交互获得正确的执行和一致性的结果，必须为Web服务提供事务机制。该文提出了一个Web服务事务处理模型，研究了二阶段提交扩展协议、协调算法和事务补偿。该模型在事务处理过程中具有一定的实用性和灵活性，为Web服务投入跨企业的商业应用提供了有力的支持。     

面向网构软件的构件自适应机制研究*

结合软件agent技术,从构件角度出发,通过对传统构件进行包装,加入行为规则驱动和行为推导两大机制,提出了一种能够在运行时实时适应用户需求变化和运行环境变化的自适应构件。在自适应构件的运行和支撑方面,实现了一个可动态定制自适应构件行为规则的工具,改进了现有的构件支撑平台使得能满足自适应构件的运行需求;最后通过一个例子说明了自适应构件的设计、实现、运行和演化等一系列工作流程。初步实践表明,上述机制和整套框架为开发具有自适应性的网构软件提供了有效支持。     

广播环境下移动事务处理中的节能问题研究

当前移动计算技术研究中索引技术与移动事务处理方法相对独立,即传统的索引技术并不支持对移动客户端移动事务的并发控制,而现有的基于数据广播的移动事务处理方法主要针对保持数据一致性而设计,并未考虑事务处理过程中的节能问题。将分布式索引技术应用于移动事务处理,提出一种在数据广播环境下同时实现移动事务并发控制和节能处理的有效方法。实验结果表明该方法的平均调谐时间为未应用索引技术前的15.5%。     

移动分布式数据库中的实时事务处理

提出了移动事务实时提交协议(MTRTC)和多版本乐观并发控制协议(MVOCC)处理移动分布式实时事务。MVOCC有效性检查分为局部有效性检查和全局有效性检查,采用动态调整串行次序,避免了不必要的事务重启动,改善了只读事务的响应时间。MTRTC是一个实时提交协议,减少了通信信息。实验结果表明结合MVOCC和MTRTC事务处理协议优于其它事务处理协议。