您的位置: 专家智库 > >

陈磊

作品数:1 被引量:4H指数:1
供职机构:国防科学技术大学人文与管理学院更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇协商
  • 1篇AUML
  • 1篇CPN
  • 1篇AGENT

机构

  • 1篇国防科学技术...

作者

  • 1篇姚莉
  • 1篇鲍翊平
  • 1篇陈磊

传媒

  • 1篇计算机工程与...

年份

  • 1篇2006
1 条 记 录,以下是 1-1
排序方式:
基于AUML与GPN的Agent交互协议建模被引量:4
2006年
本文提出了一种基于AUML和CPN的Agent交互协议建模和检验的方法。该方法的主要思想是首先利用AUML协议图对Agent交互协议进行描述;然后在此基础上利用各种通信协议建模中常用的有色Petri网(CPN)来对交互协议进行描述,并进一步转换成为比较适合描述多个Agent并发交互的形式。此外,可以使用CPN的验证工具对CPN所描述的交互协议进行检验。
陈磊姚莉鲍翊平
关键词:AUMLCPNAGENT协商
共1页<1>
聚类工具0