首页> 外文会议>European Symposium on Programming >CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
【24h】

CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

机译:CC-PI:基于约束的语言,用于指定服务级别协议

获取原文
获取外文期刊封面目录资料

摘要

Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Service (cost, performance, availability, etc.). In this work we propose a simple model of contracts for QoS and SLAs that also allows to study mechanisms for resource allocation and for joining different SLA requirements. Our language combines two basic programming paradigms: name-passing calculi and concurrent constraint programming (cc programming). Specifically, we extend cc programming by adding synchronous communication and by providing a treatment of names in terms of restriction and structural axioms closer to nominal calculi than to variables with existential quantification. In the resulting framework, SLA requirements are constraints that can be generated either by a single party or by the synchronisation of two agents. Moreover, restricting the scope of names allows for local stores of constraints, which may become global as a consequence of synchronisations. Our approach relies on a system of named constraints that equip classical constraints with a suitable algebraic structure providing a richer mechanism of constraint combination. We give reduction-preserving translations of both cc programming and the calculus of explicit fusions.
机译:服务级别协议是服务导向计算的关键问题。 SLA合同指定客户要求和服务保证,重点是服务质量(成本,性能,可用性等)。在这项工作中,我们提出了一个简单的QoS和SLA合同模型,也允许研究资源分配和加入不同的SLA要求的机制。我们的语言结合了两个基本编程范例:名称传递计算和并发约束编程(CC编程)。具体地,我们通过添加同步通信来扩展CC编程,并且通过在限制和结构公理的处理方面的处理更接近标称计算而不是具有存在量化的变量。在结果框架中,SLA要求是可以由单个方或两个代理的同步生成的约束。此外,限制名称范围允许对限制的本地存储,这可能是由于同步的结果变为全球性。我们的方法依赖于一个名为约束的系统,其用具有合适的代数结构配备经典约束,提供约束组合的富有机理。我们提供CC编程和显式融合的微积分的减少的翻译。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号