MAS交互协议的形式化描述和验证

• 作者: 李千目 杨群 许满武 陈宏兵
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 交互协议 多Agent 对话协议 π演算
• 年，卷（期）: 2006,（z1）
• 所属期刊栏目: Agent形式模型
• 页码范围: 28-33
• 页数: 6页
• 分类号: TP391
• 字数: 4678字
• 语种: 中文

摘要

在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许满武	南京大学软件新技术国家重点实验室	48	749	13.0	26.0
2	杨群	南京大学软件新技术国家重点实验室	6	95	3.0	6.0
3	陈宏兵	南京大学软件新技术国家重点实验室	4	10	2.0	3.0
4	李千目	京理工大学计算机科学与技术系	1	0	0.0	0.0