阿尔伯特·本文尼斯特；克洛德·贾德；Ajay Kattepur；西德尼·罗萨里奥；约翰·A·蒂维森。 支持QoS的单调服务编排管理。 （英语） Zbl 1291.68280号 形式方法系统。设计。 44，第1期，1-43页（2014年）. 摘要：我们研究了服务编排的QoS-aware管理，特别是针对具有数据相关工作流的编排。我们的研究支持多维的服务质量。为了捕获性能和QoS中的不确定性，我们提供了以下支持概率的服务质量。在上述假设下，编排可能是非单调就QoS而言，这意味着严格改进服务的QoS可能会严格降低编配的端到端QoS，这对于支持QoS的管理来说是一个尴尬的特性。我们研究了单调性并为其提供了充分的条件。然后，我们提出了一种综合的单调编配理论和方法。通用QoS组合规则是通过QoS演算，还捕获最佳服务绑定&但是，服务发现不在本工作范围内。单调性为基于合同的QoS意识管理方法。虽然在复杂编配的设计中不能分离功能和QoS，但我们表明，我们的框架通过允许分别开发功能和QoS，然后将它们“编织”在一起，从而派生出QoS增强编配，从而支持关注点的分离。我们的方法是在Orc脚本语言之上实现的，用于指定服务编排。 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 64岁以下 分布式系统 关键词：web服务；服务质量（QoS）；代数；概率模型 软件：CC-Pi公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人，《形式方法系统》。设计。44，第1号，1-43（2014；Zbl 1291.68280） 全文： 内政部 哈尔 参考文献： [1] Aalst，WMP，工作流网络验证，407-426（1997）·Zbl 1510.68044号 [2] van der Aalst WMP（1998）Petri网在工作流管理中的应用。电路系统计算杂志8（1）：21-66。citeseer.ist.psu.edu/vanderaalst98应用程序.html·doi:10.1142/S0218126698000043 [3] van der Aalst WMP，van Hee KM（2002）《工作流管理：模型、方法和系统》。麻省理工学院出版社，剑桥 [4] van der Aalst WMP、ter Hofstede AHM、Kiepuszewski B、Barros AP（2003）《工作流程模式》。分发并行数据库14（1）：5-51。doi:10.1023/A:1022883727209·doi:10.1023/A:1022883727209 [5] Abundo，M。；卡德里尼，V。；佛罗里达州普雷斯蒂，《QoS感知服务型系统的最优准入控制》，179-190（2011） [6] Bensoussan A（1992）部分可观测系统的随机控制。剑桥大学出版社·Zbl 0776.93094号 ·doi:10.1017/CBO9780511526503 [7] Alrifai，M。；Risse，T.，将全局优化与局部选择结合起来，以实现高效的QoS感知服务组合，881-890（2009） [8] Ardagna，D。；Ghezzi，C。；米兰多拉，R。；Mähönen，P.（编辑）；Pohl，K.（编辑）；Priol，T.（编辑），组合web服务的模型驱动QoS分析，第5377号，299-311（2008），柏林 [9] Ardagna，D。；Giunta，G。；Ingraffia，N。；米兰多拉，R。；佩尔尼奇，B。；Meersman，R.（编辑）；Tari，Z.（编辑），自主网格环境中QoS驱动的web服务选择，第4276号，1273-1289（2006），柏林 [10] Ardagna，D。；佩尔尼奇，B。；Bussler，C.（编辑）；Haller，A.（编辑），《web服务选择中的全球和本地QoS保证》，第3812、32-46号（2005年）·doi:10.1007/11678564_4 [11] Bistarelli S、Montanari U、Rossi F、Santini F（2010）《软约束逻辑编程单播和组播QoS路由》。ACM事务计算日志12（1）：5:1-5:48·Zbl 1351.68031号 ·数字对象标识代码：10.1145/1838552.1838557 [12] Bistarelli S，Santini F（2009）一种用于SLA协商的非单调软并发约束语言。计算机科学电子笔记236:147-162·doi:10.1016/j.entcs.2009.03.020 [13] 比斯塔雷利，S。；Santini，F.，面向服务架构中质量方面的软约束，51-65（2009） [14] Bouillard，A。；罗萨里奥，S。；Benveniste，A。；哈尔，S。；Franceschinis，G.（编辑）；Wolf，K.（编辑），《服务编配中的单调性》，第5606、263-282号（2009年），柏林·Zbl 1242.68009号 [15] Buscemi，MG；Montanari，U.，CC-Pi:一种基于约束的语言，用于指定服务级别协议，18-32（2007），柏林·Zbl 1187.68063号 [16] Buscemi MG，Montanari U（2011）《服务组合中的QoS协商》。J Log Algebr程序80（1）：13-24·Zbl 1207.68220号 ·doi:10.1016/j.jlap.2010.04.001 [17] Calinescu R、Grunske L、Kwiatkowska M、Mirandola R、Tamberrelli G（2011）《基于服务的系统中的动态QoS管理和优化》。IEEE Trans Softw Eng 37（3）：387-409·doi:10.1109/TSE.2010.92 [18] 卡德里尼，V。；卡萨利基奥，E。；格拉西，V。；佛罗里达州普雷斯蒂，《基于百分比的服务水平协议下复合服务的适应性管理》，第6470号，第381-395页（2010年） [19] Cardoso，J。；阿联酋谢斯；JA米勒；Kosanke，K.（编辑）；Jochem，R.（编辑）；Nell，JG（编辑）；Bas，AO（编辑），工作流服务质量，第236号，303-311（2002），多德雷赫特 [20] Cardoso J、Sheth AP、Miller JA、Arnold J、Kochut K（2004）《工作流和web服务流程的服务质量》。网络选修课1（3）：281-308·doi:10.1016/j.websem.2004.03.001 [21] 库克，WR；Patwardhan，S。；Misra，J.，《兽人的工作流模式》，82-96（2006） [22] Esparza J，Römer S，Vogler W（2002）《麦克米兰展开算法的改进》。表格方法系统设计20（3）：285-310·Zbl 1017.68085号 ·doi:10.1023/A:1014746130920 [23] Baccelli F、Cohen G、Olsder GJ、Quadrat J-P（1992）《同步与线性》。概率和数理统计中的威利级数。纽约威利·Zbl 0824.93003号 [24] 黄，SY；王，H。；斯利瓦斯塔瓦，J。；Paul，RA，基于web服务的工作流的概率QoS模型和计算框架，596-609（2004） [25] Hwang SY，Wang H，Tang J，Srivastava J（2007）基于web服务的工作流QoS建模和估计的概率方法。《信息科学》177（23）：5484-5503·Zbl 1126.68005号 ·doi:10.1016/j.ins.2007.07.011 [26] Kattepur，A。；Kappel，G.（编辑）；Maamar，Z.（编辑）；Motahari-Nezhad，HR（编辑），《网络服务中概率合同的重要性抽样》，第7084、557-565号（2011），柏林 [27] Keller A，Ludwig H（2003）《WSLA框架：指定和监控web服务的服务级别协议》。网络系统管理杂志11（1） [28] Kiczales，G。；兰平，J。；Mendhekar，A。；Maeda，C。；Lopes，C。；MJ Loingtier；Irwin，J.，面向方面编程（1997），柏林 [29] Kiselev I（2002）使用AspectJ进行面向方面的编程。印第安纳波利斯山姆 [30] 基钦，D。；库克，WR；Misra，J.，任务编排语言及其语义属性（2006）·Zbl 1151.68360号 [31] Marsan MA，Balbo G，Bobbio A，Chiola G，Conte G，Cumani A（1989）执行策略对随机Petri网语义和分析的影响。IEEE Trans Softw工程15（7）：832-846·数字对象标识代码：10.1109/32.29483 [32] 梅纳塞，DA；卡萨利基奥，E。；杜比，VK；Avritzer，A.（编辑）；Weyuker，EJ（编辑）；Woodside，CM（ed.），面向服务架构中最优服务选择的启发式方法，13-24（2008），纽约·doi:10.1145/1383559.1383562 [33] Misra J，Cook WR（2006）计算编排：广域计算的基础。软件系统模型。doi:10.1007/s10270-006-0012-1·doi:10.1007/s10270-006-0012-1 [34] Shaked M，Shanthikumar JG（1994）随机序及其应用。纽约学术出版社·Zbl 0806.62009年 [35] Shaked M，Shanthikumar JG（2007）随机订单。柏林施普林格·Zbl 1111.62016年 ·数字对象标识代码：10.1007/978-0-387-34675-5 [36] Murata，T.，《Petri网：性质、分析和应用》，第77期，第541-580页（1989年） [37] 尼古拉·R。；法拉利，G。；蒙塔纳里，美国。；Pugliese，R。；Tuosto，E。；Jacquet，JM（编辑）；Picco，GP（编辑），《QoS感知应用程序的过程演算》，第3454、33-48号（2005），柏林·doi:10.1007/11417019_3 [38] OASIS（2007）Web服务业务流程执行语言2.0版。http://docs.oasipoen.org/wsbpel/2.0/wsbpel—v2.0.pdf ·Zbl 1187.68063号 [39] 罗萨里奥，S。；Benveniste，A。；哈尔，S。；Jard，C.，基于事务的web服务的概率QoS和软合同，126-133（2007），洛斯阿拉米托斯 [40] Rosario S、Benveniste A、Haar S、Jard C（2008）基于事务的web服务编排的概率QoS和软契约。IEEE Trans Service计算1（4） [41] Rosario S，Benveniste，A，Jard，C（2009）web服务编排的QoS理论。研究报告RR-6951，INRIA。可从获取http://hal.inria.fr/inria-00391592/PDF/RR-6951.PDF [42] 罗萨里奥，S。；Benveniste，A。；Jard，C.，基于事务的web服务编排的灵活概率QoS管理，107-114（2009），纽约 [43] 罗萨里奥，S。；基钦，D。；Benveniste，A。；库克，WR；哈尔，S。；贾德，C。；Dumas，M.（编辑）；Heckel，R.（编辑），《兽人的事件结构语义》，第4937、154-168号（2007），柏林 [44] 佐藤，N。；特里维迪，堪萨斯州；Krämer，BJ（编辑）；Lin，KJ（编辑）；Narasimhan，P.（ed.），复合web服务的随机建模及其性能和可靠性瓶颈的封闭式分析，第4749号，第107-118页（2007），柏林 [45] 塞加拉，R。；林奇，NA；Jonsson，B.（编辑）；Parrow，J.（编辑），概率过程的概率模拟，第836号，第481-496页（1994年），柏林 [46] Kamae T，Krengel U，O’Brien GL（1977）偏序空间上的随机不等式。安·普罗巴布5（6）：899-912·Zbl 0371.60013号 ·doi:10.1214/aop/1176995659 [47] Saaty TL（1990）《如何做出决策：层次分析法》。欧洲运营研究杂志48（2）：9-26·兹比尔0707.90002 ·doi:10.1016/0377-2217（90）90057-I [48] Yu Q，Bouguettaya A（2008）web服务查询代数和优化框架。ACM传输网络2（1） [49] Yu，T。；林，KJ；Benatallah，B.（编辑）；Casati，F.（编辑）；Traverso，P.（ed.），《用于组合具有多QoS约束的复杂服务的服务选择算法》，第3826号，第130-143页（2005），柏林 [50] 曾磊。；贝纳塔拉，B。；杜马，M。；Kalagnanam，J。；Sheng，QZ，质量驱动的web服务组合，411-421（2003） [51] Zeng L，Benatallah B，Ngu AHH，Dumas M，Kalagnanam J，Chang H（2004）web服务组合的QoS-aware中间件。IEEE Trans Softw工程30（5）：311-327·doi:10.1109/TSE.2004.11 [52] Zeng L，Ngu AHH，Benatallah B，Podorozhny RM，Lei H（2008）web服务的动态组合和优化。分发并行数据库24（1-3）：45-72·doi:10.1007/s10619-008-7030-7 [53] 郑浩。；杨，J。；赵伟。；Bouguettaya，A。；Kappel，G.（编辑）；Maamar，Z.（编辑）；Motahari-Nezhad，H.（编辑），基于概率QoS的web服务组合QoS分析，第7084、47-61号（2011），柏林 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。