| 形式化多主体系统中的交互及交互协议 |
| |
| 引用本文： | 焦文品,史忠植. 形式化多主体系统中的交互及交互协议[J]. 软件学报, 2001, 12(8): 1177-1182 |
| |
| 作者姓名： | 焦文品 史忠植 |
| |
| 作者单位： | 中国科学院计算技术研究所 |
| |
| 基金项目： | 国家863高科技发展计划资助项目(863-306-ZT02-01-3) |
| |
| 摘 要： | 深入研究了多主体系统中的交互及其协议,并用一种进程演算;即π演算进行了形式化的描述.为了研究主体之间的交互,首先对参与交互的主体的行为进行了分类,并形式化地描述了其行为规范,然后用进程定义了主体间的交互协议,并在此基础上分析了主体交互的一致性及无死锁性.
|
| 关 键 词： | 多主体系统 交互 π演算 |
| 收稿时间： | 1999-05-10 |
| 修稿时间： | 1999-05-10 |
Formalizing Interactions and Interaction Protocols in Multi-Agent Systems |
| |
| JIAO Wen pin and SHI Zhong zhi. Formalizing Interactions and Interaction Protocols in Multi-Agent Systems[J]. Journal of Software, 2001, 12(8): 1177-1182 |
| |
| Authors: | JIAO Wen pin and SHI Zhong zhi |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
