摘要
采用π演算对电子市场框架及成员进行定义, 动态地描述了市场中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.
出处
《西南师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2005年第1期54-58,共5页
Journal of Southwest China Normal University(Natural Science Edition)
