eprintid: 122
rev_number: 8
eprint_status: archive
userid: 29
dir: disk0/00/00/01/22
datestamp: 2011-03-02 14:20:15
lastmod: 2011-07-11 14:33:43
status_changed: 2011-03-02 14:20:15
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Buscemi, Maria Grazia
creators_name: Montanari, Ugo
creators_id: m.buscemi@imtlucca.it
creators_id: 
title: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: The final publication is available at www.springerlink.com.
abstract: 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.
date: 2007
date_type: published
series: Lecture Notes in Computer Science
volume: 4421
publisher: Springer
pagerange: 18-32
id_number: 10.1007/978-3-540-71316-6_3
refereed: TRUE
isbn: 978-3-540-71314-2
book_title: Proceedings of the 16th European Symposium on Programming (ESOP’07)
editors_name: De Nicola, Rocco
official_url: http://dx.doi.org/10.1007/978-3-540-71316-6_3
funders: Research supported by the EU IST-FP6 16004 Integrated Project Sensoria.
citation:   Buscemi, Maria Grazia and Montanari, Ugo  CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.   In:  Proceedings of the 16th European Symposium on Programming (ESOP’07).   Lecture Notes in Computer Science, 4421 .  Springer, pp. 18-32.  ISBN 978-3-540-71314-2      (2007)