形式化多主体系统中的交互及交互协议
Formalizing Interactions and Interaction Protocols in Multi-Agent Systems作者机构：中国科学院计算技术研究所北京100080
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：2001年第12卷第8期
页 面：1177-1182页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家 8 6 3高科技发展计划资助项目 (86 3- 30 6 - ZT0 2 - 0 1- 3)&&
摘 要：深入研究了多主体系统中的交互及其协议 ,并用一种进程演算 ;即 π演算进行了形式化的描述 .为了研究主体之间的交互 ,首先对参与交互的主体的行为进行了分类 ,并形式化地描述了其行为规范 ,然后用进程定义了主体间的交互协议 ,并在此基础上分析了主体交互的一致性及无死锁性 .
维普期刊数据库
同方期刊数据库