CC-Pi swMATH ID: 15033 Software Authors: Maria Grazia Buscemi, Ugo Montanari Description: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. 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. Homepage: http://link.springer.com/chapter/10.1007/978-3-540-71316-6_3 Related Software: COWS; Isabelle/HOL; Nominal Isabelle; Scribble; PiDuce; Psi-calculi; Archive Formal Proofs; Oz; LARVA; XPi; Maude; SLMC; Paco; PoplMark; HOL; Isar; Isabelle/Isar; ML; Isabelle; Coq Cited in: 28 Documents all top 5 Cited by 54 Authors 7 Montanari, Ugo G. 5 Buscemi, Maria Grazia 5 Parrow, Joachim 3 Bonchi, Filippo 3 Olarte, Carlos 3 Rueda, Camilo 3 Valencia, Frank D. 3 Weber, Tjark 2 Bengtson, Jesper 2 Benveniste, Albert 2 Borgström, Johannes 2 Ciancia, Vincenzo 2 Eriksson, Lars-Henrik 2 Gadducci, Fabio 2 Jard, Claude 1 Abbes, Samy 1 Alrahman, Yehia Abd 1 Åman Pohjola, Johannes 1 Bartoletti, Massimo 1 Bocchi, Laura 1 Brodo, Linda 1 Bruni, Roberto 1 Cano, Mauricio 1 De Nicola, Rocco 1 Forsberg Gutkovas, Ramūnas 1 Gorton, Stephen 1 Gutkovas, Ramūnas 1 Guzmán, Michell 1 Haar, Stefan 1 Hildebrandt, Thomas T. 1 Johansen, Christian 1 Johansson, Magnus M. 1 Kattepur, Ajay 1 Kurz, Alexander 1 Lanese, Ivan 1 López, Hugo A. 1 Loreti, Michele 1 Miculan, Marino 1 Murgia, Maurizio 1 Nigam, Vivek 1 Normann, Håkon 1 Perchy, Salim 1 Pérez, Jorge A. 1 Pimentel, Elaine 1 Pino, Luis F. 1 Pugliese, Rosario 1 Reiff-Marganiec, Stephan 1 Rosario, Sidney 1 Santini, Francesco 1 Scalas, Alceste 1 Thywissen, John A. 1 Tiezzi, Francesco 1 Victor, Björn 1 Zunino, Roberto all top 5 Cited in 11 Serials 5 Journal of Logical and Algebraic Methods in Programming 3 Logical Methods in Computer Science 2 Theoretical Computer Science 2 Journal of Automated Reasoning 2 The Journal of Logic and Algebraic Programming 1 Acta Informatica 1 Information and Computation 1 Formal Aspects of Computing 1 Formal Methods in System Design 1 Constraints 1 Computer Science Review Cited in 4 Fields 27 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 3 Category theory; homological algebra (18-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year