CC-Pi公司 swMATH编号： 15033 软件作者： Maria Grazia Buscemi，乌戈·蒙塔纳里 描述： CC-Pi：用于指定服务级别协议的基于约束的语言。服务水平协议是面向服务计算中的一个关键问题。SLA合同规定了客户要求和服务保证，重点是服务质量（成本、性能、可用性等）。在这项工作中，我们提出了一个简单的QoS和SLA合同模型，该模型还允许研究资源分配和加入不同SLA需求的机制。我们的语言结合了两种基本编程范式：名称传递计算和并发约束编程（cc编程）。具体地说，我们通过添加同步通信以及根据限制和结构公理对名称进行处理来扩展cc编程，这些公理更接近于标称计算，而不是具有存在量化的变量。在由此产生的框架中，SLA要求是可以由一方或由两个代理同步生成的约束。此外，限制名称的范围允许本地存储约束，这些约束可能由于同步而成为全局约束。我们的方法依赖于命名约束系统，该系统为经典约束提供了合适的代数结构，提供了更丰富的约束组合机制。我们给出了cc编程和显式融合演算的约简-保留翻译。 主页： http://link.springer.com/chapter/10.1007/978-3-540-71316-6_3 相关软件： 奶牛;伊莎贝尔/HOL;名义伊莎贝尔;乱涂;皮杜克;Psi-calculi公司;存档正式证据;欧兹;LARVA公司;XPi公司;莫德;SLMC公司;帕科;流行标志;HOL公司;伊萨尔;伊莎贝尔/伊萨尔;毫升;伊莎贝尔;Coq公司 引用于： 28文件 全部的 前5名54位作者引用 7 乌戈·蒙塔纳里。 5 巴斯米，玛丽亚·格拉齐亚 5 约阿希姆·帕罗 3 菲利波·邦奇 3 卡洛斯·奥拉特 3 卡米洛·鲁埃达 3 弗兰克·巴伦西亚。 3 Tjark韦伯 2 杰斯珀·本特森 2 阿尔伯特·本文尼斯特 2 约翰·博格斯特罗姆 2 文森佐·西安西亚 2 埃里克森，拉尔斯·亨里克 2 法比奥·加杜奇 2 克洛德·贾德 1 萨米·阿贝斯 1 叶希亚·阿卜杜·阿勒拉赫曼 1 奥曼·波霍拉，约翰内斯 1 马西莫·巴托莱蒂 1 劳拉·博奇 1 琳达·布罗多 1 罗伯托·布鲁尼 1 毛里西奥·卡诺 1 洛科·德尼古拉 1 Forsberg Gutkovas，拉姆纳斯 1 斯蒂芬·戈顿 1 拉姆纳斯·古特科瓦斯 1 米歇尔·古兹曼 1 斯特凡·哈尔 1 托马斯·希尔德布兰特。 1 克里斯蒂安·约翰森 1 马格纳斯·M·约翰逊。 1 Ajay Kattepur 1 亚历山大·库尔兹 1 伊万·拉内斯 1 雨果·A·洛佩兹。 1 米歇尔·洛雷蒂 1 马里诺·米库兰 1 莫里齐奥·穆尔吉亚 1 Vivek Nigam先生 1 哈贡诺曼 1 萨利姆·珀西 1 佩雷斯（Jorge A.Pérez）。 1 伊莲·皮门特尔 1 路易斯·皮诺。 1 罗萨里奥·普格利泽 1 斯蒂芬·雷夫·马加尼科 1 西德尼·罗萨里奥 1 弗朗西斯科·桑蒂尼 1 阿尔切斯特·斯卡拉斯 1 约翰·A·蒂维森。 1 弗朗西斯科·蒂埃齐 1 比约恩·维克多 1 罗伯托·祖尼诺 全部的 前5名11篇连载文章中引用 5 程序设计中的逻辑和代数方法杂志 3 计算机科学中的逻辑方法 2 理论计算机科学 2 自动推理杂志 2 逻辑与代数程序设计杂志 1 信息学报 1 信息与计算 1 计算的形式方面 1 系统设计中的形式化方法 1 约束条件 1 计算机科学评论 在4个字段中引用 27 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 3 范畴理论；同调代数（18-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文