【摘 要】
：
Agent间进行协作的基础是交互,而通信是实现Agent交互的一种重要方式和手段。采用何种通信模式和语言关系到能否有效地实现Agent的交互协作。RASA是2007年Tim Miller提出的一
【机 构】
：
郑州大学信息工程学院,河南 郑州 450001
【出 处】
：
2008全国软件与应用学术会议(NASAC'08)
论文部分内容阅读
Agent间进行协作的基础是交互,而通信是实现Agent交互的一种重要方式和手段。采用何种通信模式和语言关系到能否有效地实现Agent的交互协作。RASA是2007年Tim Miller提出的一个MAS交互协议框架,这个框架已被证明可以更好的促进MAS的交互,但此框架并不支持MAS的并发,本文利用了一种冲突优先方式,引入了效益评价函数来解决其状态无法确定的问题,并扩展了RASA的定义来支持其并发,随后采用了一种基于时间自动机的自动验证工具Uppaal,利用一个简单的拍卖协议来验证这种方法的可行性。最后利用RASA语言描述了一个简单的协商协议和一个拍卖协议,以显示RASA协议的良好特性。
其他文献
网络式软件作为基于Internet这一开放环境运行的软件的一个典型代表,其全开放运行机制使得需求过程的自动调度尤为重要.为此,首先将网络式软件的需求状态(NRS)划分为6个状态,
事务存储系统是一种全新的多核体系结构,为并行编程提供了一个简洁高效的编程环境.基于Signature的冲突检测算法是事务存储系统中很有前景的一种冲突检测方法,其误判率直接影
预测性对象点(POPs)方法是一种面向对象软件度量方法。它从多个方面对软件进行度量,估算软件规模。POPs方法计算的核心是每类加权平均方法数。相对于传统的图表法,本文利用多
面向Agent的软件设计是一种新的软件设计方法,对目前谊方法在工程领域的应用进行分析,总结了阻碍谊方法广泛使用的基本原因,并于此提出了一种基于结构化P2P网络的多Agent框架
随着网络上Web服务的增多,如何从大量的Web服务中全面、准确的找到满足需求的Web服务变得越来越重要.目前的Web服务发现机制主要基于UDDI规范。然而,在UDDI机制中,服务的描述
服务器集群是提高系统QOS和可用性一种方法,但由于需要长期连续运行提供服务,集群系统仍然会存在软件老化现象,从而造成系统的处理能力随时间的增加而降低、失效率随时间的增
为了克服全球计算环境中计算节点的动态性的特征,引入了计算节点可信任度模型,该模型分别收集节点的历史任务完成情况和专门测试节点对计算节点的测试情况这两条独立的证据,
随着多核处理器的广泛使用以及人们对软件可靠性提出更高要求,多核并行程序验证的重要性日益凸显。本文提出了一个完整的基于多核的并行程序验证框架,该验证框架包括抽象机器
非信任代码的安全执行是移动代码安全的重要问题之一。携带模型代码(Model Carrying Code)方法同时考虑了移动代码生产者和使用者对安全性的支持和需求,建立了以模型为中心的