Gianpaolo Cugola公司;卡洛·盖齐;Pinto，Leandro销售 DSOL：自适应服务编排的声明性方法。 （英文） Zbl 1245.68044号 计算 94，第7期，579-617（2012）. 概要：面向服务计算（SOC）简化了构建分布式应用程序的方式。然而，主流方法无法支持动态的、自我管理的组合，即使是非技术用户也可以构建自己的编配。实际上，由于服务组合所嵌入的世界是多变的，因此服务组合必须能够适应运行时可能发生的更改。不幸的是，主流SOC语言，如BPEL和BPMN，使得开发这种自适应编排变得相当困难。我们声称这主要是由于它们所基于的命令式编程范式。为了克服这一限制，我们提出了一种完全不同的、强声明性的方法来建模服务编排，这种方法更容易使用，并导致更灵活和自适应的编排。ad-hoc引擎利用众所周知的规划技术，解释这些模型以支持运行时的动态服务编排。 引用于2文件 MSC公司： 68甲15 编程语言理论 68米15 网络和计算机系统的可靠性、测试和容错 68英里11 互联网主题 关键词：面向服务编程;web服务组合;陈述性语言;自我适应;容错 软件：cglib数据库;SWORD公司;谷歌地图开发技术;图规划;约佩拉;JBoss公司;AO4BPEL公司;朱莉;兽人;代理发言 PDF格式BibTeX公司 XML格式引用 \textit{G.Cugola}等人，《计算》94，第7期，579--617（2012；Zbl 1245.68044） 全文： 内政部 链接 参考文献： [1] Erl T（2005）《面向服务的体系结构：概念、技术和设计》。上鞍河Prentice Hall PTR [2] Alves A、Arkin A、Askary S、Bloch B、Curbera F、Goland Y、Kartha N、Liu CK、Konig D、Mehta V、Thatte S、van der Rijn D、Yendluri P、Yiu A（eds）（2006）Web Services业务流程执行语言2.0版。技术报告，OASIS。http://www.oasis-open.org/apps/org/workgroup/wsbpel/ [3] White SA（2008）《业务流程建模符号》，V1.1。技术报告，OMG。http://www.bpmn.org/Documents/bpmn_1-1_Specification.pdf [4] Maigre R（2010）自动化服务组合工具调查。2010年IEEE网络服务国际会议（ICWS），2010年，第628-629页。doi:10.1109/ICWS.2010.72 [5] Rao J，Su X（2005）自动化web服务组合方法的调查。包含：LNCS，第3387卷。柏林施普林格，第43-54页 [6] 用于基于XML的web服务（JAX-WS）2.0的Java API。http://jcp.org/en/jsr/detail？id=224 . 2011年11月访问 [7] Apache CXF：一个开源服务框架。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）利用代理峰值（PL）中的新计划。收录人：Baldoni M、Son TC、van Riemsdijk MB、Winikoff M（编辑）第六届声明性代理语言研讨会论文集，第63-78页 [11] JavaGP-Java图形计划。http://template.sourceforge.net . 2011年11月访问 [12] Blum AL，Furst ML（1995），通过规划图分析快速规划。Artif Intell 90（1）：1636–1642 [13] Charfi A，Mezini M（2007）AO4BPEL：面向方面的BPEL扩展。万维网10:309–344。doi:10.1007/s11280-006-0016-3·doi:10.1007/s11280-006-0016-3 [14] Pautasso C，Alonso G（2005）Jopera：一个用于高效可视化web服务组合的工具包。国际电子商务杂志9:107–141 [15] Pautasso 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/apis/maps/documentation/staticmaps/ . 2011年11月访问 [19] Google Places API。http://code.google.com/apis/maps/documentation/places/ . 2011年11月访问 [20] 雅虎！放置查找器。http://developer.yahoo.com/geo/placefinder/ . 2011年11月访问 [21] 谷歌地理编码API。http://code.google.com/apis/maps/documentation/geocoding/ . 2011年11月访问 [22] Bing地图API。http://msdn.microsoft.com/en-us/library/dd877180.aspx . 2011年11月访问 [23] Ghezzi C、Jazayeri M、Mandrioli D（2003）《软件工程基础》，第2版。Prentice Hall PTR，上鞍河·Zbl 0827.68030号 [24] JBOSS jBPM。http://www.jboss.org/jbpm . 2011年11月访问 [25] Karastoyanova D，Leymann F（2009）《Bpel“观点：调整服务编排逻辑》。2009年IEEE网络服务国际会议。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服务组合：业务流程符合业务规则。摘自：2004年ICSOC第二届面向服务计算国际会议记录。ACM，纽约，第30-38页 [28] AspectJ项目。http://www.eclipse.org/aspectj/ . 2011年11月访问 [29] Sales Pinto L、Cugola G、Ghezzi C（2012）《处理服务编排中的变化》。附：2012年美国计算机学会应用计算研讨会论文集，SAC’12（待发布）·Zbl 1245.68044号 [30] Jain R（1991）《计算机系统性能分析的艺术：实验设计、测量、模拟和建模技术》。纽约威利·Zbl 0824.68013号 [31] Amazon EC2实例类型。http://aws.amazon.com/ec2/instance-types/ . 2011年11月访问 [32] 活动BPEL。网址：http://www.activebpel.com . 2011年11月访问 [33] Montesi F、Guidi C、Lucchi R、Zavataro G（2007）朱莉：一个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工作组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 Trans网站4:3:1–3:62·doi:10.1145/1658373.1658376 [36] van der Aalst W，Pesic M（2006）Decserflow：走向真正的声明性服务流语言。In：Bravetti M、Nunez M、Zavataro G（eds）Web服务和形式化方法。计算机科学课堂讲稿，第4184卷。施普林格，柏林，第1-23页 [37] Greenwood D，Rimassa G（2007）自主目标导向的业务流程管理。2007年第三届自主和自治系统国际会议。ICAS07，第43-48页。doi:10.1109/CONIELECOMP.2007.61 [38] Burmeister B、Arnold M、Copaciu F、Rimassa G（2008）《敏捷目标导向业务流程的Bdi-agents》。摘自：AAMAS’08：第七届自主代理和多代理系统国际联席会议记录。国际自治代理和多代理系统基金会，南卡罗来纳州里奇兰，第37–44页 [39] Calisti M，Greenwood D（2008），面向目标的下一代网络自主过程建模和执行。2008年5月：第三届IEEE自主通信环境建模国际研讨会会议记录。柏林施普林格，第38-49页 [40] Van Riemsdijk MB，Wirsing M（2007）《使用灵活服务编排的目标：第一步》。收录于：AAMAS’07/SOCASE’07:2007年AAMAS国际研讨会和SOCASE 2007年面向服务计算会议记录。柏林施普林格，第31-48页 [41] Rao AS（1996）AgentSpeak（L）：BDI代理用逻辑可计算语言说话。摘自：MAAMAW'96：第七届欧洲多智能体世界中自主智能体建模研讨会会议记录：智能体脱离。纽约州施普林格，第42–55页 [42] Rao J，Küngas P，Matskin M（2006）使用线性逻辑定理证明的语义web服务组合。信息系统31:340–360。doi:10.1016/j.is.2005.02.005 [43] Burstein MH、Hobbs JR、Lassila O、Martin D、McDermott DV、McIlraith SA、Narayanan S、Paolucci M、Payne TR、Sycara KP（2002）Daml-S:语义web的web服务描述。收录：第一届语义网国际语义网会议论文集。伦敦施普林格，第348-363页·Zbl 1048.68662号 [44] McIlraith SA，Son TC（2002）《为语义web服务的组合调整golog》。摘自：第八届国际原理与知识表示与推理会议记录（KR-02），第482-496页 [45] Wu D、Parsia B、Sirin E、Hendler J、Nau D和Nau D（2003）使用shop2自动化daml-s web服务组合。收录：第二届国际语义网络会议（ISWC2003）论文集，第195-210页 [46] Bertoli P、Pistore M、Traverso P（2010）通过异步域中的规划自动组合web服务。Artif Intell 174（3-4）：316–361·doi:10.1016/j.artint.2009.12.002 [47] Ponnekanti SR，Fox A（2002）SWORD:用于web服务组合的开发人员工具包。收录：第十一届国际WWW会议（WWW2002）会议记录，美国夏威夷州火奴鲁鲁 [48] Lazovik A、Aiello M、Papazoglou M（2006）规划和监控web服务请求的执行。Int J数字Libr 6:235-246。doi:10.1007/s00799-006-0002-5 [49] Ardagna D，Pernici B（2007），灵活流程中的自适应服务组合。IEEE跨软件工程33（6）：369–384。doi:10.1109/TSE.2007.111 [50] Aggarwal R，Verma K，Miller J，Milnor W（2004）《Meteos-s中约束驱动的web服务组合》，收录于：2004年IEEE服务计算国际会议论文集。IEEE计算机协会，美国华盛顿特区，第23-30页 [51] Zeng L，Benatallah B，Ngu AHH，Dumas M，Kalagnanam J，Chang H（2004）web服务组合Qos-aware中间件。IEEE Trans Softw Eng公司30:311–327。doi:10.1109/TSE.2004.11 [52] Kramer J，Magee J（2007）《自我管理系统：架构挑战》。收录于：FOSE’07:2007《软件工程的未来》，IEEE计算机学会，美国华盛顿特区，第259-268页。doi:10.1109/FOSE.2007.19 [53] Sykes D、Heaven W、Magee J、Kramer J（2008）《从目标到组件：自我管理的综合方法》。摘自：SEAMS’08：2008年自适应和自我管理系统软件工程国际研讨会会议记录。ACM，美国纽约州纽约市，第1-8页。数字对象标识代码：10.1145/1370018.1370020 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。