网格服务环境下的一种事务处理模型

提出了网格服务环境下的一种可行性事务处理模型.首先提出了事务协调框架,在此基础上提出适用于该框架的针对特定事务类型尤其是长事务的协调协议,并对长事务的恢复技术进行了一定讨论.     

普适环境下一种基于图的可靠服务组合机制

在普适环境下,由于设备、网络环境等的动态性,一些服务的提供者容易脱离当前的计算环境,从而造成服务组合方案失效。针对普适环境的特点,以及可靠服务组合的要求,提出了一种普适环境下基于图的可靠服务组合机制RScMPG,该机制从“预防”和“检测一补偿”的角度出发,在“生成可靠服务组合方案”和“监护服务组合正确执行”两个层面上,提高了服务组合的可靠性。     

分布式事务处理技术及其模型

传统的事务处理技术主要应用于数据库系统。然而随着计算机科学技术的发展,事务处理的概念已经被引入了更为广泛的分布式网络计算环境。目前,面向分布式环境的事务处理标准主要有：基于ＤＣＥ的Ｘ／Ｏｐｅｎ分布式事务处理参考模型（ＤＴＰ）和面向ＣＯＲＢＡ环境的对象事务服务模型（ＯＴＳ）。文章简要介绍了事务处理的基本概念与一般技术,并详细分析了当前流行的分布式事务处理标准。     

普适计算环境下一种目标驱动的服务组合方法

普适计算环境的服务对用户来说是透明的,为了简化用户与环境的交互,提出了一种目标驱动的服务组合方法,建立面向任务目标的服务语义表示模型,并在此模型下进行动态的目标驱动的服务组合,实现用户目标.描述了一个模拟的应用场景,并结合应用场景说明了任务定义和服务组合的过程.该方法简化了用户与环境的交互,提高了普适环境下服务组合和协同的灵活性.     

Web服务组合中商业事务处理的研究

Web服务组合已经成为业界的研发热点．在Web服务组合中，不同的成员Web服务之间存在着操作一致性和可靠性的处理要求，需要在Web服务组合中提供对于事务处理的支持．尽管目前业界已经存在许多的Web服务组合模型和描述语言，但是都没有提供对于事务处理的支持．本文分析了Web服务组合中的事务处理需求，通过扩展在Web服务组合描述语言中已经占据主导地住的BPEL4WS规范，在BPEL4WS中引入了对于主流的Web服务事务协议的支持，并在此基础上实现了一个原型系统TAWSCRS．     

Web服务事务处理应用模型

本文利用Web服务的应用程序组件特性,配合分布式事务处理的两阶段提交机制,建立了一个Web服务与事务处理协调操作的应用模型。实际应用不需修改Web服务内部代码,特别有利于企业应用的后期维护和系统升级。     

一个基于共享内存的企业级Web服务事务处理模型研究

Web服务事务处理必须提供协调短事务和长事务的能力。本文提出了一个基于共享内存的Web服务事务处理模型,在以．Net为开发工具实现企业级信息管理系统时,利用现有技术,不对Web Service进行任何扩展,在Web Serice中处理原子事务和内聚事务。     

事务处理技术研究综述

事务处理技术是保证信息一致性和可靠性的关键技术．首先阐述了事务处理技术的起源与发展,总结了并发与恢复两个核心技术的研究现状,探讨了平坦事务模型的各种表现形式,接着研究了各种扩展事务模型和事务工作流,概括了多库、面向对象数据库、实时数据库和移动数据库等现代数据库中的事务处理技术,分析了相关研究的进展,最后结合已有的研究成果,展望了其未来研究方向及面临的挑战．     

一种普适计算环境下基于语义的服务匹配算法

在普适计算环境中通过语义本体来表示环境中的概念进行服务发现可以提高服务发现的鲁棒性。给出了一种基于语义的服务匹配算法,根据不同的服务请求可以通过服务类型匹配、服务输入输出参数匹配和QoS参数匹配,实现了分层次、逐步过滤不匹配的服务。同时通过服务相似度的计算为服务请求者提供最满足需求的服务。实验结果证明该算法具有较高的匹配率和较好的匹配速度,完全适用于普适计算环境。     

Web服务事务处理模型研究

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

深度计算、广度计算与信息网络

计算技术一直在向深度和广度进军,因此可以把计算技术的发展过程与趋势用“深度计算”和“广度计算”高度概括。从计算技术与通信技术结合的角度来看,网络一直在向“信息传输”与“信息处理”紧密结合的方向发展,即向信息网络方向发展。     

FM-Que移动事务模型

