{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:14:47Z","timestamp":1792185287440,"version":"4.4.0"},"reference-count":42,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T00:00:00Z","timestamp":1404172800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003407","name":"Ministero dell'Istruzione, dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2014,7]]},"abstract":"<jats:p>The autonomic computing paradigm has been proposed to cope with size, complexity, and dynamism of contemporary software-intensive systems. The challenge for language designers is to devise appropriate abstractions and linguistic primitives to deal with the large dimension of systems and with their need to adapt to the changes of the working environment and to the evolving requirements. We propose a set of programming abstractions that permit us to represent behaviors, knowledge, and aggregations according to specific policies and to support programming context-awareness, self-awareness, and adaptation. Based on these abstractions, we define SCEL (Software Component Ensemble Language), a kernel language whose solid semantic foundations lay also the basis for formal reasoning on autonomic systems behavior. To show expressiveness and effectiveness of SCEL;\u2019s design, we present a Java implementation of the proposed abstractions and show how it can be exploited for programming a robotics scenario that is used as a running example for describing the features and potential of our approach.<\/jats:p>","DOI":"10.1145\/2619998","type":"journal-article","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T08:09:41Z","timestamp":1405066181000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":120,"title":["A Formal Approach to Autonomic Systems Programming"],"prefix":"10.1145","volume":"9","author":[{"given":"Rocco De","family":"Nicola","sequence":"first","affiliation":[{"name":"IMT Institute for Advanced Studies Lucca, Lucca, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Firenze, Firenze, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Firenze, Firenze, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[{"name":"IMT Institute for Advanced Studies Lucca, Lucca, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,7]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"ACTORS\u2014A Model of Concurrent Computation in Distributed Systems","author":"Agha Gul A.","unstructured":"Gul A. Agha . 1990. ACTORS\u2014A Model of Concurrent Computation in Distributed Systems . MIT Press . I--IX, 1--144 pages. Gul A. Agha. 1990. ACTORS\u2014A Model of Concurrent Computation in Distributed Systems. MIT Press. I--IX, 1--144 pages."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02029-2_2"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2068736.2068737"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1562112.1562118"},{"key":"e_1_2_1_5_1","volume-title":"Peter Lee, Todd C. Mowry, and Padmanabhan Pillai.","author":"Ashley-Rollman Michael P.","year":"2007","unstructured":"Michael P. Ashley-Rollman , Seth Copen Goldstein , Peter Lee, Todd C. Mowry, and Padmanabhan Pillai. 2007 . Meld : A declarative approach to programming ensembles. In IROS. IEEE , 2794--2800. Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, and Padmanabhan Pillai. 2007. Meld: A declarative approach to programming ensembles. In IROS. IEEE, 2794--2800."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02846-5_24"},{"key":"e_1_2_1_7_1","unstructured":"Jean-Pierre Ban\u00e2tre Yann Radenac and Pascal Fradet. 2004. Chemical specification of autonomic systems. In IASSE. ISCA 72--79.  Jean-Pierre Ban\u00e2tre Yann Radenac and Pascal Fradet. 2004. Chemical specification of autonomic systems. In IASSE. ISCA 72--79."},{"key":"e_1_2_1_8_1","volume-title":"Developing Multi-Agent Systems with JADE","author":"Bellifemine Fabio L.","unstructured":"Fabio L. Bellifemine , Giovanni Caire , and Dominic Greenwood . 2007. Developing Multi-Agent Systems with JADE . John Wiley & Sons . Fabio L. Bellifemine, Giovanni Caire, and Dominic Greenwood. 2007. Developing Multi-Agent Systems with JADE. John Wiley & Sons."},{"key":"e_1_2_1_9_1","volume-title":"Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations","author":"Bordini Rafael H.","unstructured":"Rafael H. Bordini , Jomi F. H\u00fcbner , and Renata Vieira . 2005. Jason and the golden fleece of agent-oriented programming . In Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations , Vol. 15 . Springer , 3--37. Rafael H. Bordini, Jomi F. H\u00fcbner, and Renata Vieira. 2005. Jason and the golden fleece of agent-oriented programming. In Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations, Vol. 15. Springer, 3--37."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v36:11\/12"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_17"},{"key":"e_1_2_1_12_1","volume-title":"Rowstron","author":"Castro Miguel","year":"2003","unstructured":"Miguel Castro , Peter Druschel , Anne-Marie Kermarrec , and Antony I. T . Rowstron . 2003 . Scalable application-level anycast for highly dynamic groups. In ICQT (LNCS 2816). Springer , 47--57. Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, and Antony I. T. Rowstron. 2003. Scalable application-level anycast for highly dynamic groups. In ICQT (LNCS 2816). Springer, 47--57."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1562112.1562113"},{"key":"e_1_2_1_14_1","volume-title":"Middleware for Network Eccentric and Mobile Applications","author":"Costa Paolo","unstructured":"Paolo Costa , Luca Mottola , Amy L. Murphy , and GianPietro Picco . 2009. Tuple space middleware for wireless networks . In Middleware for Network Eccentric and Mobile Applications . Springer , 245--264. Paolo Costa, Luca Mottola, Amy L. Murphy, and GianPietro Picco. 2009. Tuple space middleware for wireless networks. In Middleware for Network Eccentric and Mobile Applications. Springer, 245--264."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9036-y"},{"key":"e_1_2_1_16_1","volume-title":"FMCO 2011 (LNCS 7542)","author":"Nicola Rocco De","year":"2012","unstructured":"Rocco De Nicola , GianLuigi Ferrari , Michele Loreti , and Rosario Pugliese . 2012 . A language-based approach to autonomic computing . In FMCO 2011 (LNCS 7542) . Springer, 25--48. Rocco De Nicola, GianLuigi Ferrari, Michele Loreti, and Rosario Pugliese. 2012. A language-based approach to autonomic computing. In FMCO 2011 (LNCS 7542). Springer, 25--48."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.685256"},{"key":"e_1_2_1_18_1","volume-title":"SCEL: A Language for Autonomic Computing. Technical Report.","author":"Nicola Rocco De","year":"2013","unstructured":"Rocco De Nicola , Michele Loreti , Rosario Pugliese , and Francesco Tiezzi . 2013 . SCEL: A Language for Autonomic Computing. Technical Report. Available at http:\/\/rap.dsi.unifi.it\/scel\/pdf\/SCEL-TR.pdf. Rocco De Nicola, Michele Loreti, Rosario Pugliese, and Francesco Tiezzi. 2013. SCEL: A Language for Autonomic Computing. Technical Report. Available at http:\/\/rap.dsi.unifi.it\/scel\/pdf\/SCEL-TR.pdf."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30829-1_18"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2232019"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2008.7.3.a4"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960510.1960515"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.09.004"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538942.1538945"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.48"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.04.017"},{"key":"e_1_2_1_30_1","volume-title":"Communication and Concurrency","author":"Milner Robin","unstructured":"Robin Milner . 1989. Communication and Concurrency . Prentice Hall . I--XI, 1--260 pages. Robin Milner. 1989. Communication and Concurrency. Prentice Hall. I--XI, 1--260 pages."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/11776178_10"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13174-011-0046-7"},{"key":"e_1_2_1_33_1","unstructured":"NIST. 2009. A Survey of Access Control Models. Available at http:\/\/csrc.nist.gov\/news_events\/privilege- management-workshop\/PvM-Model-Survey-Aug26-2009.pdf.  NIST. 2009. A Survey of Access Control Models. Available at http:\/\/csrc.nist.gov\/news_events\/privilege- management-workshop\/PvM-Model-Survey-Aug26-2009.pdf."},{"key":"e_1_2_1_35_1","unstructured":"OASIS-TC. 2005. eXtensible Access Control Markup Language (XACML) version 2.0. Available at http:\/\/docs.oasis-open.org\/xacml\/2.0\/XACML-2.0-OS-NORMATIVE.zip.  OASIS-TC. 2005. eXtensible Access Control Markup Language (XACML) version 2.0. Available at http:\/\/docs.oasis-open.org\/xacml\/2.0\/XACML-2.0-OS-NORMATIVE.zip."},{"key":"e_1_2_1_36_1","volume-title":"A structural approach to operational semantics. J. Log. Algebr. Program. 60--61","author":"Plotkin Gordon D.","year":"2004","unstructured":"Gordon D. Plotkin . 2004. A structural approach to operational semantics. J. Log. Algebr. Program. 60--61 ( 2004 ), 17--139. Gordon D. Plotkin. 2004. A structural approach to operational semantics. J. Log. Algebr. Program. 60--61 (2004), 17--139."},{"key":"e_1_2_1_37_1","unstructured":"Project InterLink. 2007. Homepage. Available at http:\/\/interlink.ics.forth.gr. (2007).  Project InterLink. 2007. Homepage. Available at http:\/\/interlink.ics.forth.gr. (2007)."},{"key":"e_1_2_1_38_1","volume-title":"MAAMAW (LNCS 1038)","author":"Rao Anand S.","unstructured":"Anand S. Rao . 1996. AgentSpeak(L) : BDI agents speak out in a logical computable language . In MAAMAW (LNCS 1038) . Springer , 42--55. Anand S. Rao. 1996. AgentSpeak(L): BDI agents speak out in a logical computable language. In MAAMAW (LNCS 1038). Springer, 42--55."},{"key":"e_1_2_1_39_1","volume-title":"Rowstron and Peter Druschel","author":"Antony I.","year":"2001","unstructured":"Antony I. T. Rowstron and Peter Druschel . 2001 . Pastry : Scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In Middleware (LNCS 2218). Springer , 329--350. Antony I. T. Rowstron and Peter Druschel. 2001. Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In Middleware (LNCS 2218). Springer, 329--350."},{"key":"e_1_2_1_40_1","volume-title":"Carlo Ghezzi, and Matteo Pradella","author":"Salvaneschi Guido","year":"2011","unstructured":"Guido Salvaneschi , Carlo Ghezzi, and Matteo Pradella . 2011 . Context-Oriented programming: A programming paradigm for autonomic systems. CoRR abs\/1105.0069 (2011). Guido Salvaneschi, Carlo Ghezzi, and Matteo Pradella. 2011. Context-Oriented programming: A programming paradigm for autonomic systems. CoRR abs\/1105.0069 (2011)."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.03.024"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.07.008"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2209249.2209268"},{"key":"e_1_2_1_44_1","volume-title":"Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations","author":"Winikoff Michael","unstructured":"Michael Winikoff . 2005. JACK#8482; intelligent agents : An industrial strength platform . In Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations , Vol. 15 . Springer , 175--193. Michael Winikoff. 2005. JACK#8482; intelligent agents: An industrial strength platform. In Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations, Vol. 15. Springer, 175--193."}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2619998","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2619998","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:56:15Z","timestamp":1750258575000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2619998"}},"subtitle":["The SCEL Language"],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["10.1145\/2619998"],"URL":"https:\/\/doi.org\/10.1145\/2619998","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"value":"1556-4665","type":"print"},{"value":"1556-4703","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7]]},"assertion":[{"value":"2013-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}