连铸坯

CC PI:一种基于约束的语言,用于指定服务级别协议。服务水平协议是面向服务计算的一个关键问题。SLA合同规定了客户需求和服务保证,重点是服务质量(成本、性能、可用性等)。在这项工作中,我们提出了一个简单的合同模型的QoS和SLA,也允许研究机制的资源分配和加入不同的SLA要求。我们的语言结合了两个基本的编程范例:名称传递计算器和并发约束编程(CC编程)。具体来说,我们通过添加同步通信和提供的名称和结构公理更接近于名义计算器的变量比存在量化的变量来扩展CC编程。在生成的框架中,SLA需求是可以由单个方或由两个代理的同步生成的约束。此外,限制名称的范围允许本地存储的约束,这可能由于同步而成为全球性的。我们的方法依赖于一个命名约束系统,它利用一个合适的代数结构来配置经典约束,从而提供了一个更丰富的约束组合机制。我们给出了CC程序设计和显式融合演算的归约保存翻译。


ZBMaCT中的参考文献(26篇文章中引用)

显示结果1至20的26。
按年份排序(引文
  1. Abd Alrahman,叶希亚;De Nicola,罗科;Loreti,米歇尔:集体适应系统的演算及其行为理论(2019)
  2. 巴尔托莱蒂,马西莫;Murgia,Maurizio;Scalas,Alceste;Zuno,罗伯托:面向合同系统的可验证抽象(2017)
  3. Gadducci,法比奥;桑蒂尼,弗朗西斯科;Pino,Luis F.;瓦伦西亚,Frank D.:软并发约束规划的观察和行为等价(2017)
  4. 古兹曼、米歇尔、Haar、斯特凡、帕斯、萨利姆、鲁埃达、卡米洛、瓦伦西亚、Frank D.:《空间与挤压代数》中的信仰、知识、谎言和其他话语(2017)
  5. 曼·Pohjola,Johannes;帕罗,约阿希姆:单调平行合成的表现力(2016)
  6. 本特森,杰斯珀;帕罗,约阿希姆;Weber,TJAGOK:伊莎贝尔的PSI结石(2016)
  7. Normann,H.Kon;约翰森,克里斯蒂安;希尔德布兰特,托马斯:PSI演算中并发事件和求精的声明性事件模型(2016)
  8. 帕罗,约阿希姆;博格斯特罗姆,约翰尼斯;埃里克森,Lars Henrik;Gutkovas,Ramunas;Weber,TJAK:名义转移系统的模态逻辑(2015)
  9. 本维尼斯特,艾伯特;Jard,克劳德;Abbes,Samy:分支单元在QoS感知服务编排中的应用(2014)
  10. 本维尼斯特,艾伯特;Jard,克劳德;KATTEPURR,阿杰伊;Rosario,西德尼;Posile,Q:QualService意识管理单调服务编排(2014)
  11. Olarte,卡洛斯;NigAM,维韦克;Pimtel.伊莲:并发约束规划中的动态空间(2014)
  12. Olarte,卡洛斯;鲁埃达,CAMILO;瓦伦西亚,Frank D.:并发约束编程的模型和发展趋势(2013)
  13. Bonchi,菲利波;巴斯米,Maria Grazia;Ciangaa,文森佐;GaDutCi,法比奥:显式融合演算的前堆环境(2012)
  14. 普格利泽,Rosario;TIEZI,弗朗西斯科:Web服务编排的微积分(2012)伊波尔特
  15. 本特森,杰斯珀;约翰松,马格努斯;帕罗,约阿希姆;维克多,BJORN:PSI Calimi:一个具有标称数据和逻辑的移动过程框架(2011)
  16. Bonchi,FiLIPPO;蒙大拿,UGO:通过规范余代数的符号和异步语义(2011)
  17. 巴斯米,Maria Grazia;蒙塔纳里,UGO:服务组合中的QoS协商(2011)
  18. Fiadeiro,JoeséLuz;Lopes,At.Nia. Bocchi,劳拉:服务发现和绑定的抽象模型(2011)伊波尔特
  19. Bocchi,劳拉;戈顿,史蒂芬;Reiff Marganiec,Stephan:从StPoLLA过程到SRML模型(2010)
  20. Ciangaa,文森佐;库尔兹,亚力山大;蒙塔纳里,乌戈:对称集合作为有效的资源绑定模型(2010)