电子商务中多Agent系统形式化建模与分析

摘要：

多Agent系统(Multi-agent Systems,MAS)已在电子商务中得到了广泛应用.由于MAS是一个动态系统,现有的形式化方法不适合描述MAS的动态体系结构,而π演算适合描述具有动态结构的系统,以π演算为形式化基础对MAS进行建模与分析.通过构造一个电子商务系统的形式化模型,描述了π演算的建模和分析过程.π演算不但能描述Agent之间的交互,而且可以对系统的一些关键属性进行分析,如分析系统的死锁性等.

关键词：多Agent系统、电子商务、动态、π演算、建模

所属期刊栏目：25

分类号：TP3(计算技术、计算机技术)

在线出版日期：2006-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：25-27