{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:46Z","timestamp":1762459066213},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358869"},{"type":"electronic","value":"9783642358876"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35887-6_2","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:10:13Z","timestamp":1357297813000},"page":"25-48","source":"Crossref","is-referenced-by-count":30,"title":["A Language-Based Approach to Autonomic Computing"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-540-89437-7_2","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"M. H\u00f6lzl","year":"2008","unstructured":"H\u00f6lzl, M., Rauschmayer, A., Wirsing, M.: Software Engineering for Ensembles. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems. LNCS, vol.\u00a05380, pp. 45\u201363. Springer, Heidelberg (2008)"},{"key":"2_CR2","unstructured":"IBM: An architectural blueprint for autonomic computing. Technical report, 3rd edn. (June 2005)"},{"key":"2_CR3","unstructured":"Project InterLink (2007), http:\/\/interlink.ics.forth.gr\/central.aspx"},{"key":"2_CR4","unstructured":"Project ASCENS (2010), http:\/\/www.ascens-ist.eu\/"},{"key":"2_CR5","series-title":"LNCS","first-page":"1","volume-title":"FMCO 2011","author":"M. Wirsing","year":"2012","unstructured":"Wirsing, M., H\u00f6lzl, M., Tribastone, M., Zambonelli, F.: ASCENS: Engineering Autonomic Service-Component Ensembles. In: Beckert, B., de Boer, F., Bonsangue, M., Damiani, F. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 1\u201324. Springer, Heidelberg (2012)"},{"issue":"1","key":"2_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I & II. Inf. Comput.\u00a0100(1), 1\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program.\u00a060-61, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program."},{"key":"2_CR8","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: Languages primitives for coordination, resource negotiation, and task description. ASCENS Deliverable D1.1 (September 2011), http:\/\/rap.dsi.unifi.it\/scel\/"},{"issue":"5","key":"2_CR9","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: Klaim: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. Software Eng.\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Software Eng."},{"issue":"8","key":"2_CR10","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1016\/j.jlap.2008.12.001","volume":"78","author":"D. Gorla","year":"2009","unstructured":"Gorla, D., Pugliese, R.: Dynamic management of capabilities in a network aware coordination language. J. Log. Algebr. Program.\u00a078(8), 665\u2013689 (2009)","journal-title":"J. Log. Algebr. Program."},{"issue":"3","key":"2_CR11","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1016\/j.tcs.2006.02.007","volume":"356","author":"R. Nicola De","year":"2006","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: On the expressive power of klaim-based calculi. Theor. Comput. Sci.\u00a0356(3), 387\u2013421 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-28872-2_17","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A Conceptual Framework for Adaptation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 240\u2013254. Springer, Heidelberg (2012)"},{"issue":"3","key":"2_CR13","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"},{"issue":"1","key":"2_CR14","first-page":"118","volume":"14","author":"R. Want","year":"2010","unstructured":"Want, R., Schooler, E., Jelinek, L., Jung, J., Dahle, D., Sengupta, U.: Ensemble computing: Opportunities and challenges. Intel Technology Journal\u00a014(1), 118\u2013141 (2010)","journal-title":"Intel Technology Journal"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-24933-4_12","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M. H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, M., Wirsing, M.: Towards a System Model for Ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol.\u00a07000, pp. 241\u2013261. Springer, Heidelberg (2011)"},{"key":"2_CR16","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"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-02846-5_24","volume-title":"Logic Programming","author":"M.P. Ashley-Rollman","year":"2009","unstructured":"Ashley-Rollman, M.P., Lee, P., Goldstein, S.C., Pillai, P., Campbell, J.D.: A Language for Large Ensembles of Independently Executing Nodes. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 265\u2013280. Springer, Heidelberg (2009)"},{"issue":"11","key":"2_CR18","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1592761.1592785","volume":"52","author":"B.T. Loo","year":"2009","unstructured":"Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking. Commun. ACM\u00a052(11), 87\u201395 (2009)","journal-title":"Commun. ACM"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/1370018.1370029","volume-title":"Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008","author":"L. Baresi","year":"2008","unstructured":"Baresi, L., Guinea, S., Tamburrelli, G.: Towards decentralized self-adaptive component-based systems. In: Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, pp. 57\u201364. ACM, New York (2008)"},{"key":"2_CR20","unstructured":"Salvaneschi, G., Ghezzi, C., Pradella, M.: Context-oriented programming: A programming paradigm for autonomic systems. CoRR abs\/1105.0069 (2011)"},{"issue":"3","key":"2_CR21","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst.\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR22","first-page":"19","volume-title":"Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011","author":"R. Hirschfeld","year":"2011","unstructured":"Hirschfeld, R., Igarashi, A., Masuhara, H.: ContextFJ: a minimal core calculus for context-oriented programming. In: Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011, pp. 19\u201323. ACM, New York (2011)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Clarke, D., Costanza, P., Tanter, E.: How should context-escaping closures proceed? In: Proc. of COP 2009, pp. 1:1\u20131:6. ACM, New York (2009)","DOI":"10.1145\/1562112.1562113"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-642-30829-1_18","volume-title":"Coordination Models and Languages","author":"P. Degano","year":"2012","unstructured":"Degano, P., Ferrari, G.-L., Galletta, L., Mezzetti, G.: Types for Coordinating Secure Behavioural Variations. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol.\u00a07274, pp. 261\u2013276. Springer, Heidelberg (2012)"},{"key":"2_CR25","unstructured":"Bhakti, M.A.C., Azween, A.: Formal modeling of an autonomic service oriented architecture. In: CSIT, vol.\u00a05, pp. 23\u201329. IACSIT Press (2011)"},{"issue":"3","key":"2_CR26","doi-asserted-by":"publisher","first-page":"183","DOI":"10.3233\/MGS-2005-1304","volume":"1","author":"Z. Li","year":"2005","unstructured":"Li, Z., Parashar, M.: Rudder: An agent-based infrastructure for autonomic composition of grid applications. Multiagent and Grid Systems 1(3) (2005) 183\u2013195","journal-title":"Multiagent and Grid Systems"},{"key":"2_CR27","unstructured":"Dong, X., Hariri, S., Xue, L., Chen, H., Zhang, M., Pavuluri, S., Rao, S.: Autonomia: an autonomic computing environment. In: IPCCC, pp. 61\u201368. IEEE (2003)"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/j.entcs.2006.04.017","volume":"158","author":"N. Mezzetti","year":"2006","unstructured":"Mezzetti, N., Sangiorgi, D.: Towards a calculus for wireless systems. Electr. Notes Theor. Comput. Sci.\u00a0158, 331\u2013353 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"6","key":"2_CR29","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.scico.2009.07.008","volume":"75","author":"A. Singh","year":"2010","unstructured":"Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for mobile ad hoc networks. Sci. Comput. Program.\u00a075(6), 440\u2013469 (2010)","journal-title":"Sci. Comput. Program."},{"key":"2_CR30","unstructured":"Ban\u00e2tre, J.P., Radenac, Y., Fradet, P.: Chemical Specification of Autonomic Systems. In: IASSE, pp. 72\u201379. ISCA (2004)"},{"key":"2_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-02029-2_2","volume-title":"Graph Theory, Computational Intelligence and Thought","author":"O. Andrei","year":"2009","unstructured":"Andrei, O., Kirchner, H.: A Higher-Order Graph Calculus for Autonomic Computing. In: Lipshteyn, M., Levit, V.E., McConnell, R.M. (eds.) Graph Theory, Computational Intelligence and Thought. LNCS, vol.\u00a05420, pp. 15\u201326. Springer, Heidelberg (2009)"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11498094_17","volume-title":"Distributed Applications and Interoperable Systems","author":"L. Bettini","year":"2005","unstructured":"Bettini, L., De Nicola, R., Falassi, D., Lacoste, M., Loreti, M.: A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. In: Kutvonen, L., Alonistioti, N. (eds.) DAIS 2005. LNCS, vol.\u00a03543, pp. 181\u2013193. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35887-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,7]],"date-time":"2019-07-07T23:13:23Z","timestamp":1562541203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35887-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358869","9783642358876"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35887-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}