一种基于指向路径分次删剪的移动Agent通信算法

在移动agent环境下,agent的移动为应用程序的开发提供了更灵活的通信处理方式,但也同时对通信算法的设计提出了许多挑战,其中最突出的就是由于消息传输和agent移动之间的异步性而造成的通信不可靠问题。针对目前解决该问题的各种机制和算法的不足之处,该文提出了一种新的agent通信算法——S—COMP,它综合采用了Home寻址、途经节点转发、指向路径分次删剪和集中同步等手段,能够适应具有不同移动和通信特点的agent的通信需要,在确保消息传输可靠性的同时兼顾了效率和适应性。     

A Verification Framework for Agent Communication

In this paper, we introduce a verification method for the correctness of multiagent systems as described in the framework of ACPL (Agent Communication Programming Language). The computational model of ACPL consists of an integration of the two different paradigms of CCP (Concurrent Constraint Programming) and CSP (Communicating Sequential Processes). The constraint programming techniques are used to represent and process information, whereas the communication mechanism of ACPL is described in terms of the synchronous handshaking mechanism of CSP. Consequently, we show how to define a verification method for ACPL in terms of an integration of the verification methods for CCP and CSP. We prove formally the soundness of the method and discuss its completeness.     

一种改进的移动Agent通信模型

移动Agent系统的通信问题是阻碍其广泛应用于实践的最重要的因素之一。通过对已有的移动Agent系统通信机制的研究与分析,提出了一种改进的移动Agent通信参考模型。该参考模型分别从移动Agent命名与定位、移动Agent通信安全和移动Agent通信失效三个方面进行分析,在某种程度上解决了移动Agent的通信问题,并提高了移动Agent通信安全性。最后,对未来的工作做了展望。     

Agent通信语言KQML的实现及应用

论文针对KQML语言规范的新变化和实际应用领域的需求,提出了一系列面向Agent通信的KQML实现算法,初步实现了一个较完整的新KQML语言解释器,并将其应用于医疗保健顾问系统中的多Agent通信,收到了较好效果。     

ACP--一种基于局部邮区的移动agent通信算法

agent的迁移在位置透明性、通信可靠性以及迁移和执行的异步性等多方面对通信算法的设计提出了挑战,提出一种基于局部邮区的移动agent通信算法,通过在agent当前通信和迁移活动较集中的区域建立局部邮区来支持消息的高效传输,且通过对邮区迁移和消息发送的同步来保证通信的可靠性。此外,算法支持通信的位置透明性,对Home结点依赖少,对agent迁移不做限制,且具有较好的适应性和容错性。     

基于面向对象模型的通信系统形式化规范

通信软件工程包括系统建模和设计实现两大阶段，分别采用非形式化技术与形式化技术，定义了从非形式化的面向对象的图形语言UML，到形式化的文本规范语言ESTELLE的完备的转换规则，并简要介绍了一个支持转换的软件工具的设计与实现，最后给出一个转换实例．此工作的完成，使通信系统图形化的面向对象模型可直接转换为面向实现的形式化规范，在整个开发周期中得到应用，建立起了一套完整的通信软件工程体系。     

基于CORBA的AGENT通信机制

介绍了agents协作时采用的通信语言,分析了agents交互的三个层次:交互协议、通信语言和传输协议,并详细说明了KQML-CORBAagents通信框架的体系结构、原理、作用。在这个通信框架中,用CORBA支持的agents间基于KQML的通信可以比其它通信形式带来更多的优点。最后,该文对KCCF的实现及所采用的开发工具进行了说明,并介绍了其它相关的研究工作。     

移动Agent发送包通信研究

通信是移动Agent系统的关键技术之一。目前为止已有很多相关研究人员提出了一些比较好的通信机制,基本上已经可以满足Agent通信的一些要求。但是如何能有效的实现已提出的机制,这方面的研究还不多。本文提出发送包方法来进行移动agent通信,采用一个HomeServer来记录每个代理的位置和状态信息,HomeServer配有一张事件列表配合每台主机通信平台的SendBox来处理未发送成功的消息。当通信双方驻留在主机上时,通信双方直接通信;当通信双方中有一方在迁移时,则将未发送成功的信息存入发送方通信平台上的SendBox,并在HomeServer的事件列表中增加一条记录,当迁移中的移动代理驻留在某一方的主机上时,由先前发送方平台的SendBox向接收方发送信息。采用发送包方法进行Agent通信能有效地实现位置透明性、异步性、可靠性和降低网络负载。     

一种Agent通信中逻辑意外信息转换方法

在开放动态多Agent网络环境中,不同平台下的移动Agent希望就某个领域的问题进行通信,就需要避免出现逻辑意外现象,也就是必须使描述这一领域的术语取得一致.给出一个具有协作性和社会性的通信方法LOSCM(layer ontology services communication model).LOSCM具有以下特点:1)Agent通信实体中包含的概念采用本体方法进行描述,对本体作分层松散的社会性管理.2)假设本体不隶属于公共数据源且相互之间也没有公共本体,LOSCM给出一种基于概念替代遗失度和概念间替代相关度的有效的分层树状转换方法,有效避免了逻辑意外,确保了通信实体概念的正确理解,解决了在概念转换时的一致性问题.     

