{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:00:15Z","timestamp":1762459215378},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_12","type":"book-chapter","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T21:28:35Z","timestamp":1411680515000},"page":"164-183","source":"Crossref","is-referenced-by-count":4,"title":["On Programming and Policing Autonomic Computing Systems"],"prefix":"10.1007","author":[{"given":"Michele","family":"Loreti","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Margheri","sequence":"additional","affiliation":[]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing. Computer\u00a036, 41\u201350 (2003)","DOI":"10.1109\/MC.2003.1160055"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Margheri, A., Pugliese, R., Tiezzi, F.: Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. In: UIC\/ATC, pp. 404\u2013409. IEEE (2013)","DOI":"10.1109\/UIC-ATC.2013.33"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: The SCEL language. ACM TAAS (to appear, 2014)","DOI":"10.1145\/2619998"},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/s10458-008-9036-y","volume":"16","author":"M. Dastani","year":"2008","unstructured":"Dastani, M.: 2APL: A practical agent programming language. Autonomous Agents and Multi-Agent Systems\u00a016(3), 214\u2013248 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Ashley-Rollman, M.P., Goldstein, S.C., Lee, P., Mowry, T.C., Pillai, P.: Meld: A declarative approach to programming ensembles. In: IROS, pp. 2794\u20132800. IEEE (2007)","DOI":"10.1109\/IROS.2007.4399480"},{"issue":"1","key":"12_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2011.09.004","volume":"78","author":"N. Khakpour","year":"2012","unstructured":"Khakpour, N., Jalili, S., Talcott, C.L., Sirjani, M., Mousavi, M.R.: Formal modeling of evolving self-adaptive systems. Sci. Comput. Program.\u00a078(1), 3\u201326 (2012)","journal-title":"Sci. Comput. Program."},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-642-15640-3_19","volume-title":"Trustworthly Global Computing","author":"I. Lanese","year":"2010","unstructured":"Lanese, I., Bucchiarone, A., Montesi, F.: A framework for rule-based dynamic adaptation. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010, LNCS, vol.\u00a06084, pp. 284\u2013300. Springer, Heidelberg (2010)"},{"key":"12_CR8","unstructured":"Ban\u00e2tre, J.P., Radenac, Y., Fradet, P.: Chemical Specification of Autonomic Systems. In: IASSE, ISCA, pp. 72\u201379 (2004)"},{"key":"12_CR9","unstructured":"Margheri, A., Masi, M., Pugliese, R., Tiezzi, F.: A Formal Software Engineering Approach to Policy-based Access Control. Technical report, Univ. Firenze (2013), \n                    \n                      http:\/\/rap.dsi.unifi.it\/facpl\/research\/Facpl-TR.pdf"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-28166-2_7","volume-title":"Engineering Secure Software and Systems","author":"M. Masi","year":"2012","unstructured":"Masi, M., Pugliese, R., Tiezzi, F.: Formalisation and implementation of the XACML access control mechanism. In: Barthe, G., Livshits, B., Scandariato, R. (eds.) ESSoS 2012. LNCS, vol.\u00a07159, pp. 60\u201374. Springer, Heidelberg (2012)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Policies for Distributed Systems and Networks","author":"N. Damianou","year":"2001","unstructured":"Damianou, N., Dulay, N., Lupu, E.C., Sloman, M.: The Ponder Policy Specification Language. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol.\u00a01995, pp. 18\u201338. Springer, Heidelberg (2001)"},{"key":"12_CR12","unstructured":"IBM: Autonomic Computing Policy Language - ACPL, \n                    \n                      http:\/\/www.ibm.com\/developerworks\/tivoli\/tutorials\/ac-spl\/"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Margheri, A., Pugliese, R., Tiezzi, F.: Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. Technical report, Univ. Firenze (2013), \n                    \n                      http:\/\/rap.dsi.unifi.it\/scel\/pdf\/PSCEL-TR.pdf","DOI":"10.1109\/UIC-ATC.2013.33"},{"key":"12_CR14","unstructured":"Serbedzija, N., et al.: Integration and simulation report for the Ascens case studies. D7.3 (2013), \n                    \n                      http:\/\/www.pst.ifi.lmu.de\/~mayer\/papers\/2013-11-30_D73.pdf"},{"key":"12_CR15","unstructured":"EU project ASCENS: \n                    \n                      http:\/\/www.ascens-ist.eu\/"},{"issue":"2","key":"12_CR16","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MPRV.2004.1316820","volume":"3","author":"M. Mamei","year":"2004","unstructured":"Mamei, M., Zambonelli, F., Leonardi, L.: Co-fields: A physically inspired approach to motion coordination. IEEE Pervasive Computing\u00a03(2), 52\u201361 (2004)","journal-title":"IEEE Pervasive Computing"},{"key":"12_CR17","unstructured":"FACPL website: \n                    \n                      http:\/\/rap.dsi.unifi.it\/facpl"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Winikoff, M.: Jack\n                    tm\n                   intelligent agents: An industrial strength platform. In: Multi-Agent Programming, vol.\u00a015, pp. 175\u2013193. Springer (2005)","DOI":"10.1007\/0-387-26350-0_7"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. Wiley Series in Agent Technology. John Wiley & Sons (2007)","DOI":"10.1002\/9780470058411"},{"issue":"7","key":"12_CR20","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MC.2004.48","volume":"37","author":"P. McKinley","year":"2004","unstructured":"McKinley, P., Sadjadi, S., Kasten, E., Cheng, B.H.C.: Composing adaptive software. Computer\u00a037(7), 56\u201364 (2004)","journal-title":"Computer"},{"issue":"11-12","key":"12_CR21","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1002\/spe.767","volume":"36","author":"E. Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.B.: The FRACTAL component model and its support in Java. Softw., Pract. Exper.\u00a036(11-12), 1257\u20131284 (2006)","journal-title":"Softw., Pract. Exper."},{"key":"12_CR22","unstructured":"Salvaneschi, G., Ghezzi, C., Pradella, C.: Context-Oriented Programming: A Programming Paradigm for Autonomic Systems. CoRR abs\/1105.0069 (2011)"},{"issue":"3","key":"12_CR23","doi-asserted-by":"publisher","first-page":"125","DOI":"10.5381\/jot.2008.7.3.a4","volume":"7","author":"R. Hirschfeld","year":"2008","unstructured":"Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. Journal of Object Technology\u00a07(3), 125\u2013151 (2008)","journal-title":"Journal of Object Technology"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Appeltauer, M., Hirschfeld, R., Haupt, M., Lincke, J., Perscheid, M.: A comparison of context-oriented programming languages. In: COP, pp. 6:1\u20136:6. ACM (2009)","DOI":"10.1145\/1562112.1562118"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Hirschfeld, R., Igarashi, A., Masuhara, H.: ContextFJ: A minimal core calculus for context-oriented programming. In: FOAL, pp. 19\u201323. ACM (2011)","DOI":"10.1145\/1960510.1960515"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45234-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:16:25Z","timestamp":1558988185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}