De Nicola, Rocco A formal approach to autonomic systems programming: the SCEL language. In: Formal Aspects of Component Software. Lecture Notes in Computer Science . Springer, pp. 24-28. ISBN 978-3-319-15317-9 (2015)
Full text not available from this repository.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | 10.1007/978-3-319-15317-9_2 |
| Additional Information: | 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Ms T. Iannizzi |
| Date Deposited: | 03 Mar 2015 09:41 |
| Last Modified: | 03 Mar 2015 09:41 |
| URI: | http://eprints.imtlucca.it/id/eprint/2625 |
Actions (login required)
 |
Edit Item |