Artemis-COOR:一个基于Agent的软件动态协同支撑平台

针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向此概念模型,给出了相应的软件动态协同支撑平台Artemis-COOR,该平台在"非侵入式"A-gent封装、多模式交互支撑和软件体系结构动态演化支撑等方面形成了一定的技术特色。最后,给出以水雨情会商系统为例的演示性应用,展示了上述技术的可行性和有效性。     

面向Agent的软件工程方法学

面向agent的软件工程技术是软件工程和人工智能领域最重要的新技术之一,与现有的开发方法相比,Agent具有较强能力可以对复杂软件系统中的活动实体进行高层抽象。该文讨论了Agent及面向Agent的软件工程技术,说明了软件开发中面向Agent的分析与设计方法。同时给出了面向Agent软件工程分析方法的一个应用实例来进行说明。     

面向Agent的软件开发方法及其评估

本文根据技术背景的差异,对已有面向Agent的软件开发方法进行了系统的分类,介绍了当前较有影响的一组代表性工作,分析和评估了各种方法的技术特点、适用范围及其存在的问题,概述了已有工具对面向Agent软件开发方法的支持;在参考国际上比较关注的面向Agent软件开发方法特性的基础上,提出了面向Agent软件开发方法的评估方法,对今后研究亟待解决的关键问题作了展望。     

Windows环境下串口通信代理程序的开发

本文针对现实应用中多个串口监控程序要同时运行在一个微机平台的需求,面对原有监控程序的串口资源争抢矛盾,提出开发一个串口通信代理,并给出了具体解决方案。     

基于多邮箱的移动Agent通信算法

agent移动的可靠性、实时性是移动agent通信中的难点。该文在总结已有算法的基础上,引入多邮箱和主机Controller的概念,结合两者实现了一个高效、可靠的移动agent通信算法,能保证通信的可靠性和实时性,使得移动agent的迁移变得简单且完全自由。     

利用MOM实现移动代理基础通信机制的研究

移动代理之间的基础通信机制是该领域中的一个关键问题，但在当前的各种移动代理产品中，代理之间的基础通信机制存在两个问题：一是代理本身承担了通信过程中的所有任务，使得代理的开发和维护变得复杂；二是对异步通信的支持不够灵活．本文采用了中间件的思想，将通信的发起和处理进行了分离，开发了一个面向消息的中间什，解决了上述问题，具有很高的应用价值和一定的理论价值．     

Negotiating the Semantics of Agent Communication Languages

This article presents a formal framework and outlines a method that autonomous agents can use to negotiate the semantics of their communication language at run–time. Such an ability is needed in open multi–agent systems so that agents can ensure they understand the implications of the utterances that are being made and so that they can tailor the meaning of the primitives to best fit their prevailing circumstances. To this end, the semantic space framework provides a systematic means of classifying the primitives along multiple relevant dimensions. This classification can then be used by the agents to structure their negotiation (or semantic fixing ) process so that they converge to the mutually agreeable semantics that are necessary for coherent social interactions.     

一种改进的移动Agent通信算法

通信机制是移动Agent技术研究的重要课题,目前提出的多种Agent通信机制都尚未满足要求或存在缺陷,该文结合多种传统的Agent通信机制,提出了一种改进的移动Agent通信算法,实现了通信的位置透明性、高可靠性、高效性,极大地减少了迁移受到的限制和迁移引起的地址注册(或更改)开销。该算法在网络主机数目多的Agent系统中,其优点更为明显。     

移动Agent系统通信效率的分析与优化

通信效率是影响移动Agent系统运行效率的重要因素之一,如何提高通信效率仍是一个有待解决的问题,提出移动Agent系统通信效率优化模型LCEOM.LCEOM具有以下优点：①全面考虑了影响通信效率的主要因素;②能够描述移动Agent的通信任务;③能够定量地分析通信开销;④能够规划出通信开销最小的通信方案;⑤采用压缩和缓冲存储技术进一步提高远程通信的效率。实验表明,在一定条件下,LCEOM模型优于现有方法,能有效提高系统的通信效率。     

面向Agent的软件工程:现状与挑战

面向Agent软件工程是近年来软件工程领域出现的一个重要的前沿研究方向,它试图将Agent理论和技术与软件工程的思想、原理和原则相结合,从而为基于Agent系统的开发提供工程化手段．近年来,随着Internet上的web应用以及软件开发社会化的发展,面向Agent软件工程受到了学术界和工业界的高度关注和重视,研究活跃,发展迅速．从应用需求和技术发展两个方面阐述了面向Agent软件工程的产生和发展背景;从技术、管理和工具3个视点综述了现阶段面向Agent软件工程的研究内容;分析了面向Agent软件工程的研究现状;最后讨论了它存在的问题和面临的挑战以指导进一步研究．