@incollection{eprints2625,
            year = {2015},
           month = {January},
           pages = {24--28},
       publisher = {Springer},
            note = {11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers},
           title = {A formal approach to autonomic systems programming: the SCEL language},
       booktitle = {Formal Aspects of Component Software},
          author = {Rocco De Nicola},
          series = {Lecture Notes in Computer Science},
             url = {http://eprints.imtlucca.it/2625/},
        abstract = {Software-intensive cyber-physical systems have to deal with massive numbers of components, featuring complex interactions among components and with humans and other systems. Often, they are designed to operate in open and non-deterministic environments, and to dynamically adapt to new requirements, technologies and external conditions. This class of systems has been named ensembles and new engineering techniques are needed to address the challenges of developing, integrating, and deploying them. In the paper, we briefly introduce SCEL (Software Component Ensemble Language), a kernel language that takes a holistic approach to programming autonomic computing systems and aims at providing programmers with a complete set of linguistic abstractions for programming the behavior of autonomic components and the formation of autonomic components ensembles, and for controlling the interaction among different components.}
}