TY  - CHAP
SP  - 463
T2  - Proceedings of the 1st IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE?07)
SN  - 0-7695-2856-2
A1  - Buscemi, Maria Grazia
A1  - Ferrari, Laura
A1  - Moiso, Corrado
A1  - Montanari, Ugo
TI  - Constraint-Based Policy Negotiation and Enforcement for Telco Services
PB  - IEEE Computer Society
EP  - 472
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

ID  - eprints123
Y1  - 2007///
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.
UR  - http://dx.doi.org/10.1109/TASE.2007.18 
AV  - none
ER  -