一个以agent为中介的电子市场的形式化框架  

A Formal Agent-ediated E-Market Framework

作　　者：陈霞[1] 李立新[1] 

机构地区：[1]西南师范大学计算机与信息科学学院

出　　处：《西南师范大学学报（自然科学版）》2005年第1期54-58,共5页Journal of Southwest China Normal University(Natural Science Edition)

摘　　要：采用π演算对电子市场框架及成员进行定义, 动态地描述了市场中agent的行为, 从动态的观点来讨论以a gent为中介的电子市场. 提出了一个以软件agent为中介的电子市场的形式化描述框架. 在基于该框架的电子市场中, 交易由agent来实现, 参与交易的agent可动态的加入、离开市场, 根据市场的实际情况进行联合, 从而有效地达成交易.In this paper an agent-mediated e-market framework is put forward and described formally in the polyadic π-calculus. In the e-market buyer agent or seller agent can be allowed to join or leave at any time. To finish exchange efficiently dynamic coalition is formed among buyer agents or seller agents. Two kinds of member in the e-market and their dynamic behavior are expressed formally in the polyadic π-calculus.

关 键 词：软件AGENT 联合 电子市场 Π演算 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] F713[自动化与计算机技术—控制科学与工程]