TY - CHAP N2 - 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. SP - 463 TI - Constraint-Based Policy Negotiation and Enforcement for Telco Services EP - 472 ID - eprints123 SN - 0-7695-2856-2 N1 - 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 AV - none T2 - Proceedings of the 1st IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE?07) PB - IEEE Computer Society Y1 - 2007/// A1 - Buscemi, Maria Grazia A1 - Ferrari, Laura A1 - Moiso, Corrado A1 - Montanari, Ugo UR - http://dx.doi.org/10.1109/TASE.2007.18 ER -