在移动计算环境中,传统数据系统的事务处理模型不能较好地支持移动事务的处理,故有必要研究支持移动计算环境的移动事务模型及事务处理协议。针对移动计算环境的特点,提出了FM-Que移动事务处理模型及其处理协议。FM-Que模型通过采用事务队列机制,固定子事务和移动子事务思想来支持事务移动性和频繁断接性,采用多版本预提交方式来维护数据一致性。     

普适计算环境中的社会技术系统自修复技术研究

传统自适应系统考虑的主要是软件系统内部的协调,譬如参数的重新配置,软件体系结构的重组等。而普适计算环境下的社会技术系统不仅包含软件,而且还包含硬件(如传感器、RFID等)和人类行为等其他系统元素。这种社会技术系统具有开放性和动态性的特点,其整体的行为具有很强的不确定性,因此需要通过持续的运行时自适应调整减少系统的失效。针对此问题,在前期工作基础上提出一种普适计算环境下社会技术系统的自修复技术方案,并基于Java和Arduino平台进行开发和实现。该方案根据用户需求和环境的变化,结合需求目标模型和运行时上下文管理,接入和事件映射方案以及ad hoc环境下服务检索的选取方案,使系统按照预期的目标运行。实验结果表明,社会技术系统在环境和人的行为变化的情况下,当系统运行偏离预期目标时,可以依据传感器等监控到的环境数据和服务器中的策略自主修复系统以使系统达到目标,满足用户和系统需求。     

Intranet环境下事务处理的理论研究和实现

在Ｉｎｔｒａｎｅｔ环境下采用浏览器／ＷＥＢ／数据库服务器结构实现事务处理是目前一个相当活跃的领域．本文通过分析浏览器／ＷＥＢ结构的特点,并结合面向事务处理的信息系统对数据库的要求,对在Ｉｎｔｒａｎｅｔ环境下实现事务处理将会遇到的几个问题进行了理论探讨并提出了相应的解决办法．     

基于BSP的并行事务处理模型

BSP模型独立于并行体系结构,既可作为并行计算模型,又可作为并行程序设计模型。提出了基于BSP模型的H－V事务模型,适用于长、短事务和长短事务混杂的情况。给出了在无共享结构下实现并行事务处理的进程结构。该结构不仅实现了事务内及事务间并行性,而且使人有可用性（availability）和可扩充性（scalability）,而后给出了适用于该模型的基于时间戳的多版本并发控制协议,最后描述了事务在超步结构下的运行过程。性能测试表明,使用该模型进行事务处理时可获得良好的事务响应时间和加速比。     

并行计算模型在异构计算环境中的研究

近年来异构并行计算在高性能科学计算和通用应用领域受到广泛研究。本文结合多种代表性并行计算模型，给出异构环境中的HBSP模型和程序开销计算方法。采用基于消息长度的线性模型使通信开销的计算更精确，解除原有BSP模型对h-rela-tion的限制，使程序和算法在异构环境中的设计更加灵活。当构成BSP计算机的各处理机速度相同且原有BSP算法达到最优（即各处理机上所分配的计算量与通信量完全均衡）时，HBSP模型等同于原有模型。     

无线非对称环境下的事务处理结构分析

在无线非对称环境下,事务处理遇到了新的挑战,本文在仔细分析带来这一挑战的种种原因之后,试图提出一种适应于上述新特点的事务处理模式。     

面向服务的开发方式在普适计算领域中的应用

由于普适计算自身高异构性、高协作性和高移动性等特点,使得整个普适计算系统的开发过程变得复杂与不可掌控.在软件工程理论中,面向服务的开发方式曾经成功解决了大型软件系统开发中遇到的类似问题,因此将这一"面向服务"的思想应用于普适计算开发领域中,对普适计算系统的设计、开发、实现与质量评估都有着非常重要的指导意义.     

移动数据库系统乐观事务处理策略

在移动数据库系统中，计算平台的移动性，频繁的断接性以及长事务等特性使得传统的事务处理模式不再适用，为了解决移动数据中的事处处理问题，提出了一种新的移动事务处理模型－乐观两阶段提交移动事务模型（O2PC－MT），该模型采用乐观并发控制与两阶段提交协议相结合的方法，对移动事务的长事务特性提供了灵活与有效的支持，此外，该模型允许移动计算机分多发送中务操作，且在事务执行过程中可以任意移动，从而提供了对交互式事务及随意移动性的支持，实验结果表明，与基于两段锁协议及其变形的其它移动事务处理模型相比，O2PC－MT提高了系统的事务吞吐率并改善了系统的总体性能。     

基于Web服务的EDI系统的事务处理

本文分析了EDI系统和Web服务的特点,将基于Web服务的EDI系统事务分为两种类型：含单个Web服务的事务和包括多个Web服务的事务。对前者采用传统两阶段提交协议进行处理。后者由于跨时域和地域,可以通过扩展传统两阶段提交协议和增加事务管理器来统一处理。