基于CORBA的分布式事务处理分析

分析了在事务对象服务(OTS)下的分布式事务处理.使用OTS将分布式对象技术与事务处理技术结合起来,利用两阶段提交协议和恢复日志等技术,有效地保证了分布式事务的ACID性质.最后在了解了OTS体系结构的基础上,描述了OTS事务的执行与分解.     

一种基于Aglet的Web服务事务协调框架

本文针对web服务事务协调环境的特点,提出了一种基于移动代理思想的事务协调框架。该框架采用了一种面向Web服务的新型事务模型THP作为事务代理的协调策略,并通过引入“事务意识”,进一步增强了代理进行事务协商的智能性。此外,文中还给出了这两种事务协调算法在IBM Aglet平台下的具体实现,并通过实验与仿真显示了该事务协
调框架的优越性能。     

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

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

Web服务组合事务处理及基于细胞膜演算的正确性分析

事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一.本文分析总结了现有的事务处理模型,针对Web服务组合环境下的异构性、自治性和动态性,提出了一个基于组合Web服务的事务处理模型wS-CTM,并基于细胞膜演算对模型的正确性进行了验证.     

Spring框架事务处理技术研究

Spring是JEE开发的重要应用程序框架。本文介绍Spring事务处理的工作原理,描述如何使用Spring的事务处理功能实现企业应用程序的事务处理,介绍XML配置文件的关键配置部分,讨论Spring的事务回滚和事务传播功能。     

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

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

基于BPEL和ws-Tx的Web服务组合事务协调框架研究

针对当前Web服务事务协调框架中缺乏对服务组合流程定义的支持而需要在协调过程中手动定义业务流程的问题,提出了一种支持流程和事务语义自动抽取的服务组合事务协调框架。该框架从扩展了事务语义的业务流程执行语言(Business Process Execution Language,BPEL)中抽取协调信息,并结合Web服务事务规范(Web Services Transaction,WS-TX)所定义的协调器实现了服务组合的全局事务协调。通过将WS-TX在事务协调和BPEL在业务流程设计方面的优势相结合,该框架将业务逻辑与事务处理逻辑有效地分离。最后通过实例分析说明了该框架的可行性。     

Web服务事务处理应用模型

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

可靠性Web服务组合的事务协调机制研究

可靠性Web服务组合需要事务处理技术的支持来保证其组合结果的可靠性和正确性。该文分析了服务组合环境的事务处理需求,针对Web服务组合环境下的特点,提出了一个组合Web服务的事务处理模型WS-CTM,并对事务协调机制等问题进行了分析。     

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

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

基于区块链的智能服务交易跨链服务框架与通信机制

由于不同区块链上的区块链服务间缺乏有效通信机制,链与链之间难以形成有效互联互通.在智能服务交易过程中,交易主客体之间不仅仅是数据资产的单项转移,而且其服务范围扩展涵盖到更为广阔的数字资产转移场景.设计一种智能服务交易的跨链通信服务框架,并采用基于组件式、模块化设计,使智能服务交易主客体较为容易地接入服务框架,实现跨链可...     

An efficient deadlock prevention approach for service oriented transaction processing

Transaction processing can guarantee the reliability of business applications. Locking resources is widely used in distributed transaction management (e.g., two phase commit, 2PC) to keep the system consistent. The locking mechanism, however, potentially results in various deadlocks. In service oriented architecture (SOA), the deadlock problem becomes even worse because multiple (sub)transactions try to lock shared resources in the unexpectable way due to the more randomicity of transaction requests, which has not been solved by existing research results. In this paper, we investigate how to prevent local deadlocks, caused by the resource competition among multiple sub-transactions of a global transaction, and global deadlocks from the competition among different global transactions. We propose a replication based approach to avoid the local deadlocks, and a timestamp based approach to significantly mitigate the global deadlocks. A general algorithm is designed for both local and global deadlock prevention. The experimental results demonstrate the effectiveness and efficiency of our deadlock prevention approach. Further, it is also proved that our approach provides higher system performance than traditional resource allocation schemes.     

基于服务本体的可观测协同模型*

