×
巴斯米，玛丽亚·格拉齐亚;乌戈·蒙塔纳里

服务组合中的QoS协商。 （英语） Zbl 1207.68220号

J.日志。阿尔盖布。程序。 80，第1期，13-24（2011）.
摘要：面向服务计算中的服务组合不仅涉及异构分布式应用程序的集成，还涉及服务的动态选择。服务质量（QoS）在服务组合中起着关键作用，因为提供相同功能的服务可以根据其QoS保证进行区分。在订阅时，服务请求者和提供者可以签署记录所提供服务的QoS的合同。
cc-pi演算作为一种基于约束的QoS契约模型被引入。在这项工作中，我们提出了cc-pi演算的一种变体，在这种演算中，选择中的替代方案（而不是非确定性地被选择）具有动态优先级。基本上，如果约束存储包含约束\（c_j），并且前缀\（\pi_j）可以被使用，那么选项中的保护\（cj:\pi_j\）将被启用。此外，不仅当相应的保护（cj:\pi_j）被启用时，而且当（cj\）弱于其他启用的备选方案的约束（c_i）时，可以选择第（j）-个分支。我们证明了我们的选择算子比具有静态优先级的选择算子更一般。最后，我们利用一些示例表明，我们的优先级演算允许任意复杂的QoS协商，并且静态形式的优先级严格来说没有我们的优先级表达能力强。

引用于4文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

过程结石;面向服务的计算;基于约束的模型

软件：

CC-Pi公司
PDF格式BibTeX公司 XML格式引用
\textit{M.G.Buscemi}和\textit{U.Montanari}，J.Log。阿尔盖布。程序。80、第1号、第13--24号（2011；Zbl 1207.68220）
全文： 内政部

参考文献：

[1] 巴切利，F。；科恩，G。；Olsder，G.J。；Quadrat，J.-P.，《同步与线性》，《概率与数理统计中的威利级数》（1992），约翰·威利·Zbl 0824.93003号
[2] 巴丘，A。；博塔，A。；Melgratti，H.，《服务质量谈判的模糊方法》，（TGC 2006年会议记录，第二届可信全球计算国际研讨会，TGC 2006，可信全球计算第二届国际研讨会，计算机科学讲义，第4661卷（2007），Springer-Verlag），200-217
[3] Baeten，J.C.M。；Bergstra，J.A。；Klop，J.W.，《进程代数中中断机制的语法和定义方程》，基金会。通知。，九、 2127-168（1986）·Zbl 0617.68027号
[4] 比斯塔雷利，S。；Gadducci，F.，《在基于半环的形式中加强约束操作》（ECAI 2006年会议记录，第17届欧洲人工智能会议（2006年），IOS出版社），63-67
[5] 比斯塔雷利，S。；蒙塔纳里，美国。；Rossi，F.，基于半环的约束满足和优化，J.ACM，44，2，201-236（1997）·Zbl 0890.68032号
[6] 比斯塔雷利，S。；Santini，F.，用于SLA协商的非单调软并发约束语言，Electron。注释Theor。计算。科学。，236, 147-162 (2009)
[7] Buscemi，M.G。；法拉利，L。；莫伊索，C。；Montanari，U.，《电信服务基于约束的政策协商和实施》，（TASE 2007年会议记录，第一届IEEE&IFIP软件工程理论方面会议（2007年），IEEE计算机学会），463-472
[8] Buscemi，M.G。；Montanari，U.，Cc-pi:一种用于指定服务级别协议的基于约束的语言·Zbl 1187.68063号
[9] M.G.Buscemi，U.Montanari，Cc-pi：服务水平协议合同的基于约束的语言，摘自：FLACOS 2008年会议记录，面向合同软件的形式语言和分析第二次研讨会，研究报告377，奥斯陆大学，2008年。；M.G.Buscemi，U.Montanari，Cc-pi：服务水平协议合同的一种基于约束的语言，收录于：FLACOS 2008年会议记录，面向合同软件的形式语言和分析第二次研讨会，研究报告377，奥斯陆大学，2008年。
[10] J.卡米莱里。；Winskel，G.，CCS与优先选择，Inform。和计算。，116, 26-37 (1995) ·Zbl 0818.68107号
[11] 克里维兰，R。；Hennessy，M.，过程代数中的优先级，Inform。和计算。，8758-67（1990年）·Zbl 0726.68053号
[12] R.Cleaveland，G.Luttgen，V.Natarajan，过程代数优先权，技术报告NASA/CR-1999-28979 ICASE-99-3，1999。；R.Cleaveland，G.Luttgen，V.Natarajan，《过程代数优先权》，技术报告NASA/CR-1999-28979 ICASE-99-3，1999年·Zbl 1062.68079号
[13] Coppo，M。；Dezani-Ciancaglini，M.，《具有并发约束的结构化通信》，（TGC 2008的后处理，第四届可信全球计算国际研讨会。TGC 2008后处理，可信全球计算第四届国际研讨会，计算机科学讲稿，第5474卷（2009年），斯普林格-Verlag），104-125
[14] Fu，Y.，The chi-calculus，（1997年APDC会议记录，1997年并行和分布式计算会议进展（1997），IEEE计算机学会），74-81
[15] 米尔纳，R。；鹦鹉，J。；Walker，J.，移动进程演算，I和II，Inform。和计算。，100, 1, 1-40 (1992), 41-77 ·Zbl 0752.68036号
[16] A.Mukhija，D.Dingwall-Smith，A.Rosenblum，《恐龙中的Qos-aware服务组合》，摘自：《2007年生态环境保护公约》，2007年欧洲网络服务会议，第3-12页。；A.Mukhija、D.Dingwall-Smith、A.Rosenblum，《恐龙中的Qos-aware服务组合》，载于：《2007年ECOWS会议记录》，2007年欧洲网络服务会议，第3-12页。
[17] J.Parrow，B.Victor，《融合演算：移动过程中的表现力和对称性》，载于：《LICS’98会议录》，1998年IEEE第13届计算机科学逻辑研讨会，第176-185页。；J.Parrow，B.Victor，《融合微积分：移动过程中的表达性和对称性》，载于：LICS’98，第13届IEEE计算机科学逻辑年度研讨会，1998年，第176-185页。
[18] Rudeanu，S。；Vaida，D.，《运筹学和计算机科学半环》，基金会。通知。，61, 1, 61-85 (2004) ·Zbl 1083.68067号
[19] Saraswat，V.，并发约束编程（1993），麻省理工出版社·Zbl 1002.68026号
[20] 萨拉斯瓦特，V。；Rinard，M.，并发约束编程（POPL 1990会议记录，第17届ACM SIGPLAN-SIGACT编程语言原理研讨会（1990），ACM出版社）·Zbl 1002.68026号
[21] Versari，C.，《生物启发性结石比较分析的核心演算》，（2007年《ESOP会议录》，第16届欧洲编程研讨会·Zbl 1187.68331号
[22] Wischik，L。；Gardner，P.，显式融合，定理。计算。科学。，340, 3, 606-630 (2005) ·Zbl 1077.68066号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。