Towards a Methodology for Formal Design and Analysis of Agent Interaction Protocols ——An Investigation in Electronic Commerce

Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e commerce protocol NetBill as an example.

Agent为中介的电子商务研究

一、引言 电子商务至今没有一个较为全面、权威的定义.一般地说,电子商务包括一切使用电子手段进行的商业活动.它是运用电子通信为手段的经济活动,通过这种方式人们可以对带有经济价值的产品和服务进行宣传、购买和结算.这种交易的方式不受地理位置、资金多少或零售渠道的所有权影响,个人、组织、团体都能自由地参加广泛的经济活动.电子商务能使产品甚至服务在世界范围内交易,并向消费者提供多种多样的选择.

基于人工蜂群算法的电子商务多Agent自动谈判模型

由于现有电子商务自动谈判模型在不断动态变化的网络环境中匹配慢、整体效用值低,结合人工蜂群算法的原理及求解流程,给出一种电子商务自动谈判模型。该模型基于多Agent多属性的自动谈判模式,融合符合实际的商务谈判方式,着重将电子商务自动谈判的Agent匹配与人工蜂群算法求解的过程相结合,以快速准确获得使整体利益最大的解。通过求解一个电子采购实例并与其他算法的求解效率进行对比,验证了该模型的有效性。

基于神经网络的Agent电子商务协商模型

提出一个在电子商务中能辅助用户网上采购的智能Agent协商模型,并对模型进行仿真实验,以验证模型的有效性。模型的构造基于BP神经网络,通过对用户的购物偏好训练学习,使Agent获得一组包含用户偏好特征的规则信息并作为协商过程中推理的依据;每次协商的结果都作为学习样本,以提高Agent对市场变化的适应能力。

基于Agent的智能电子商务支持系统研究

人工智能在近几年得到了迅速的发展，软件Agent在电子商务中越来越重要。该文提出了智能电子商务支持系统（IECSS）的概念，给出了智能电子商务支持系统模型，最后指出了系统支持电子商务的应用及其相关问题。

基于移动Agent的智能电子商务模型的设计与实现

基于移动Agent技术的智能电子商务模型是一个新的研究课题.在分析现有电子商务模型存在问题的基础上,构建了一个建立在Internet开放采购模型OBI之上、支持B2B模式的智能电子商务模型IECMMA,提出了一个针对该模型的改进的电子商务安全方案.设计了一个基于时间策略的智能购物算法,并利用IBM公司的移动A-gent开发工具ASDK实现了该模型的主要功能.实验结果表明,该模型是切实可行的.

基于多Agent的电子商务协商系统与仿真

引入Agent智能体软件解决电子商务的自动协商问题,给出了一个基于Agent的电子商务自动交易系统,设计了自动协商模型。最后,通过Swarm仿真平台对自动协商模型进行了仿真分析,从而验证了该模型的正确性和可行性。

基于智能Agent技术的电子商务研究

智能Agent技术的发展,对电子商务产生了重大的影响,本文概述了智能Agent技术的特征和在电子商务中的基本应用。讨论了基于智能Agent技术的电子商务系统框架,着重叙述了在商务磋商中应用智能Agent的技术。

面向电子商务的Agent谈判模型

针对目前自动谈判系统中谈判模型存在难以准确描述谈判过程中的不确定因素和构造效用函数困难的问题,在模糊数学和人工智能的理论基础上建立了谈判方的偏好、谈判目标约束及谈判解满意度数学模型,采用模糊约束满足问题和约束放松的方法对谈判模型进行求解,得到了谈判Agent满意的谈判解.实例计算分析表明该谈判模型是一种双赢的谈判模型.

基于新型模糊CMAC神经网络的Agent外贸协商模型

文章提出了一个由外销商训练的基于一种新型模糊小脑神经网络的Agent外贸协商模型。由于模糊小脑神经网络训练快速性,所以客户在输入了购买信息之后,可以及时获得相关评价,使客户最终能以协商的方式与Agent达成协议,提高了工作效率,仿真试验也证明了其评价的正确性。

基于Agent的电子商务在线议价研究

