Web服务正在成为一种基于标准技术的计算平台,能够支持构建松散耦合的广域分布式系统。服务协作中间件通过应用Web服务和业务流程管理技术,研究协作流程适应环境和需求变化以及动态调整结构和行为的模型和机制,为建立“随需而变”的分布式企业计算环境提供了可行的途径。 服务协作中间件的最突出特点在于服务的分布性与变化性,而移动Agent的分布自治和协作能力可以满足服务协作中间件的技术需求。作为一种能够在异构网络中自主迁移的分布式计算实体,移动Agent具有减轻网络负载、支持断连操作、动态适应网络等优势,在移动计算、协同计算、电子商务等领域得到了广泛的关注。服务协作中间件可以利用移动Agent的移动智能特性与协商机制将分布的Web服务单元组织在一起,通过服务粒度上的交互和协作来满足企业计算的业务需求。 然而,将移动Agent技术应用于服务协作中间件,仍然存在诸多难点,其中之一在于移动Agent的组通信问题尚未得到解决。移动Agent组通信一方面可以为Web服务提供容错计算能力,另一方面也为基于移动Agent组的服务协作提供了通信支持手段。移动Agent组通信包括移动Agent的多播通信和组成员管理。现有的移动Agent通信仅侧重于一对一的单播通信方式,对于移动Agent组通信的研究存在不足。本文以移动Agent组通信在服务协作中间件中的应用为出发点,围绕面向服务的移动Agent组通信问题展开研究。 本文首先提出了一种移动Agent的全序多播协议—MATOM协议。MATOM协议使用集群化方法和逻辑环控制结构实现移动Agent多播通信的原子性和全序性,可以保证一组移动Agent能够按照全局一致的顺序对系统中的事件(消息)作出反应。文中证明了MATOM协议属性的正确性并通过模拟实验分析了其性能问题。 在MATOM协议的基础上,本文提出一种移动Agent的容错组管理方法。移动Agent的组管理通过集群化机制实现,即移动Agent加入/退出组的请求经由组管理协议提交给相应的Agent集群进行处理。同时,移动Agent的组管理协议利用故障检测器检测可能出现故障的移动Agent并将其移出多播组。文中论述了故障检测器的实现机制,并证明了故障检测器的正确性。 移动Agent的MATOM协议与容错组管理共同组成了一种移动Agent的组通信系统,称为GCS-MA。从基于移动Agent的Web服务容错和基于移动Agent组的服务协作两个方面,本文论述GCS-MA在服务协作中间件中的应用。 现有的Web服务容错侧重于通过扩展Web服务标准来提供容错能力。由于Web服务标准体系本身不断发展变化,并且标准之间的兼容性问题依然存在,使得这些研究成果的可实施性较弱。在GCS-MA基础上,本文提出一种基于移动Agent的复合Web服务容错模型—MAFTM模型,从系统层次而非标准层次来解决复合Web服务的容错问题。文中说明基于移动Agent的工作流与复合