没有合适的资源?快使用搜索试试~ 我知道了~
理论计算机科学电子笔记159(2006)241-264www.elsevier.com/locate/entcs从理论电子易货模型到基于WebServices的实现1Mario Bravetti,Adalberto CasalboniUniversità di Bologna,Dipartimento di Scienze dellbravetti@cs.unibo.itManuel Núñez,Ismael Rodríguez部Sistemas Informáticos y Programación,Universidad Complutense de Madrid,CiudadUniversitaria s/n,28040 Madrid,Spain,E-mail:{mn,isrodrig}@sip.ucm.es摘要电子易货系统是一种电子商务环境,其中交易不一定涉及金钱。它们是多代理系统,其中代理代表各自的用户执行资源交换。此外,他们的结构是基于市场树。在本文中,我们开发了一个合适的设计这种系统。设计将通过使用BPEL 4WS的Web服务来定义。由于形式规范抽象了大多数实际细节,因此这种设计定义的开发需要面对几个挑战。关键词:电子商务,电子易货,多代理系统,Web服务1介绍在过去几年中,计算机科学的发展改变了我们的社会,电子商务技术的相关性是显着的。执行交易的新机制已经出现,它们带来了新的挑战。由于电子商务系统极大地吸引了众多用户1由欧盟综合项目Sensoria部分资助的研究,合同n。016004、西班牙市政和技术部MASTER项目(TIC 2003 -07848-C 02 -01)、卡斯蒂利亚-拉曼恰社区委员会DISMEF项 目 ( PAC-03-001 ) 、 玛 丽 · 居 里 研 究 和 培 训 网 络 TAROT ( MRTN-CT-2003-505121)。1571-0661 © 2006 Elsevier B. V.在CC BY-NC-ND许可下开放访问。doi:10.1016/j.entcs.2005.09.034242M. Bravetti等人/理论计算机科学电子笔记159(2006)241因此,它们的可靠性对它们的成功特别重要。与其他领域类似,形式规范允许预测电子商务系统的相关属性,并为开发实现提供理想行为的参考为了提供可解释的和不可解释的模型,形式语言从一些被认为与系统描述无关的低层细节中抽象出来。尽管规范模型和最终实现之间存在差距,但规范为开发人员提供了一个理想的系统行为模型,不仅在项目的分析阶段,而且在整个开发过程中都很有用。在电子商务领域的形式方法的现有应用中(见例如,[12,4,11,2,10]),在这里我们考虑以前在[6]中引入并在[7,9]中扩展的电子易货系统的正式定义这类系统的特点是交易不一定涉及金钱。它们提供了经典电子商务模型的一般化,因为它们可以表示交换可能涉及或可能不涉及使用货币的系统。连接到系统的用户根据各自的偏好交换商品。执行交换,直到系统相对于用户请求达到一种最佳的资源分配。为了避免系统性能的关键瓶颈,单一的全球市场被一个分层的树状市场结构所取代,在这种结构中,可以利用并行性,允许本地市场相互独立地发展。在这种结构下,用户根据邻近原因连接到树的叶子中的不同本地市场。在每个当地市场内进行交易,直到达到最佳分布。然后,市场成为一个代理,代表在市场内交易的用户,这个代理代表其用户与更高级别市场中的其他(代表)代理交换资源,直到这个更高级别的市场达到最优。该机制重复进行,直到全球市场,即处于层级顶端的市场,达到最佳状态。这个系统的行为这个定义允许正式推理系统的行为,并预测一些相关的理论结果。特别是,如[9]所示,如果在不同的层次之间交换了足够的信息量,从用户的角度来看,资源的最终分配是最优的。也就是说,层级系统达到了与非层级系统相同的分布,在非层级系统中,单个中心市场将包含所有代理人(即层级市场的经济效率与非层级市场的经济效率相匹配)。在本文中,我们面临的问题,开发一个设计的电子易货系统,可能构成的基础上,有效的实施。WebM. Bravetti等人/理论计算机科学电子笔记159(2006)241243服务和服务编排的相关概念构成了一个合适的概念化半形式模型,允许从抽象模型移动到可实现的分布式模型,该模型允许我们利用特定系统的并行性。Web服务相关技术是一组支持面向服务计算的中间件技术[5].这种模式的主要目标之一在于能够构建集成协作应用程序的网络,而不管平台和开发语言如何。Web服务技术允许通过以结构化和标准化的方式支持它们的定义来构建这些系统。特别是,Web服务由URI标识,公共接口和绑定由XML定义,以便其他软件系统可以发现它们的定义[15]。Web服务允许通过命名服务在互联网上发布服务,称为通用描述、发现和集成(Universal Description,Discovery and Integration)。基于XML的WSDL技术[3](Web服务描述语言)用于描述XML命名服务器内的服务,并通过称为SOAP [13](简单对象访问协议)的基于XML的协议在特定位置访问它们。编排BPEL4WS [1](Web服务的业务流程)支持Web服务,这是一种用于描述Web服务行为(工作流程)的语言,用于调用其他Web服务。它可以用于设计和实现(因为它实际上是通过引擎可执行的)根据Web服务的组合将电子易货系统表示为Web服务的编排需要解决几个实际挑战,并迫使开发人员更详细地定义系统架构和行为:所涉实体(正如我们将看到的,它既可以是具体的,即互联网上的真实服务,也可以是抽象的,即仅仅表示人类所做的活动),这些实体之间的交互的流程,数据交换的种类,消息交换的时间,接收请求的超时时间等。从系统正式规范开始,我们将开发一个可能的实现设计,其中实体和流交互的定义方式是为了获得一个有效的实现,该实现利用了不同本地市场的系统并行性,表示为分布式服务。我们还将注意到,在某些情况下,以失去解决方案的最优性本文其余部分的结构如下。在第2节中,我们将勾勒出定义电子易货系统的形式模型。在第3节中,我们提出了通过Web服务实现电子易货系统的主要设计决策。在第4节中,我们展示了描述所涉及实体的BPEL4WS流程的主要图表。最后,在第5节中,我们提出了我们的结论。的244M. Bravetti等人/理论计算机科学电子笔记159(2006)241附录包含了正式模型术语的操作语义。2多层次电子易货系统在本节中,我们简要描述了电子易货系统,并介绍了它们的正式规范。本文的附录中总结了表示这些系统的主体的形式操作语义电子易货系统是一个多代理系统,其中代理代表各自的用户交换资源由于代理必须根据用户的偏好进行交换,因此我们需要一个合适的符号来表示偏好。我们使用效用函数。效用函数的输入是一篮子资源,输出是一个表示对这篮子资源偏好的数值。设fA是年龄ntA的效用函数。LETXEABASKETWITH2苹果S和1欧元,然后用1个苹果和2欧元买另一个。IffA(x<$)>fA(y<$)nA表示x′到y′。 一个最简单的函数是fA(苹果,欧元)= 2·苹果+欧元。 假设有另一个代理人B,其效用函数为f B(苹果,欧元)=2·苹果+3·欧元。然后,如果代理人A和B进行交换,其中代理人A给1欧元,B和B给A1个苹果,那么两个效用函数在交换后都返回更高的值,也就是说,两个代理人都得到了改善。电子易货系统执行公平交换,也就是说,交换中至少有一个代理人改善,而没有一个代理人失败。当没有更多的公平交换时,市场就完成了,也就是说,它达到了一种无法改进的配置。 与使用系统中所有代理交换资源的单一市场不同,代理将根据邻近原因在本地市场中分组。例如,属于同一城市的代理商被放在一起,直到他们的市场完成。然后,在一个涉及多个城市的高阶市场上,通过一些代理商进行资源交换。在这些完成之后,新的代表在更高的市场上交换资源,等等。最初,愿意参与电子易货系统的客户由(电子)代理人代表。这些代理提供了两个参数:客户愿意交换的一篮子资源和效用函数。这些代理商在最本地的市场进行交易,其区域包括相关客户的位置。然后,电子易货系统根据以下算法工作(1) 代理商在当地市场内交换货物。如果(至少)一个参与的代理人提高了它的效用,并且没有一个代理人降低了它的效用,那么多边交换将被进行。重复此操作,直到不再可能进行交换。在这种情况下,我们说,当地市场是M. Bravetti等人/理论计算机科学电子笔记159(2006)241245完成(或饱和)。(2) 一旦一个市场完成,他们的代理人将被合并,以创建一个新的代理人,该代理人将在更高级别的市场进行交易,其区域包括当前市场的位置(除非我们处于顶级市场)。此代理的行为相当于组合代理的代表新代理将具有与每个代理相对应的篮子的并集作为资源篮子它的效用函数将对组合代理的效用进行编码。这个效用函数要求代表获得的资源是这样的,它们可以在其用户之间以这样一种方式传递,即没有用户相对于先前的分配而改变如果此条件成立,则返回每个所表示用户的实用程序的添加(更多细节请参见[9]一级代理商将根据邻近原因再次组合进入市场。(3) 除非我们在顶级市场中,否则在更高级别市场中的交换从(1)再次开始执行。在这种情况下,过程完成了,所得货物的分配是最终的分配。请注意,在整个过程中,在任何市场完成后,正式模型通过自上而下的方式在市场树中传播这些信息,直到它到达树的叶子(即直接代表客户的代理人),从而跟踪货物分配给几个客户。正如我们将在第3节中看到的,电子易货系统的设计将解决几个超出前面描述中考虑的细节级别的实际问题。其中一些问题将使我们重新考虑以前的例如,要求所有子代理在市场完成之前都与市场相连,实际上是提供最终最优分配所必需的,但这一要求在实践中可能不可行。 例如,如果一个代理暂时退出,那么它可能会阻止其余的代理。因此,当一个市场成为一个新的高阶市场(见步骤(2)),在某些情况下,它将能够成为一个代表只有一些代理。这些变化将改变形式语言的操作语义(在附录中给出)。请注意,这些变化表明,规格之间的关系(即,系统的分析模型)和我们从中构建的Web服务定义(即,设计和实现)是双重的。2.1形式模型接下来,我们简要介绍了电子易货系统的形式化表示。电子易货系统的正式定义是通过一个具体的语言,246M. Bravetti等人/理论计算机科学电子笔记159(2006)241+这是一种专门用来定义这类系统的语言。在这种语言的语法中,一个电子易货系统由一个语法术语正式给出。语言的语义隐含地以形式化的方式定义了电子易货系统的行为。在论文的附录中可以找到对操作语义的简要介绍。 尽管这种语言使用一种过程代数符号(主要是在定义运算规则时),它不需要出现在这类语言中的常见运算符(选择,限制等)。事实上,我们的构造让人想起了一个并行算子,例如,在进程代数CCS [8]中定义2.1市场体系由以下EBNF给出:MS::=ms(M)M::= A|unsat(M,.(男)A::=(S,u,x)S::=[ ]|[A,. ,A]Q首先,为了避免语法的歧义,我们用终端符号ms来注释市场系统。直观地说,市场M=(S,u,x)(即M=A)代表一个完全市场,也就是说,一个在其代理人之间不能进行更多交易的市场。让我们注意到,在这在这种情况下,市场代表一个能够与更高市场中的其他代理进行交易的代理在前面的表达式中,u表示M的效用函数,x表示M拥有的一篮子资源。我们认为有p个不同的商品,2即x∈IRp,钱的数量放在元组的最后一个组件中关于M的第一个参数,有两种可能的情况。 要么S是一个空列表,要么不是。在第一种情况下,我们有M代表一个原始的代理人,也就是说,一个顾客的直接代表(注意,一个单一的代理人是平凡完成的,因为没有人要处理)。 在第二种情况下,如果S=[A1,. ,A n]则我们有M表示与(可能更高阶)代理A1,.,A n属于完全市场。M的第二种可能的句法形式unsat(M1,.,Mn)表示由市场M1,.,Mn.让我们注意到,在这种情况下,一些子市场可能会完成。2.我们假设所有的物品都是商品。然而,代理人也可以进行交易。例如,如果一个顾客在他的花园里收到一片棕色的叶子,他会愿意给他一个苹果派然而,在微观经济学理论中,坏通常不被考虑,因为它们可以很容易地变成商品:人们可以考虑没有叶子的情况,而不是考虑叶子的数量。M. Bravetti等人/理论计算机科学电子笔记159(2006)241247图1.一、一个市场体系和一些业务过渡。接下来,我们提出一个例子,展示如何构建电子易货系统。在这个例子中,我们还将(非正式地)介绍语言的操作转换。例2.2让我们考虑一个有六个主体的系统A i=([ ],u i,x i),其中1≤i≤6。我们假设这些代理人分为三个不同的市场。最初,这些市场是未完成的(未完成的市场在图中用一个正方形表示),所以我们做如下定义:M1=unsat ( A1 ,A2 )M2=unsat( A3 , A4 )M3=unsat ( A5 ,A6)让我们考虑前两个市场是相互联系的,由此产生的市场也与剩余市场M3挂钩。我们应该增加以下定义:M4=unsat(M1,M2)M5=未饱和(M4,M3)最后,全球市场被定义为M=ms(M5)。这种层次结构如图1左上角所示根据上一节中解释的原理248M. Bravetti等人/理论计算机科学电子笔记159(2006)24112将只在已完成的子市场之间的市场内进行。因此,最初只有M1、M2和M3被允许执行事务(正如我们之前所说的,原始代理是平凡完成的)。我们将使用符号~来表示资源交换。让我们假设,经过一些交换,M1完成了. 也就是说,存在一个交换序列M1~M1~M2···~Mn=MJ使得MJ.1 1 1 1 1在这种情况下,将前两个代理人分组的市场应标记为完成 因此,代理有效地执行所有已实现的事务分别为AJ和AJ第一个市场将变成([AJ,AJ],f(u1,u2),x1+x2),其中f是组合效用函数的函数1 2它的工作原理与上一节中介绍的算法相同(step 2)的情况。 与此同时,M2也会有类似的行为.一旦M1和M2都完成,它们之间的交易将被允许.请注意,这些交易(在市场M4内)将根据新的效用函数f(u1,u2)和f(u3,u4)以及新的资源篮子x1+x2和x3+ x4来执行。这个过程将持续到M5完成.至此,整个过程结束。Q请注意,如果我们假设即使所有子市场尚未完成,市场也可以完成,并且新的高阶代理人只能代表代理人的子集,那么在前面的例子中可能会发生其他交互序列。尽管[6,7]中的形式模型的呈现没有考虑这些特征,但本文考虑的形式模型包括它们。如前所述,将它们添加到系统中是为了考虑一些将在系统设计阶段解决的实际问题3基于Web服务的多级电子易货系统设计在[6,7]中提出的和在前一节中概述的规范从可以做什么的角度介绍了电子易货系统,例如,从对交换的约束(它们必须满足效用函数的要求)的角度。相反,在设计阶段,我们必须定义系统的精确结构(体系结构),在其中扮演角色的实体,必须完成的事情的顺序,以及这些实体的时间行为例如,必须考虑这些实体的实例的位置以及哪些实例彼此通信,实体可以执行的交互类型,交换的数据类型以及这些交互的工作流程在生成电子易货系统的BPEL 4WS描述时,要做的第一件事是标识不同的实体M. Bravetti等人/理论计算机科学电子笔记159(2006)241249(在BPEL4WS规范中将由所谓的portType表示)。特别是,不仅是具体的实体(实际上将通过Web服务实现),而且还包括与人类行为相对应的抽象实体在电子易货系统中,我们有三个主要实体:客户,代理商和市场。每个客户端都属于一个0级市场(市场层级中最本地的一级)。负责为客户兑换的代理人属于某个0级市场,而负责为n≥0级市场兑换的代理人属于某个n+1级市场。它也可以反过来工作,也就是说,如果一个特定的市场位于0级,那么它会确定一组客户端(我们假设它们从1开始编号)和一组代理。3相反,如果市场位于水平n >0,则它确定一组代理(从1开始编号),每个代理为给定的n-1级市场进行交易。为了表示单一市场的架构,管理市场所需的操作必须由系统有效地提供可以被视为管理市场所涉及的数据的一组操作,成为支持市场行为和演变的实体这个实体被称为交换矩阵。三个主要实体的行为通过编排来定义。因此,它们的行为是通过半正式的工作流语言BPEL 4WS定义的我们将考虑正式模型包括前面章节中描述的附加特征,即即使某些子市场没有完成,市场也可以完成,新的高阶市场可能只代表市场的一个子集(附录中给出的模型的操作语义实际上包括它们)。从概念上讲,BPEL4WS中定义的设计明确表示实体之间的通信,在正式模型中,这些实体只是在语法上相互包含。更 准确地说,根据正式的模型,市场unsat(M1,. ,M n)在 语 法 上 包括所有将在其中交易的代理,即给定I ={s1,. ,s r}{1,. ,n},使得{Ms1, . . . ,Msr}是由交易年龄nts表示的标的资产的集合,我们有,对所有i ∈ I,Mi遵循代理形式(Si,ui,xi). BPEL 4WS设计中相应的市场实体将首先与所有年龄nte nti s对应于Ms1, .. . ,Msrino rete rityfunctionsus1, . . ,usr和basketsxs1, . . ,xsr,并且nit将根据unsat(M1,. ,M n)在形式模型中[3]这些代理人也被编号,为了简单起见,我们假设代理人i为客户i进行交易。250M. Bravetti等人/理论计算机科学电子笔记159(2006)241直到饱和[4]当这种情况发生时(假设我们不在顶级市场),在正式模型中,我们有unsat(M1,.,M n)被转换为代理A n([A1,. ,A r],u,x),(负责为此进行交易在pervel)中标记,其中u和x是聚合效用函数和整个资源篮子。以相同的方式,市场实体将简单地将相同的信息发送到对应于A的(较高级别的)代理实体。BPEL4WS设计中的代理实体的行为被简单地定义为检查接收到的信息并将其传递到本地市场进行交易(因此重复所描述的流程除了正式模型之外,下面考虑的BPEL 4WS规范还包括一个将执行的交换结果传输给客户端的显式阶段当顶级市场饱和时,这种传播就开始了,它由市场和代理人自上而下地传播,直到到达并通知客户实体这里可以考虑不同的设计选择。为了提高系统的效率和简化市场饱和后通过聚合获得的效用函数的结构,例如, 决定只向上传播在当前市场中没有执行任何交换的代理的请求。相反,执行交换的代理的篮子可以立即自上而下地分发给客户端。很容易看出,提高效率的代价是交易所总体上失去了全局最优性。在下一节中,我们将描述一种机制,通过本地命名的方式,以及将市场与更高级别的代理人连接起来的基于关系的技术,在我们的电子易货系统中提供统一的市场规范(从而定义系统的结构:这是通过在形式模型中包含市场的语法来实现的3.1每个市场为了调用一个服务,其他服务必须知道第一个服务的位置。这个机制是通过使用一个服务器将服务的名称绑定到一个物理地址来实现的。在我们的e-barter系统中,遵循分层体系结构,图2描述了e-barter服务的结构。在此图中,我们可以观察到每个市场都存在不同的本地服务器。因此,我们采用这样的观点,即市场体系中的每个单一市场都有4. BPEL4WS设计从原子服务内部的计算中抽象出来,例如对要进行的交换进行评估(交换矩阵的饱和度因此,这种服务的合法实现必须以符合形式模型行为的方式进行M. Bravetti等人/理论计算机科学电子笔记159(2006)241251图二.绑定名称的方案。它自己的命名空间,只是通过一个服务定义的一个命名空间。 在每个命名空间中,每个portType都关联/绑定到特定的Web服务。因此,如果调用在两个不同的市场中出现的同名(相同的端口类型)的服务,则被调用的服务是由与执行调用的市场相关联的服务器确定的服务通过这种方式,e-barter系统的特定层次结构可以是统一的,也就是说,相同的BPEL 4 WS流程可以用于相同的实体(无论如何,252M. Bravetti等人/理论计算机科学电子笔记159(2006)241图三. 抽象端口类型列表。例如,在一个实施例中,(他们所在的位置)。唯一的区别是客户端portType仅在第一级可用,因为此类型的实例只能与位于第一级的代理如 果 我 们 在 某 个 级 别 的 市 场 中 工 作 , 则 可 以 通 过 使 用aPTSUPiportType来引用更高级别的相关市场的代理人aPTi(假设市场的代理人以aPTSUPi绑定到更高级别的市场的第i个代理人的方式类似地,给定处于某个非零水平的市场,可以通过使用mPTINFi端口类型来引用处于市场的第i个代理所负责的紧接的较低水平的市场mPT3.2本地PortType名称在下文中,我们将描述我们使用的portType的含义及其操作。一般来说,操作的名称是相当自我解释的。5端口-对应于抽象实体的类型在图3中列出,而具体的端口类型在图4中列出。• clientPTi、agentPTi和marketPT对应于三个主要实体,它们的行为在下文中使用BPEL 4WS进行了指定• agentPTSUPi是与agentPTi相同的portType。它包含与代理agentPTi相同的操作,并且具有相同的行为。唯一的区别是,它是由一个给定的市场到一个不同的位置:代理agentPTi的位置(在直接更高级别的市场)与这样的市场相关联。• 类似地,marketPTINFi是与marketPT相同的portType。它包含了市场的相同操作,并且具有相同的行为。唯一的区别是,它是由一个给定的市场到一个不同的位置:市场marketPT的位置(在直接较低的水平)与这样的市场的第i个代理• actionsClientPTi表示客户做出的决策。5斜体的操作是I/O操作,而其他操作仅是输入。M. Bravetti等人/理论计算机科学电子笔记159(2006)241253见图4。 具体端口类型列表。• actionsAgentPTi是一个具体的实体,表示BPEL4WS中没有直接表示的代理的操作。它包含了一个具体的服务,控制灵效用函数的有效性。• actionsMarket是一个具体的实体,表示BPEL4WS中没有直接表示的代理的操作。它包含一个服务,该服务返回负责较高级别中当前市场的代理的索引i。如果当前市场是顶级市场,则返回0• managerErrorsPT是用于通知错误的实体• managerExchangeMatrixPT是向系统提供更多服务的实体。它用于存储给定市场的交易矩阵(以及相关信息),并以高效的方式对其进行管理。包括OP-更新、修改和读取此类矩阵的操作。具体来说,saturateMarket以未指定的方式饱和评估最优解的矩阵;最大化U和sumBaskets,分别计算饱和后的聚合效用函数和篮子的并集;assignBaskets将从更高级别接收的更新的资源篮子分发给在该市场中交易的代理;sendAgentList和sendBasket返回一个数组,其中包含在当前市场中交易的代理的索引列表,并分别返回分配给指定代理的资源篮子。254M. Bravetti等人/理论计算机科学电子笔记159(2006)2414电子易货系统实体的BPEL 4WS流程在本节中,我们将给出定义客户端、代理和市场端口类型行为的BPEL4WS流程。由于篇幅的限制,我们不包括在XML代码的每个实体的半正式的行为表示,但给出了一个图形表示的工作流(这是直接对应于XML和更可读的XML代码)。在此过程中,我们使用了一个精化结构,它允许我们将整个工作流程表达为一个包含它的更大工作流程中的单个框。这样的结构简单地代表了用精化内容替换框,并用于表达的清晰性。图5、6和7包含描述客户、代理和市场实体行为的主要图表。客户、代理及市场实体的定义分别于图8、图9、图10及图11中5结论电子易货系统是一种电子商务环境,其中代理商代表其各自的用户交换资源,交换不一定涉及金钱,并且代理商和市场以分层的方式结构化,使得市场可以成为更高阶(代表性)代理商。这类系统在[6,7]中得到了正式的说明。不幸的是,在正式规范和系统的适当设计之间存在差距。虽然形式规范水平在定义系统的功能理想行为时是基本的,但在形式规范中没有解决几个实际问题。在本文中,我们已经开发了一个设计的电子易货系统的Web服务。Web服务提供了一个合适的和支持良好的模型(已经开发了许多相关的标准和工具),用于以分布式方式定义电子易货系统的行为。由于将系统定义为一组Web服务编排,因此通过不同实体对独立活动进行概念分解和并行执行等任务在此过程中,正式规范表示了系统的理想行为,这是通过在Web服务编排级别采用适当的设计(架构)选择来实现的。通过开发这个案例研究,我们经历了:需要通过多个服务的本地命名技术,引入新的实体(如交换矩阵的管理者),关于不同市场中交换周期同步重新启动的M. Bravetti等人/理论计算机科学电子笔记159(2006)241255图五. BPEL4WS流程。交换的数据结构的设计决策以及交换的最优性和系统的效率之间的权衡。此外,让我们注意到,根据Web服务对系统的定义不仅提供了合适的设计,而且(部分)提供了实现,因为使用BPEL 4 WS定义的Web服务编排可以由ad-hoc解释器执行。256M. Bravetti等人/理论计算机科学电子笔记159(2006)241引用见图6。代理的BPEL 4WS流程[1] T. Andrews和F.科贝拉Web服务业务流程执行语言,工作草案,2004年。版本2.0,1.[2] A. Cavalli和S.玛格电子易货系统的自动测试场景生成。第19届ACM应用计算研讨会,SACACMPress,2004.[3] E. Christenses,F.库尔贝拉湾Meredith和S.维拉瓦拉那Web服务描述语言(WSDL 1.1),2001年。注15,http://www.w3.org/TR/wsdl。M. Bravetti等人/理论计算机科学电子笔记159(2006)241257见图7。 面向市场的BPEL 4WS流程。258M. Bravetti等人/理论计算机科学电子笔记159(2006)241见图8。客户端实体的细化:(第二层)构建发送篮的细化(左)和(第二层)构建发送实用函数的细化(右)。[4] K.V. Hindriks,F.S. de Boer,W. van der Hoek和J. - J.C.迈耶抽象代理程序设计语言的形式语义。在Intelligent Agents IV,LNAI 1365,第215-229页中。Springer,1998年。[5] M.N. Huhns和M.P.辛格面向服务的计算:关键概念和原则。在IEEE互联网计算,第75IEEE Computer Society Press,2005.[6] N.洛佩斯河努涅斯岛Rodríguez,and F.鲁比奥基于微观经济理论和过程代数的电子易货形式框架。在Innovative Internet Computer Systems,LNCS 2346,第217-228页中施普林格,2002年。[7] N.洛佩斯河努涅斯岛Rodríguez,and F.鲁比奥一个包含交易和运输成本的电子易货多代理系统。第18届ACM应用计算研讨会,SACACM Press,2003.[8] R. 米尔纳通信和并发。普伦蒂斯·霍尔1989年[9] M.努涅斯岛Rodríguez,and F.鲁比奥 多代理电子易货系统的形式规范。计算机程序设计科学(即将出版),2005年。出版中。[10] M.努涅斯岛Rodríguez,and F.鲁比奥电子商务系统中自治代理的规范和测试。软件测试、验证和可靠性,15(4),2005。出版中。[11] R.L. Probert,Y.陈湾,澳-地Ghazizadeh,P. Sims,and M.卡帕电子商务的正式验证与确认:理论与最佳实践。Journal of Information and Software Technology,45(11):763[12] A.S.娆AgentSpeak(L):BDI代理以逻辑可计算语言说话。在代理人脱离,LNAI 1038,第42-55页。Springer,1996年。M. Bravetti等人/理论计算机科学电子笔记159(2006)241259图9.第九条。代理实体的细化:(第二级)向市场提供数据的细化。[13] SOAP -简单对象访问协议。 http://www.w3.org/TR/soap网站。[14] Web服务的通用描述、发现和集成。http://www.uddi.org/specification.html。[15] 万维网联盟(W3C)。 http://www.w3.org。6附录:规范模型的操作语义接下来,我们将简要描述用于指定电子易货系统的规范语言的操作语义。此外,为了简化演示,已从语义中删除了一些细节。完整的描述可以在[9]中找到,尽管一些细节已经被修改,以适当地表示在系统设计的构建过程中发现的一些实际需求。 在下一个定义中,我们提出了我们的操作语义的锚案例为了进行复杂的交易,代理人应该首先表明他们愿意接受的易货交易定义6.1设A =(S,u,x)是一个完全市场。交流会The260M. Bravetti等人/理论计算机科学电子笔记159(2006)241见图10。市场主体细化:(二级)上级代理数据构建细化(左)和(二级)上级代理数据交付细化(右)。代理A将执行的操作由以下操作规则给出:u(x+y)≥u(x)<$(x+y)≥0(S,u,x)−y→(S,u,x+y)u(x+y)>u(x)<$(x+y)≥0(S,u,x)<$−y→(S,u,x+y)其中y∈IRp,p是不同商品的数量Q让我们注意到,y可以有负分量。实际上,这些元组将包含代理所进行的易货。例如,如果y=(1,-1,0,-3)满足前提,那么代理人将接受易货交易,而易货交易是不存 在 的 。一个单位的第一种产品可以换取一个单位的第二种产品和三个单位的货币。关于规则,第一个前提简单地表明,代理人不会减少(分别为。会增加其效用。第二个前提表明,代理人不会遇到红色数字,也就是说,如果代理人不拥有某个物品,则不能拥有该物品的数量因此,as-→表示该因子没有恶化;转换-→表示该因子确实改善。接下来,我们将展示如何组合操作员。定义6.2设M=unsat(M1,.,M n)是一个不完全市场,
下载后可阅读完整内容,剩余1页未读,立即下载
cpongm
- 粉丝: 4
- 资源: 2万+
上传资源 快速赚钱
- 我的内容管理 收起
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
会员权益专享
最新资源
- zigbee-cluster-library-specification
- JSBSim Reference Manual
- c++校园超市商品信息管理系统课程设计说明书(含源代码) (2).pdf
- 建筑供配电系统相关课件.pptx
- 企业管理规章制度及管理模式.doc
- vb打开摄像头.doc
- 云计算-可信计算中认证协议改进方案.pdf
- [详细完整版]单片机编程4.ppt
- c语言常用算法.pdf
- c++经典程序代码大全.pdf
- 单片机数字时钟资料.doc
- 11项目管理前沿1.0.pptx
- 基于ssm的“魅力”繁峙宣传网站的设计与实现论文.doc
- 智慧交通综合解决方案.pptx
- 建筑防潮设计-PowerPointPresentati.pptx
- SPC统计过程控制程序.pptx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功