10.3969/j.issn.1007-130X.2006.04.036
基于AUML与GPN的Agent交互协议建模
本文提出了一种基于AUML和CPN的Agent交互协议建模和检验的方法.该方法的主要思想是首先利用AUML协议图对Agent交互协议进行描述;然后在此基础上利用各种通信协议建模中常用的有色Petri网(CPN)来对交互协议进行描述,并进一步转换成为比较适合描述多个Agent并发交互的形式.此外,可以使用CPN的验证工具对CPN所描述的交互协议进行检验.
AUML、CPN、Agent、协作、协商
28
TP181(自动化基础理论)
中国科学院资助项目70371008
2006-05-18(万方平台首次上网日期,不代表论文的发表时间)
共4页
107-110