• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Intelligent Agent Technology, IEEE/WIC/ACM International Conference on >Rules for translating interaction protocols into a B formal representation
【24h】

Rules for translating interaction protocols into a B formal representation

机译：将交互协议转换为B形式表示形式的规则

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Interaction in multiagent systems is generally tackled by means of interaction protocols that define the messaging patterns between the system's communicating entities. It is thus of an utmost importance to follow a strict methodology for specifying, designing and formally checking the interaction protocol. In this paper, we deal with this latter issue. For this reason we make use of the B method which is a formal language that enables to translate a semi-formal specification of a protocol into a formal one. More precisely, we focus our attention on the process of generically checking and proving interaction protocols.
机译：多代理系统中的交互通常通过交互协议来解决，该协议定义了系统通信实体之间的消息传递模式。因此，遵循严格的方法来指定，设计和正式检查交互协议至关重要。在本文中，我们处理后一个问题。因此，我们使用B方法，它是一种形式语言，可以将协议的半形式规范转换为形式规范。更准确地说，我们将注意力集中在一般检查和证明交互协议的过程上。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号