分布系统中软件代理的协调技术研究

摘要

计算机科学中的协调技术最初是为解决大规模的并行/分布问题出现的,协调管理的是多个活动之间的依赖关系.一般来说,协调模型包含三个元素:协调实体,协调介质和协调规则.协调模型的目的在于为管理并发程序或者并发活动之间的交互提供解决方案,隐藏软件实体本身的计算细节,把重点集中在实体的交互性上.凡是具有群体协作特征,可以采用计算机及网络技术的领域都可以用协调技术来改善群体的运行效率.软件系统可以分解成两部分:计算系统和协调系统,计算系统包括独立的计算活动,完成系统所需的计算任务;协调系统旨在使多个分离的计算活动形成一个有机的整体,从而完成系统的总体任务.计算系统和协调系统既相互独立,又相互影响.本文研究的协调实体是软件实体,也称软件代理(Software Agent).我们把软件代理分为两种,第一种是软件代理在执行过程中不能移动,称为静态软件代理(Stationery Software Agent);另一种软件代理在执行过程中可以迁移到别的计算节点上进行数据访问,称为移动软件代理(Mobile Software Agent).针对目前分布系统中协调技术存在的各种问题,对于静态软件代理,本文提出了一种基于访问控制和策略实施的协调模型,用于分布系统中多个计算实体之间的交互;在移动代理系统中,由于代理的移动性给协调技术带来了新的挑战,本文提出了移动代理应用系统中上下文相关的客观协调模型并讨论了相应的协调语言,这两种系统中的协调模型都采用了数据驱动和控制驱动结合的混合协调模型.