为得到在通用抽象级别上的可观测协同模型,采用描述逻辑对构件服务予以概念化而构成服务本体并将其作为构件可观测的基准,在软件体系结构的抽象级别上利用服务本体扩展了软件体系结构连接件。基于上述方法,设计了协同介质的基本结构并规范了基于脚本语言的协同规则,提出了一种通用的可观测协同模型。研究结果表明,该协同模型具有与应用无关的通用性。     

基于大规模事务处理系统的中间层语义缓存技术的研究

对当前的中间层语义缓存的研究进行了分析,以一个大规模事务处理系统为背景,提出了一个针对海量数据统计分析的中间层语义缓存解决方案,给出了其相关定义、体系结构及管理机制,并在大规模事务处理系统上对语义缓存进行了测试。     

大规模事务处理系统中服务对象监测的实现

针对在大规事务处理系统中对冗余服务对象的有效性和运行状态的监测要求,为提高该系统中服务对象监测的效率,利用通用对象请求代理框架提供的请求级截获器技术,实现了系统对象检测.通过选择适当的截获点,构建了实现服务对象监测所需的类、接口和相关操作,并确立了详细的对象状态监测与分析操作流程.当截获器截获到请求时,使用了推模式将信息传递到对象服务代理.在实验系统中的运行结果表明,本设计能实现对系统中服务对象的高效监测,能保证大规模事务处理系统的高可用性和服务质量.     

基于多代理的数据库并行事务处理模型

为了优化一般数据库管理系统的事务处理能力,提出了一种数据库事务并行处理算法。基于多代理技术,建立了一种数据库并行事务处理模型,该模型可以自动识别数据库事务的类别并分配相应的事务代理。通过多代理工具Jade实现了该模型中如事务类型的判别、事务代理的分配、代理的事务处理、结果的返回等基本功能。仿真实验结果表明,对比于传统的单任务事务处理方式,该模型是一种提高数据库事务处理能力的有效方案。     

基于帧缓冲队列的边缘视频处理加速方法

由于边缘设备的计算能力有限,处理高分辨率、高帧率的视频时极易造成帧堆积.同时,视频参数的多样性也会影响视频处理的效果,需要自适应调整系统参数以保证视频处理性能.针对视频处理的帧堆积问题提出了在帧接收和帧处理间加入缓冲区即帧缓冲队列的方法,来并行处理缓冲帧,以解决帧接收时延问题,加速视频处理.实验结果表明,帧缓冲队列解决...     

基于区块链的去中心化物品共享交易服务系统

随着共享经济的发展，对于高可信的分布式交易管理具有迫切的需求，然而，传统的中心化信息系统难以满足。区块链技术提供了一种共享账本机制，为构建可信的分布式交易管理奠定了基础。以支持智能合约的区块链2.0平台——以太坊平台作为基础框架，深入研究基于区块链技术的去中心化共享物品交易服务系统的运行机制与实现技术。设计了基于以太坊的去中心化物品共享交易服务系统框架，提出了基于智能合约机制的交易管理处理流程，详细描述了包括用户接口在内的系统实现技术，并对该系统在交易处理上的性能进行了实验测试。实验结果表明，基于以太坊的交易服务系统在保证交易数据可信性的基础上，平均交易处理速度为每秒21.7条，有索引查询速度为每秒117.6条，具有较高的运行效率。     

基于角色网络模型的行政事务处理系统控制器

从政府行政事务处理系统存在的问题出发,首先概要综述了角色网络模型（RNM）,进一步提出了动态数学描述。RNM突出了角色的中心位置,充分满足行政事务处理系统的要求,能够对半结构化和非结构化的业务流程进行控制。最后结合MVC架构模式,提出了基于RNM的行政事务处理系统控制器的工作过程。     

基于异步PI演算的Web服务长事务协议性质分析

根据WS-BusinessActivity规范提出一个扩展的长事务协议BAPC,该协议较为详细和更接近于软件实现。BAPC协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质。因此在BAPC协议的软件实施中,迫切需要对BAPC协议进行形式化分析,以保证协议的正确性。基于简洁的异步PI演算,建模和分析了BAPC协议,采用互模拟等价理论及迁移语义给出了BAPC协议的满足长事务协议所具有的持久性、可终止性和局部原子性的证明,说明该协议可以用于处理基本Web服务组合事务,能够保证组合服务的长事务性质。