eprintid: 123
rev_number: 9
eprint_status: archive
userid: 29
dir: disk0/00/00/01/23
datestamp: 2011-03-02 14:44:00
lastmod: 2011-07-11 14:33:43
status_changed: 2011-03-02 14:44:00
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Buscemi, Maria Grazia
creators_name: Ferrari, Laura
creators_name: Moiso, Corrado
creators_name: Montanari, Ugo
creators_id: m.buscemi@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
title: Constraint-Based Policy Negotiation and Enforcement for Telco Services
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: Index Terms

    * INSPEC
          o Controlled Indexing

            constraint handling , telecommunication services
          o Non Controlled Indexing

            Telco infrastructures , Telco services , cc-pi calculus , constraint programming , constraint-based model , constraint-based policy negotiation , service level agreement , service oriented architecture

abstract: Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and controlled by applications deployed in a 3rd party domain. Telco infrastructures are following this trend by adopting service oriented architecture solutions, e.g. for composing services and for introducing uniform interaction models among services. In a SOA-based system, capabilities, requirements and general features of services can be expressed in terms of policies. Such policies are negotiated in order to define a service level agreement among the involved parties. In this paper we show how to specify, negotiate, and enforce policies for Telco services by using a constraint-based model, the cc-pi calculus. This language extends concurrent constraint programming with synchronous communication and local names, and with the notion of soft constraints, that generalise classical constraints to represent preference levels. In cc-pi calculus, policies are expressed as soft constraints and the parties involved in the negotiation as communicating processes. The model allows to specify complex scenarios in which policy negotiations and validations can be arbitrarily nested.
date: 2007
date_type: published
publisher: IEEE Computer Society
pagerange: 463-472
id_number: INSPEC Accession Number: 9834233 
refereed: TRUE
isbn: 0-7695-2856-2
book_title: Proceedings of the 1st IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE’07)
official_url: http://dx.doi.org/10.1109/TASE.2007.18 
related_url_url: http://doi.ieeecomputersociety.org/10.1109/TASE.2007.18
related_url_type: pub
funders: Research supported by the EU IST-FP6 16004 Integrated Project SENSORIA
citation:   Buscemi, Maria Grazia and Ferrari, Laura and Moiso, Corrado and Montanari, Ugo  Constraint-Based Policy Negotiation and Enforcement for Telco Services.   In:  Proceedings of the 1st IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE’07).   IEEE Computer Society, pp. 463-472.  ISBN 0-7695-2856-2      (2007)