<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A formal approach to autonomic systems programming: the SCEL Language "^^ . "The autonomic computing paradigm has been proposed to cope with size, complexity and dynamism of contemporary\r\nsoftware-intensive systems. The challenge for language designers is to devise appropriate abstractions\r\nand linguistic primitives to deal with the large dimension of systems, and with their need to\r\nadapt to the changes of the working environment and to the evolving requirements. We propose a set of\r\nprogramming abstractions that permit to represent behaviors, knowledge and aggregations according to\r\nspecific policies, and to support programming context-awareness, self-awareness and adaptation. Based on\r\nthese abstractions, we define SCEL (Software Component Ensemble Language), a kernel language whose\r\nsolid semantic foundations lay also the basis for formal reasoning on autonomic systems behavior. To show\r\nexpressiveness and effectiveness of SCEL’s design, we present a Java implementation of the proposed abstractions\r\nand show how it can be exploited for programming a robotics scenario that is used as a running\r\nexample for describing features and potentials of our approach"^^ . "2014-07" . . "9" . "2" . . "ACM"^^ . . . "ACM Transactions on Autonomous and Adaptive Systems"^^ . . . "15564665" . . . . . . . . . . . . . . . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . . . . . "A formal approach to autonomic systems programming: the SCEL Language (PDF)"^^ . . . . . "SCEL@TAAS.pdf"^^ . . . "A formal approach to autonomic systems programming: the SCEL Language (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "A formal approach to autonomic systems programming: the SCEL Language (Other)"^^ . . . . . . "preview.jpg"^^ . . . "A formal approach to autonomic systems programming: the SCEL Language (Other)"^^ . . . . . . "medium.jpg"^^ . . . "A formal approach to autonomic systems programming: the SCEL Language (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2117 \n\nA formal approach to autonomic systems programming: the SCEL Language \n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .