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

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

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

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

Web service的事务协调框架研究与实现

提出并实现了一种Web服务的事务协调框架,DTCF（Distributed Transaction Coordination Framework）。该模型基于嵌套事务模型和协调思想,将局部事务的实现细节进行封装,不同局部事务可采用不同的并发控制和恢复技术,而对全局事务则采用完全分布的管理机制进行管理。DTCF是一种可重用的框架,实验结果表明其可用性。     

一种增量式Web服务事务资源优化方法

在Web服务事务处理阶段之前引入一个独立的资源协商过程,通过一种基于整数规划的增量式动态优化模型,确保了资源的合理分配和利用。设计一种基于移动代理技术的协调框架。仿真实验证明,这种增量式Web服务事务资源优化的方法能够在保持资源优化配置的同时,尽量兼顾了资源分配的公平性问题。     

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

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

面向服务的多参与者协调事务建模方法

为了保证Web服务组合执行获得正确一致的结果,用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范(Web services transaction,WS-TX),提出了一种由业务流程执行语言(business process execution language,BPEL)自动生成Web服务多参与者协调事务模型的方法。介绍了Web服务协调的Pi-演算建模方法,阐述了如何由BPEL描述的业务流程建立服务协调事务模型,进一步给出了自动生成该协调模型的算法描述,并通过具体实例说明了该方法的正确性及可行性。     

基于补偿因子的Web事务QoS框架

为选择合适的补偿服务,提出基于补偿因子的Web事务QoS框架。将事务协调中的补偿成本和补偿可靠性作为一种QoS扩展,事务协调者基于已建立的QoS规则库进行事务选择和恢复,从而提高事务整体QoS属性,满足事务请求的QoS需求。实验结果表明,该框架可降低Web事务的补偿成本,提高Web事务的成功率。     

基于自治服务协调的长事务处理框架

针对Web服务应用中大量的长事务处理请求,基于自治服务协调的长事务处理框架实现统一的信息资源管理和协调调度.框架通过将协调上下文广播到各个参与者,并协调参与者各自的操作,从而完成业务事务的处理.在多方参与的复杂业务规则下,框架能保证聚合事务处理过程中事务状态的一致性.     

一种Web服务组合事务框架的设计与实现

Web服务组合已成为跨企业应用集成的主要方法,服务组合需要事务机制来保证其可靠性。由于服务组合自身的特点,传统事务处理方法不适合。首先总结服务组合事务的特点,提出了基于层次的服务组合事务框架,并详细分析了服务组合事务的协调过程。最后给出了服务组合事务协调协议并实现了服务组合事务服务原型系统。     

多代理数据库事务连接池的研究

为了解决数据库管理系统中事务请求拥塞问题,运用多代理技术设计了一种数据库事务连接池,该连接池具有良好的事务拥塞控制,事务自动拆解分配,异构数据库的识别等功能,使用多代理开发工具jade编写了相关代码。在连接控制技术和代理复用技术的比较实验中,验证了使用了代理复用技术的连接池更加稳定,具有优良的性能。最后利用多代理技术的灵活性实现了服务管理模块和事务分配模块用于解决连接池中复杂事务的处理问题。     

Web服务组合事务处理研究与实现

通过重用已有的服务进行服务组合来实现应用集成;而保证服务组合的事务特性是实现服务组合的关键。文中提出一个Web服务组合事务处理模型,将BPEL（Business Process Execution Language,业务流程执行语言）的流程设计与WS—C／T（Web Services Coordination/Transaction, Web服务协调／事务）规范结合。该模型主要由客户端、BPEL执行引擎、事务协调器和参与者四个部分组成。客户端发起请求,BPEL执行引擎响应请求并开启事务,事务协调器和参与者根据事务协调算法完成事务协调。     

基于DCSP的Web服务事务协调算法

随着电子商务的快速发展,Web服务逐渐成为Web领域一个崭新的分布式计算模型。本文针对Web服务事务协调过程中的资源分配问题,在分布式逃逸算法的基础上提出了一种基于分布式约束满足的资源优化模型,并通过仿真实验证明了模型及其算法的收敛性和优化性。     

Software agents for knowledge management: coordination in multi-agent supply chains and auctions

A fundamental question that must be addressed in software agents for knowledge management is coordination in multi-agent systems. The coordination problem is ubiquitous in knowledge management, such as in manufacturing, supply chains, negotiation, and agent-mediated auctions. This paper summarizes several multi-agent systems for knowledge management that have been developed recently by the author and his collaborators to highlight new research directions for multi-agent knowledge management systems. In particular, the paper focuses on three areas of research:

• •Coordination mechanisms in agent-based supply chains. How do we design mechanisms for coordination, information and knowledge sharing in supply chains with self-interested agents? What would be a good coordination mechanism when we have a non-linear structure of the supply chain, such as a pyramid structure? What are the desirable properties for the optimal structure of efficient supply chains in terms of information and knowledge sharing? Will DNA computing be a viable tool for the analysis of agent-based supply chains?
• •Coordination mechanisms in agent-mediated auctions. How do we induce cooperation and coordination among various self-interested agents in agent-mediated auctions? What are the fundamental principles to promote agent cooperation behavior? How do we train agents to learn to cooperate rather than program agents to cooperate? What are the principles of trust building in agent systems?
• •Multi-agent enterprise knowledge management, performance impact and human aspects. Will people use agent-based systems? If so, how do we coordinate agent-based systems with human beings? What would be the impact of agent systems in knowledge management in an information economy?

     

Formal ReSpecT in the A&A Perspective

Coordination models and languages have found a new course in the context of MAS (multiagent systems). By re-interpreting results in terms of agent-oriented abstractions, new conceptual spaces are found, which extend the reach of coordination techniques far beyond their original scope. This is for instance the case of coordination media, when recasted in terms of coordination artifacts in the MAS context.In this paper, we take the well-established ReSpecT language for programming tuple centre behaviour, and adopt the A&A (agents and artifacts) meta-model as a perspective to reinterpret, revise, extend and complete it. A formal model of the so-called A&A ReSpecT language is presented, along with an example illustrating its use for MAS coordination.     

基于BTP的Web服务事务协调研究与实现

Web服务技术为异构应用之间的集成和互操作提供了有效的解决手段。目前的Web服务还缺乏全局的事务环境,传统的事务模型不再适用于新的Web环境下的要求。针对Web服务中事务处理的协调问题,分析现有的事务处理模型和协议,设计实现了一个基于BTP协议的Web服务事务原型系统,把用于Web服务事务处理的BTP协议和用于传统事务的两阶段提交协议相结合来协调Web服务中的事务。通过运行应用实例,验证了原型系统的可行性,该系统具备协调短期事务与长事务的能力。     

服务网格中的事务服务及基于Petri网的正确性分析

面向服务的架构(SOA)推动着网格技术从科学计算走向商业领域,大部分商业应用需要事务的支持．该文提出了服务网格环境下用于事务管理的网格事务服务,它能够动态地发现执行子事务的网格服务;根据事务类型调用原子事务或聚合事务协调算法以保证这些服务在行动上实现期望的一致性．通过Petri网分析技术,将两种协调算法模型化为Petri网并验证了它们的正确性．网格事务服务可以提供较强的事务管理能力并将复杂的处理过程对用户透明,为网格技术的商业化提供了有效的支持．     

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

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