×

DSOL:自适应服务编排的声明性方法。 (英语) Zbl 1245.68044

摘要:面向服务计算(SOC)简化了分布式应用的构建方式。然而,主流方法无法支持动态的、自我管理的组合,这些组合甚至可以授权非技术用户构建自己的编排。实际上,由于嵌入服务组合的世界是多变的,因此服务组合必须能够适应运行时可能发生的变化。不幸的是,主流的SOC语言,如BPEL和BPMN,使得开发这种自适应编排变得相当困难。
我们声称这主要是由于它们所基于的命令式编程范式。为了克服这一限制,我们提出了一种完全不同的、强声明性的方法来建模服务编排,这种方法更易于使用,并导致更灵活和自适应的编排。一个特别的引擎,利用众所周知的规划技术,解释这样的模型来支持运行时的动态服务编排。

理学硕士:

68N15 程序设计语言理论
68米15 网络和计算机系统的可靠性、测试和容错
68米11 Internet主题
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

参考文献:

[1] Erl T(2005)《面向服务的体系结构:概念、技术和设计》。Prentice Hall PTR,上鞍河
[2] Alves A、Arkin A、Askary S、Bloch B、Curbera F、Goland Y、Karthan、Liu CK、Konig D、Mehta V、Thatte S、van der Rijn D、Yendluri P、Yiu A(eds)(2006)Web服务业务流程执行语言2.0版。技术报告,绿洲。http://www.oasis-open.org/apps/org/workgroup/wsbpel/
[3] White SA(2008)业务流程建模符号,V1.1。技术报告,OMG。http://www.bpmn.org/Documents/bpmn_1-1_规范.pdf
[4] Maigre R(2010)自动化服务组合工具调查。2010年IEEE网络服务国际会议(ICWS),2010年,第628-629页。doi:10.1109/ICWS。2010.72
[5] Rao J,Su X(2005)自动化web服务组合方法综述。In:LNCS,第3387卷。斯普林格,柏林,第43-54页
[6] 基于XML的web服务(JAX-WS)2.0的JavaAPI。http://jcp.org/en/jsr/detail?id=224 . 2011年11月访问
[7] apachecxf:一个开源服务框架。http://cxf.apache.org/ . 2011年11月访问
[8] Apache HttpComponents。http://hc.apache.org/ . 2011年11月访问
[9] 代码生成库。http://cglib.sourceforge.net/ . 2011年11月访问
[10] Meneguzzi F,Luck M(2008)利用AgentSpeak的新计划(PL)。In:Baldoni M,Son TC,van Riesdijk MB,Winikoff M(编辑)《第六届声明性代理语言研讨会论文集》,第63-78页
[11] JavaGP Java GraphPlan。http://emplan.sourceforge.net . 2011年11月访问
[12] Blum AL,Furst-ML(1995)通过规划图分析快速规划。人工智能90(1):1636-1642
[13] charfia,Mezini M(2007)AO4BPEL:BPEL的面向方面扩展。万维网10:309–344。doi:10.1007/s11280-006-0016-3·Zbl 05188612
[14] Pautaso C,Alonso G(2005)Jopera:一个有效的web服务可视化组合工具包。国际电子商务杂志9:107–141
[15] Pautaso C(2009)与jopera组成restful服务。国际软件组合会议,第5634卷。斯普林格,苏黎世,第142-159页
[16] 雅虎!本地搜索Web服务。http://developer.yahoo.com/search/local/V3/localSearch.html . 2011年11月访问
[17] 涂鸦API。http://doodle.com/about/APIs.html . 2011年11月访问
[18] 谷歌静态地图API。http://code.google.com/api/maps/documentation/staticmaps/ . 2011年11月访问
[19] Google Places API。http://code.google.com/api/maps/documentation/places/ . 2011年11月访问
[20] 雅虎!地点查找器。http://developer.yahoo.com/geo/placefinder/ . 2011年11月访问
[21] 谷歌地理编码API。http://code.google.com/api/maps/documentation/geocoding/ . 2011年11月访问
[22] 必应地图API。http://msdn.microsoft.com/en-us/library/dd877180.aspx . 2011年11月访问
[23] Ghezzi C,Jazayeri M,Mandrioli D(2003),软件工程基础,第二版。Prentice Hall PTR,上鞍河·Zbl 0827.68030
[24] JBOSS jBPM。http://www.jboss.org/jbpm . 2011年11月访问
[25] Karastoyanova D,Leymann F(2009)《Bpel'n’方面:调整服务编排逻辑。在:IEEE网络服务国际会议,2009年。ICWS 2009,第222-229页。doi:10.1109/ICWS。2009.75
[26] 核心J2EE模式——数据访问对象。http://java.sun.com/blueprints/corej2eepatterns/Patterns/DataAccessObject.html . 2011年11月访问
[27] Charfi A,Mezini M(2004)混合web服务组合:业务流程符合业务规则。第二届面向服务计算国际会议论文集,ICSOC'04。ACM,纽约,第30-38页
[28] AspectJ项目。http://www.eclipse.org/aspectj/ . 2011年11月访问
[29] Sales Pinto L,Cugola G,Ghezzi C(2012),处理服务编排的变化。2012年ACM应用计算研讨会论文集,SAC'12(待出版)·Zbl 1245.68044
[30] Jain R(1991)《计算机系统性能分析的艺术:实验设计、测量、仿真和建模技术》。威利,纽约·邮政编码:0824.68013
[31] amazonec2实例类型。http://aws.amazon.com/ec2/instance-types/ . 2011年11月访问
[32] ActiveBPEL。http://www.activebpel.com . 2011年11月访问
[33] Montesi F,Guidi C,Lucchi R,Zavattaro G(2007)Jolie:java编排语言解释器引擎。电子笔记《计算机科学》181:19-33。doi:10.1016/j.entcs。2007.01.051
[34] Kitchin D,Quark A,Cook W,Misra J(2009)《兽人编程语言》。在:第11届IFIP WG 6.1国际会议FMOODS'09和第29届IFIP WG 6.1国际会议FORTE'09会议记录,FMOODS'09/FORTE'09。斯普林格,柏林,第1-25页
[35] Montali M,Pesic M,Aalst WMP vd,Chesani F,Mello P,Storari S(2010)服务编排的声明性规范和验证。ACM传输网络4:3:1–3:62·Zbl 05736710
[36] van der Aalst W,Pesic M(2006)Decserflow:走向真正的声明性服务流语言。In:Bravetti M,Nunez M,Zavattaro G(eds)Web服务和形式方法。计算机科学课堂讲稿,第4184卷。斯普林格,柏林,第1-23页
[37] Greenwood D,Rimassa G(2007)自主面向目标的业务流程管理。2007年:第三届自主和自主系统国际会议。ICAS07,第43-48页。doi:10.1109/conielcomp。2007.61
[38] Burmeister B、Arnold M、Copaciu F、Rimassa G(2008)《面向目标的敏捷业务流程Bdi代理》。在:AAMAS'08:第七届自主智能体和多智能体系统国际联席会议论文集。国际自主智能体和多智能体系统基金会,南卡罗来纳州里奇兰,第37-44页
[39] Calisti M,Greenwood D(2008)《面向目标的下一代网络自主过程建模与执行》。MACE’08:第三届IEEE国际自主通信环境建模研讨会论文集。斯普林格,柏林,第38-49页
[40] Van Riemsdijk MB,wirsingm(2007),使用灵活服务编排的目标:第一步。在:AAMAS'07/SOCASE'07:2007 AAMAS国际研讨会和SOCASE 2007面向服务计算会议记录。斯普林格,柏林,第31-48页
[41] Rao AS(1996)AgentSpeak(L):BDI代理用一种逻辑可计算语言说话。1996年:MAAMAW'96:第七届欧洲多智能体世界中自主智能体建模研讨会论文集:智能体分离。斯普林格,纽约,第42-55页
[42] Rao J,Küngas P,Matskin M(2006)使用线性逻辑定理证明语义web服务组合。信息系统31:340–360。doi:10.1016/焦耳。2005年2月5日
[43] Burstein MH、Hobbs JR、Lassila O、Martin D、McDermott DV、McIlraith SA、Narayanan S、Paulucci M、Payne TR、Sycara KP(2002)Daml-S:语义web的web服务描述。第一届语义网国际会议论文集。斯普林格,伦敦,第348-363页·Zbl 1048.68662号
[44] McIlraith SA,Son TC(2002)采用golog来组合语义web服务。第八届国际原理与知识表达与推理会议论文集(KR-02),第482-496页
[45] Wu D,Parsia B,Sirin E,Hendler J,Nau D,Nau D(2003)使用shop2自动化daml-s web服务组合。In:第二届国际语义网络会议论文集(ISWC2003),第195-210页
[46] Bertoli P,Pistore M,Traverso P(2010)通过异步域中的规划实现web服务的自动化组合。人工智能174(3–4):316–361·Zbl 05705370
[47] Ponnekanti SR,Fox A(2002)剑术:web服务组合的开发人员工具包。在:第11届国际WWW会议(WWW2002)会议记录,檀香山,HI,USA
[48] Lazovik A,Aiello M,Papazoglou M(2006)规划和监控web服务请求的执行。国际J数字图书馆6:235-246。doi:10.1007/s00799-006-0002-5
[49] Ardagna D,Pernici B(2007)灵活过程中的自适应服务组合。IEEE Trans软件工程33(6):369–384。doi:10.1109/东京证交所。2007.1011
[50] Aggarwal R,Verma K,Miller J,Milnor W(2004)《meteor-s中的约束驱动web服务组合》,载:2004年IEEE服务计算国际会议论文集。IEEE计算机协会,华盛顿特区,美国,第23-30页
[51] Zeng L,Benatallah B,Ngu AHH,Dumas M,Kalagnanam J,Chang H(2004)web服务组合的Qos感知中间件。IEEE Trans Softw Eng 30:311–327。doi:10.1109/东京证交所。2004.11
[52] Kramer J,Magee J(2007)《自我管理系统:架构挑战》。In:FOSE'07:2007软件工程的未来。IEEE计算机协会,华盛顿特区,美国,第259-268页。doi:10.1109/FOSE。2007.19
[53] Sykes D,Heaven W,Magee J,Kramer J(2008),从目标到组件:自我管理的组合方法。2008年自适应和自管理系统软件工程国际研讨会论文集。美国纽约州纽约市ACM,第1-8页。数字标识码:10.1145/1370018.1370020
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。