%0 Book Section %A Margheri, Andrea %A Pugliese, Rosario %A Tiezzi, Francesco %B Ubiquitous Intelligence and Computing, 2013 IEEE 10th International Conference on and 10th International Conference on Autonomic and Trusted Computing (UIC/ATC) %D 2013 %F eprints:1852 %I IEEE %K Authorization; Automata; Cloud computing; Pragmatics; Programming; Semantics; Standards %P 404-409 %T Linguistic abstractions for programming and policing autonomic computing systems %U http://eprints.imtlucca.it/1852/ %X We introduce PSCEL, a new language for developing autonomic software components capable of adapting their behaviour to react to external stimuli and environment changes. The application logic generating the computational behaviour of systems components is defined in a procedural style, by the programming constructs, while the adaptation logic is defined in a declarative style, by the policing constructs. The interplay between these two kinds of constructs permits to dynamically produce and enforce adaptation actions. To show PSCEL practical applicability and effectiveness, we employ it in a Cloud Computing case study. %Z The 10th IEEE International Conference on Autonomic and Trusted Computing (ATC-2013) held in Vietri sul Mare, Italy, December 18-20, 2013