{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T20:22:37Z","timestamp":1789935757337,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642340048","type":"print"},{"value":"9783642340055","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34005-5_7","type":"book-chapter","created":{"date-parts":[[2012,10,3]],"date-time":"2012-10-03T02:33:39Z","timestamp":1349231619000},"page":"118-138","source":"Crossref","is-referenced-by-count":12,"title":["Modelling and Analyzing Adaptive Self-assembly Strategies with Maude"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alberto","family":"Lluch Lafuente","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Agha, G.A., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. In: Cerone, A., Wiklicky, H. (eds.) QAPL 2005. ENTCS, vol.\u00a0153(2), pp. 213\u2013239. Elsevier (2006)","DOI":"10.1016\/j.entcs.2005.10.040"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-22944-2_28","volume-title":"Algebra and Coalgebra in Computer Science","author":"M. AlTurki","year":"2011","unstructured":"AlTurki, M., Meseguer, J.: PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 386\u2013392. Springer, Heidelberg (2011)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Andersson, J., de Lemos, R., Malek, S., Weyns, D.: Reflecting on self-adaptive software systems. In: SEAMS 2009, pp. 38\u201347. IEEE Computer Society (2009)","DOI":"10.1109\/SEAMS.2009.5069072"},{"key":"7_CR4","unstructured":"Autonomic Service Component Ensembles (ASCENS), \n                  \n                    http:\/\/www.ascens-ist.eu"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Broy, M., Leuxner, C., Sitou, W., Spanfelner, B., Winter, S.: Formalizing the notion of adaptive system behavior. In: Shin, S.Y., Ossowski, S. (eds.) SAC 2009, pp. 1029\u20131033. ACM (2009)","DOI":"10.1145\/1529282.1529508"},{"key":"7_CR6","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.) Fundamental Approaches to Software Engineering. LNCS, vol.\u00a07212, pp. 240\u2013254. Springer, Heidelberg (2012)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Cabri, G., Puviani, M., Zambonelli, F.: Towards a taxonomy of adaptive agent-based collaboration patterns for autonomic service ensembles. In: Smari, W.W., Fox, G.C. (eds.) CTS 2011, pp. 508\u2013515. IEEE Computer Society (2011)","DOI":"10.1109\/CTS.2011.5928730"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"7_CR9","unstructured":"Horn, P.: Autonomic Computing: IBM\u2019s perspective on the State of Information Technology (2001)"},{"key":"7_CR10","unstructured":"IBM Corporation: An Architectural Blueprint for Autonomic Computing (2006)"},{"issue":"3","key":"7_CR11","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/5254.769884","volume":"14","author":"G. Karsai","year":"1999","unstructured":"Karsai, G., Sztipanovits, J.: A model-based approach to self-adaptive software. Intelligent Systems and their Applications\u00a014(3), 46\u201353 (1999)","journal-title":"Intelligent Systems and their Applications"},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer\u00a036(1), 41\u201350 (2003)","journal-title":"Computer"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/11730637_35","volume-title":"Hybrid Systems: Computation and Control","author":"J. Meseguer","year":"2006","unstructured":"Meseguer, J., Sharykin, R.: Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 460\u2013475. Springer, Heidelberg (2006)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47993-7_1","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Meseguer","year":"2002","unstructured":"Meseguer, J., Talcott, C.: Semantic Models for Distributed Object Reflection. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 1\u201336. Springer, Heidelberg (2002)"},{"issue":"2-3","key":"7_CR15","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1023\/B:AURO.0000033972.50769.1c","volume":"17","author":"F. Mondada","year":"2004","unstructured":"Mondada, F., Pettinaro, G.C., Guignard, A., Kwee, I.W., Floreano, D., Deneubourg, J.L., Nolfi, S., Gambardella, L.M., Dorigo, M.: Swarm-bot: A new distributed robotic concept. Autonomous Robots\u00a017(2-3), 193\u2013221 (2004)","journal-title":"Autonomous Robots"},{"issue":"4","key":"7_CR16","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/s10514-010-9177-0","volume":"28","author":"R. O\u2019Grady","year":"2010","unstructured":"O\u2019Grady, R., Gro\u00df, R., Christensen, A.L., Dorigo, M.: Self-assembly strategies in a group of autonomous mobile robots. Autonomous Robots\u00a028(4), 439\u2013455 (2010)","journal-title":"Autonomous Robots"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-44584-6_5","volume-title":"Self-Adaptive Software","author":"D. Pavlovic","year":"2001","unstructured":"Pavlovic, D.: Towards Semantics of Self-Adaptive Software. In: Robertson, P., Shrobe, H.E., Laddaga, R. (eds.) IWSAS 2000. LNCS, vol.\u00a01936, pp. 50\u201364. Springer, Heidelberg (2001)"},{"issue":"2","key":"7_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1516533.1516538","volume":"4","author":"M. Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Transactions on Autonomous and Adaptive Systems\u00a04(2), 1\u201342 (2009)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11513988_26","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On Statistical Model Checking of Stochastic Systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 266\u2013280. Springer, Heidelberg (2005)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.A.: Vesta: A statistical model-checker and analyzer for probabilistic systems. In: Baier, C., Chiola, G., Smirni, E. (eds.) QEST 2005, pp. 251\u2013252. IEEE Computer Society (2005)","DOI":"10.1109\/QEST.2005.42"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Talcott, C.L.: Coordination models based on a formal model of distributed object reflection. In: Brim, L., Linden, I. (eds.) MTCoord 2005. ENTCS, vol.\u00a0150(1), pp. 143\u2013157. Elsevier (2006)","DOI":"10.1016\/j.entcs.2005.12.028"},{"key":"7_CR22","unstructured":"Talcott, C.L.: Policy-based coordination in PAGODA: A case study. In: Boella, G., Dastani, M., Omicini, A., van der Torre, L.W., Cerna, I., Linden, I. (eds.) CoOrg 2006 & MTCoord 2006. ENTCS, vol.\u00a0181, pp. 97\u2013112. Elsevier (2007)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Weyns, D., Malek, S., Andersson, J.: FORMS: a formal reference model for self-adaptation. In: Figueiredo, R., Kiciman, E. (eds.) ICAC 2010, pp. 205\u2013214. ACM (2010)","DOI":"10.1145\/1809049.1809078"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: Osterweil, L.J., Rombach, H.D., Soffa, M.L. (eds.) ICSE 2006, pp. 371\u2013380. ACM (2006)","DOI":"10.1145\/1134285.1134337"}],"container-title":["Lecture Notes in Computer Science","Rewriting Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34005-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:40:41Z","timestamp":1620132041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34005-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340048","9783642340055"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34005-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}