针对电子商务中交易双方的议价问题,引入Agent,建立了通用的基于多Agent的在线议价模型。通过构造Agent报价策略的概率密度函数,并考虑议价双方的下一步期望价格和保留价格,构建了基于价格的议价算法,该算法考虑了Agent的偏好、议价时间约束等参数,而且该议价算法能动态地修改可能的报价区间范围,并具有一定的学习能力,使议价过程能够较好地反映交易双方的心智态度,可模拟传统交易中的议价过程。

基于Mobile Agent技术的未来电子商务模式的研究

Internet上的信息量和商务量爆炸式的增长、网络环境的日益复杂以及产品供应的不确定性都迫切需要一种主动的、智能的、动态反映各类信息变化的新技术来满足人们对电子商务日趋完善的要求。MobileAgent技术应用于电子商务可以为用户和商家提供从智能资源发现到在网上虚拟市场进行交易的一系列个性化服务。系统地研究了一种基于MobileAgent技术的未来电子商务的实现模式 ,并详细探讨该模式所依赖的相关技术及方案。

基于本体的多Agent电子商务供应链协商模型

随着电子商务的发展,有效的智能化电子商务供应链管理显得尤为重要,其中智能协商可以解决供应链成员之间的调度问题和交易冲突。结合本体技术和多Agent技术,建立一种基于本体的多Agent电子商务供应链协商模型,有利于更好地组织和管理协商知识,以及提高Agent的合理协商决策能力,它由连接访问层、Agent交流层、协商层、本体层组成。该模型将协商本体分为共享本体和私有本体,既实现了Agent协商的可操作性,又保证了协商决策的保密性。

基于移动Agent的自动协商应用

主要研究电子商务中的协商问题,为实现自动协商提供了一个可行的方向。通过分析目前电子商务的协商现状及所存在的问题,提出将移动Agent技术引入电子商务,为B2C电子商务中一对多的协商问题自动化指出了一个实现方向,并得出基于移动Agent的自动协商系统的建设目标及特点。这将对于实现电子商务协商的自动化,提供有力的理论支持及发展方向。

一种基于移动Agents技术的电子商务模式

Internet上的信息量和商务量爆炸式的增长、网络环境的日益复杂,以及产品供应商的不确定性,都迫切需要一种主动的、智能的、动态反映各类信息变化的新技术,来满足人们对电子商务日趋完善的要求。移动Agents技术应用于电子商务,可以为用户和商家提供从资源智能发现到在网上虚拟市场进行交易等一系列个性化服务。本文系统地介绍一种基于移动Agents技术的电子商务的实现模式,并详细探讨该模式所依赖的相关技术及方案。

基于记忆模型学习的商务Agent协商设计

将基于记忆模型学习和Agent结合起来应用到商务协商过程,可在一定程度上促进机器学习、Agent技术及电子商务的共同发展。将Agent技术引入到记忆模型学习中,给出了基于记忆模型学习的商务Agent协商的设计思路,完成了记忆模型、协商协议的设计,并搭建实验系统平台,设计了原型系统,经过实验可以在嵌入式移动设备上实现商务协商,从而验证了该协商的有效性。

基于Multi-Agent的协同图书销售系统原型实现

针对Web环境下图书销售系统的缺点,提出用Agent技术和CSCW结合以增加图书销售的智能性。给出了智能协同环境下图书销售系统中Agent的交互模型,对Agent的基本结构进行了描述,最后给出了系统的实现。实践证明,该系统在智能性和性能上都较同类系统有很大提高。

电子市场中AGENT协商行为机制分析

提出了一种电子市场模型,然后对电子市场中卖方(买方)AGENT的协商活动进行分析,在协商过程 中AGENT以某种行为方式代表客户进行活动,行为方式通过一种复杂函数(参变量包括:电子市场条件、产品目 录信息、个人态度(由:时间、价格、买卖信用级别、质量重要性等要素构成))表现出来。

面向Agent的Petri网及其应用

为了更好地刻画单个Agent的行为和多Agent间复杂、并行的动态交互,将面向Agent的设计思想与Petri网建模方法相结合,形成了一种面向Agent的Petri网(AOPN)模型。首先给出了面向Agent的Petri网的形式化定义,然后利用Petri网的建模工具,以网上购物背景下买卖双方简单交互为例,对基于面向Agent的Petri网模型的系统建模方法进行了研究和分析,有效地解决了系统结构复杂性的问题。