论文部分内容阅读
采用π演算对电子市场框架及成员进行定义,动态地描述了市场中agent的行为,从动态的观点来讨论以agent为中介的电子市场.提出了一个以软件agent为中介的电子市场的形式化描述框架.在基于该框架的电子市场中,交易由agent来实现,参与交易的agent可动态的加入、离开市场,根据市场的实际情况进行联合,从而有效地达成交易.