J4 ›› 2006, Vol. 28 ›› Issue (4): 107-110.
• 论文 • 上一篇 下一篇
陈磊[1,2] 姚莉[1,2] 鲍翊平[1,2]
出版日期:
发布日期:
Online:
Published:
摘要： 本文提出了一种基于AUML和CPN的Agent交互协议建模和检验的方法。该方法的主要思想是首先利用AUML协议图对Agent交互协议进行描述；然后在此基础上利用各种通信协议 建模中常用的有色Petri网（CPN）来对交互协议进行描述，并进一步转换成为比较适合描述多个Agent并发交互的形式。此外，可以使用CPN的验证工具时CPN所描述的交互协议进行检验。
关键词: AUML CPN Agent 协作 协商
Abstract:
This paper proposes a modeling and verification method for Agent interaction protocols based on AUML and CPN. The main idea of this method is to first ly describe the interaction protocols using AUML specifications, and then provide a basis to create an interaction protocol in the CPN form. Also, CPN-r elated tools can be adopted to verify the interaction protocols.
Key words: AUML, CPN, Agent, collaboration, negotiation
陈磊[1,2] 姚莉[1,2] 鲍翊平[1,2]. 基于AUML与GPN的Agent交互协议建模[J]. J4, 2006, 28(4): 107-110.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2006/V28/I4/107
