| 基于AUML与GPN的Agent交互协议建模 |
| |
| 引用本文： | 陈磊,姚莉,鲍翊平.基于AUML与GPN的Agent交互协议建模[J].计算机工程与科学,2006,28(4):107-110. |
| |
| 作者姓名： | 陈磊 姚莉 鲍翊平 |
| |
| 作者单位： | 1. 96637部队,北京,102101
2. 国防科技大学人文管理学院,湖南,长沙,410073 |
| |
| 摘 要： | 本文提出了一种基于AUML和CPN的Agent交互协议建模和检验的方法。该方法的主要思想是首先利用AUML协议图对Agent交互协议进行描述；然后在此基础上利用各种通信协议 建模中常用的有色Petri网（CPN）来对交互协议进行描述，并进一步转换成为比较适合描述多个Agent并发交互的形式。此外，可以使用CPN的验证工具时CPN所描述的交互协议进行检验。
|
| 关 键 词： | AUML CPN Agent 协作 协商 |
| 文章编号： | 1007-130X(2006)04-0107-04 |
| 修稿时间： | 2004年3月12日 |
Modeling of Agent Interaction Protocols Based on AUML and CPN |
| |
| CHEN Lei,YAO Li,Bao Yi-ping.Modeling of Agent Interaction Protocols Based on AUML and CPN[J].Computer Engineering & Science,2006,28(4):107-110. |
| |
| Authors: | CHEN Lei YAO Li Bao Yi-ping |
| |
| 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 firstly describe the interaction protocols using AUML specifications, and then provide a basis to create an interaction protocol in the CPN form.Also, CPN-related tools can be adopted to verify the interaction protocols. |
| |
| Keywords: | AUML CPN Agent |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
