| 电子商务中多Agent系统形式化建模与分析 |
| |
| 引用本文： | 黄谦,于振华.电子商务中多Agent系统形式化建模与分析[J].情报杂志,2006,25(9):25-27. |
| |
| 作者姓名： | 黄谦 于振华 |
| |
| 作者单位： | 1. 西安交通大学管理学院,西安,710049;西安工业学院经济管理学院,西安,710032
2. 西安交通大学电子与信息工程学院,西安,710049 |
| |
| 摘 要： | 多Agent系统(Multi-agent Systems,MAS)已在电子商务中得到了广泛应用。由于MAS是一个动态系统,现有的形式化方法不适合描述MAS的动态体系结构,而π演算适合描述具有动态结构的系统,以π演算为形式化基础对MAS进行建模与分析。通过构造一个电子商务系统的形式化模型,描述了π演算的建模和分析过程。π演算不但能描述Agent之间的交互,而且可以对系统的一些关键属性进行分析,如分析系统的死锁性等。
|
| 关 键 词： | 多Agent系统 电子商务 动态 π演算 建模 |
Formal Modeling and Analyzing Multi-agent Systems in Electronic Commerce |
| |
| Huang Qian,Yu Zhenhua.Formal Modeling and Analyzing Multi-agent Systems in Electronic Commerce[J].Journal of Information,2006,25(9):25-27. |
| |
| Authors: | Huang Qian Yu Zhenhua |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
