• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003 Jun 16-18, 2003 Prague, Czech Republic >A Formal Specification Language for Agent Conversations
【24h】

A Formal Specification Language for Agent Conversations

机译：座席对话的正式规范语言

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Agents interact in the context of a society to exchange knowledge, to cooperate and to coordinate their activities. A standard approach is to describe these interactions as conversations specified by means of interaction protocols (IPs). The set of conversations in which an agent can participate defines its communication interface. Therefore, the standardised sets of IPs that specify these conversations can be viewed as Agent Interface Definitions (AID), just as procedure and function definitions make up programming interfaces (API) in other programming paradigms. This paper presents the abstract syntax and semantics of ACSL: a new formal specification language that can clearly and precisely describe these interfaces so that they can be consumed both by designers and programmers (generally using CASE tools) and automatically by actual agents during interaction. This language fills a gap in the development of agent interface definition languages (AIDL). The paper focuses particularly on the newest features of the language, like (1) protocol composition, (2) protocol exceptions related to the reception of out-of-sequence messages or timeout expirations, (3) compensation protocols that adapt the classical concept of transaction to the autonomy and rationality of agents and, finally, (4) specification of message correlation and causality.
机译：代理在社会环境中进行交互以交流知识，进行合作并协调其活动。一种标准方法是将这些交互描述为通过交互协议（IP）指定的对话。代理可以参加的一组对话定义了它的通信接口。因此，可以将指定这些对话的IP标准化集视为代理接口定义（AID），就像过程和函数定义构成其他编程范例中的编程接口（API）一样。本文介绍了ACSL的抽象语法和语义：这是一种新的正式规范语言，可以清晰，准确地描述这些接口，以便设计人员和程序员（通常使用CASE工具）都可以使用它们，并且在交互过程中可以由实际代理自动使用。该语言填补了代理接口定义语言（AIDL）的发展空白。本文特别关注该语言的最新功能，例如（1）协议组成，（2）与接收乱序消息或超时到期相关的协议异常，（3）适应经典概念的补偿协议。交易到代理人的自治和合理性，最后是（4）消息相关性和因果关系的规范。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号