{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:40:35Z","timestamp":1743108035510,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319576657"},{"type":"electronic","value":"9783319576664"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57666-4_9","type":"book-chapter","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T08:18:42Z","timestamp":1491985122000},"page":"134-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Bistarelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilaria","family":"Matteucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Santini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"key":"9_CR1","unstructured":"Bistarelli, S., Gadducci, F.: Enhancing constraints manipulation in semiring-based formalisms. In: ECAI, pp. 63\u201367 (2006)"},{"issue":"2","key":"9_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Santini, F., Martinelli, F., Matteucci, I.: Automated adaptation via quantitative partial model checking. In: Proceedings of the 31st Annual ACM Symposium on Applied Computing, pp. 1993\u20131996. ACM (2016)","DOI":"10.1145\/2851613.2851955"},{"key":"9_CR4","volume-title":"Residuation Theory","author":"TS Blyth","year":"1972","unstructured":"Blyth, T.S., Janowitz, M.E.: Residuation Theory, vol. 102. Pergamon press, Oxford (1972)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-44804-7_12","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"P Buchholz","year":"2001","unstructured":"Buchholz, P., Kemper, P.: Quantifying the dynamic behavior of process algebras. In: Alfaro, L., Gilmore, S. (eds.) PAPM-PROBMIV 2001. LNCS, vol. 2165, pp. 184\u2013199. Springer, Heidelberg (2001). doi:\n                      10.1007\/3-540-44804-7_12"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.entcs.2010.05.006","volume":"263","author":"A Cansado","year":"2010","unstructured":"Cansado, A., Canal, C., Sala\u00fcn, G., Cubo, J.: A formal framework for structural reconfiguration of components under behavioural adaptation. Electr. Notes Theor. Comput. Sci. 263, 95\u2013110 (2010)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"9_CR7","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/JPROC.2011.2160929","volume":"100","author":"P Derler","year":"2012","unstructured":"Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.L.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13\u201328 (2012)","journal-title":"Proc. IEEE"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-45114-0_6","volume-title":"Advances in Artificial Intelligence and Its Applications","author":"F Gadducci","year":"2013","unstructured":"Gadducci, F., H\u00f6lzl, M., Monreale, G.V., Wirsing, M.: Soft constraints for lexicographic orders. In: Castro, F., Gelbukh, A., Gonz\u00e1lez, M. (eds.) MICAI 2013. LNCS (LNAI), vol. 8265, pp. 68\u201379. Springer, Heidelberg (2013). doi:\n                      10.1007\/978-3-642-45114-0_6"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-540-75254-7_13","volume-title":"Multi-Agent Systems and Applications V","author":"L Gardelli","year":"2007","unstructured":"Gardelli, L., Viroli, M., Omicini, A.: Design patterns for self-organising systems. In: Burkhard, H.-D., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds.) CEEMAS 2007. LNCS (LNAI), vol. 4696, pp. 123\u2013132. Springer, Heidelberg (2007). doi:\n                      10.1007\/978-3-540-75254-7_13"},{"key":"9_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0383-3","volume-title":"Semirings and Affine Equations Over Them: Theory and Applications","author":"J Golan","year":"2003","unstructured":"Golan, J.: Semirings and Affine Equations Over Them: Theory and Applications. Kluwer Academic Publisher, Dordrecht (2003)"},{"issue":"6","key":"9_CR11","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/logcom\/1.6.761","volume":"1","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Xinxin, L.: Compositionality through an operational semantics of contexts. J. Logic Comput. 1(6), 761\u2013795 (1991)","journal-title":"J. Logic Comput."},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S1389-1286(01)00291-2","volume":"38","author":"J Li","year":"2002","unstructured":"Li, J., Yarvis, M., Reiher, P.: Securing distributed adaptation. Comput. Netw. 38(3), 347\u2013371 (2002)","journal-title":"Comput. Netw."},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.tcs.2005.08.006","volume":"346","author":"A Lluch-Lafuente","year":"2005","unstructured":"Lluch-Lafuente, A., Montanari, U.: Quantitative mu-calculus and CTL defined over constraint semirings. TCS 346(1), 135\u2013160 (2005)","journal-title":"TCS"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.jlap.2011.08.001","volume":"81","author":"JA Mart\u00edn","year":"2012","unstructured":"Mart\u00edn, J.A., Martinelli, F., Pimentel, E.: Synthesis of secure adaptors. J. Log. Algebr. Program. 81(2), 99\u2013126 (2012)","journal-title":"J. Log. Algebr. Program."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Martinelli, F., Matteucci, I., Santini, F.: Semiring-based specification approaches for quantitative security. In: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL. EPTCS, vol. 194, pp. 95\u2013109 (2015)","DOI":"10.4204\/EPTCS.194.7"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Morandini, M., Penserini, L., Perini, A.: Towards goal-oriented development of self-adaptive systems. In: Workshop on Software Engineering for Adaptive and Self-managing Systems, SEAMS 2008, pp. 9\u201316. ACM (2008)","DOI":"10.1145\/1370018.1370021"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Shi, J., Wan, J., Yan, H., Suo, H.: A survey of cyber-physical systems. In: 2011 International Conference on Wireless Communications & Signal Processing, WCSP 2011, pp. 1\u20136. IEEE (2011)","DOI":"10.1109\/WCSP.2011.6096958"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-44826-8_11","volume-title":"Adaptive Agents and Multi-Agent Systems","author":"S Splunter","year":"2003","unstructured":"Splunter, S., Wijngaards, N.J.E., Brazier, F.M.T.: Structuring agents for adaptation. In: Alonso, E., Kudenko, D., Kazakov, D. (eds.) AAMAS 2001-2002. LNCS (LNAI), vol. 2636, pp. 174\u2013186. Springer, Heidelberg (2003). doi:\n                      10.1007\/3-540-44826-8_11"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-319-15545-6_18","volume-title":"Software, Services, and Systems","author":"C Talcott","year":"2015","unstructured":"Talcott, C., Arbab, F., Yadav, M.: Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems. In: Nicola, R., Hennicker, R. (eds.) Software, Services, and Systems. LNCS, vol. 8950, pp. 273\u2013290. Springer, Cham (2015). doi:\n                      10.1007\/978-3-319-15545-6_18"},{"key":"9_CR20","first-page":"69","volume":"155","author":"L Vigan\u00f2","year":"2006","unstructured":"Vigan\u00f2, L.: Automated security protocol analysis with the AVISPA tool. ENTCS 155, 69\u201386 (2006)","journal-title":"ENTCS"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-540-69868-5_3","volume-title":"Engineering Self-Organising Systems","author":"T Wolf","year":"2007","unstructured":"Wolf, T., Holvoet, T.: Design patterns for decentralised coordination in self-organising emergent systems. In: Brueckner, S.A., Hassas, S., Jelasity, M., Yamins, D. (eds.) ESOA 2006. LNCS (LNAI), vol. 4335, pp. 28\u201349. Springer, Heidelberg (2007). doi:\n                      10.1007\/978-3-540-69868-5_3"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57666-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:13:56Z","timestamp":1558318436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57666-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319576657","9783319576664"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57666-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"13 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FACS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Formal Aspects of Component Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Besan\u00e7on","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"facs2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/events.femto-st.fr\/facs2016\/en","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}