{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:57:23Z","timestamp":1725818243644},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319163093"},{"type":"electronic","value":"9783319163109"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16310-9_4","type":"book-chapter","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T07:47:23Z","timestamp":1425368843000},"page":"163-184","source":"Crossref","is-referenced-by-count":7,"title":["Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"H\u00f6lzl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto Lluch","family":"Lafuente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","first-page":"48","volume-title":"WETICE 2012","author":"D.B. Abeywickrama","year":"2012","unstructured":"Abeywickrama, D.B., Bicocchi, N., Zambonelli, F.: SOTA: Towards a general model for self-adaptive systems. In: Reddy, S., Drira, K. (eds.) WETICE 2012, pp. 48\u201353. IEEE Computer Society Press, Los Alamitos (2012)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-39910-0_12","volume-title":"Verification: Theory and Practice","author":"L. Alfaro de","year":"2004","unstructured":"de Alfaro, L.: Game models for open systems. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 269\u2013289. Springer, Heidelberg (2004)"},{"issue":"5","key":"4_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L. Alfaro de","year":"2001","unstructured":"de\u00a0Alfaro, L., Henzinger, T.A.: Interface automata. ACM SIGSOFT Software Engineering Notes, vol. 26(5), ESEC\/SIGSOFT FSE 2001, pp. 109\u2013120 (2001)","journal-title":"ESEC\/SIGSOFT FSE . ACM SIGSOFT Software Engineering Notes"},{"key":"4_CR4","unstructured":"Autonomic Service Component Ensembles (ASCENS), \n                    \n                      http:\/\/www.ascens-ist.eu"},{"key":"4_CR5","first-page":"1029","volume-title":"SAC 2009","author":"M. Broy","year":"2009","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 Press, New York (2009)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-37635-1_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"R. Bruni","year":"2013","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: Adaptable transition systems. In: Mart\u00ed-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol.\u00a07841, pp. 95\u2013110. Springer, Heidelberg (2013)"},{"key":"4_CR7","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)"},{"key":"4_CR8","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch-Lafuente, A., Vandin, A.: Adaptation is a game. TinyToCS\u00a02 (2013)"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2013.11.043","volume":"99","author":"R. Bruni","year":"2015","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch-Lafuente, A., Vandin, A.: Modelling and analyzing adaptive self-assembly strategies with Maude. Science of Computer Programming\u00a099(1), 75\u201394 (2015)","journal-title":"Science of Computer Programming"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Software, Services and Systems","author":"R. Bruni","year":"2015","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A white box perspective on adaptation. In: De Nicola, R., Hennicker, R. (eds.) Software, Services and Systems. LNCS, vol.\u00a08950, Springer, Heidelberg (2015)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-319-16310-9_1","volume-title":"Software Engineering for Collective Autonomic Systems","author":"R. Nicola De","year":"2015","unstructured":"De Nicola, R., Latella, D., Lafuente, A.L., Loreti, M., Margheri, A., Massink, M., Morichetta, A., Pugliese, R., Tiezzi, F., Vandin, A.: The SCEL Language: Design, Implementation, Verification. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 3\u201371. Springer, Heidelberg (2015)"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2619998","volume":"9","author":"R. De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: The SCEL language. ACM Transactions on Autonomous and Adaptive Systems\u00a09(2), 7:1\u20137:29 (2014)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-3-319-16310-9_7","volume-title":"Software Engineering for Collective Autonomic Systems","author":"M. H\u00f6lzl","year":"2015","unstructured":"H\u00f6lzl, M., Gabor, T.: Reasoning and Learning for Awareness and Adaptation. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 249\u2013290. Springer, Heidelberg (2015)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-3-319-16310-9_9","volume-title":"Software Engineering for Collective Autonomic Systems","author":"M. H\u00f6lzl","year":"2015","unstructured":"H\u00f6lzl, M., Koch, N., Puviani, M., Wirsing, M., Zambonelli, F.: The Ensemble Development Life Cycle and Best Practices for Collective Autonomic\u00a0Systems. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 325\u2013354. Springer, Heidelberg (2015)"},{"key":"4_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":"4_CR16","unstructured":"Isaacs, R.: Differential Games. Dover, New York (1965)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-24774-6_6","volume-title":"Component-Based Software Engineering","author":"S.S. Kulkarni","year":"2004","unstructured":"Kulkarni, S.S., Biyani, K.N.: Correctness of component-based adaptation. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 48\u201358. Springer, Heidelberg (2004)"},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MAES.2012.6145439","volume":"27","author":"T. Lints","year":"2012","unstructured":"Lints, T.: The essentials in defining adaptation. Aerospace and Electronic Systems\u00a027(1), 37\u201341 (2012)","journal-title":"Aerospace and Electronic Systems"},{"key":"4_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511794216","volume-title":"Game Theory","author":"M. Maschler","year":"2013","unstructured":"Maschler, M., Solan, E., Zamir, S.: Game Theory. Cambridge University Press, Cambridge (2013)"},{"key":"4_CR20","series-title":"Annals of the International Society of Dynamic Games","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-0-8176-8089-3_12","volume-title":"Advances in Dynamic Games","author":"V.S. Patsko","year":"2011","unstructured":"Patsko, V.S., Turova, V.L.: Homicidal chauffeur game: History and modern studies. In: Breton, M., Szajowski, K. (eds.) Advances in Dynamic Games. Annals of the International Society of Dynamic Games, vol.\u00a011, pp. 227\u2013252. Birkh\u00e4user, Basel (2011)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/978-3-319-16310-9_15","volume-title":"Software Engineering for Collective Autonomic Systems","author":"C. Pinciroli","year":"2015","unstructured":"Pinciroli, C., Bonani, M., Mondada, F., Dorigo, M.: Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 471\u2013494. Springer, Heidelberg (2015)"},{"key":"4_CR22","unstructured":"Ross, D.: Game theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford University, Winter 2014 edn. (2014), \n                    \n                      http:\/\/plato.stanford.edu\/archives\/win2014\/entries\/game-theory\/"},{"issue":"2","key":"4_CR23","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), 14:1\u201314:42 (2009)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"key":"4_CR24","unstructured":"Salvaneschi, G., Ghezzi, C., Pradella, M.: Context-oriented programming: A programming paradigm for autonomic systems (v2). CoRR abs\/1105.0069 (2012)"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/978-3-319-16310-9_14","volume-title":"Software Engineering for Collective Autonomic Systems","author":"N. \u0160erbed\u017eija","year":"2015","unstructured":"\u0160erbed\u017eija, N.: The ASCENS Case Studies: Results and Common Aspects. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 451\u2013469. Springer, Heidelberg (2015)"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/978-3-319-16310-9_11","volume-title":"Software Engineering for Collective Autonomic Systems","author":"E. Vassev","year":"2015","unstructured":"Vassev, E., Hinchey, M.: Engineering Requirements for Autonomy Features. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 379\u2013403. Springer, Heidelberg (2015)"},{"issue":"3","key":"4_CR27","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1109\/PROC.1963.1852","volume":"51","author":"L.A. Zadeh","year":"1963","unstructured":"Zadeh, L.A.: On the definition of adaptivity. Proceedings of the IEEE\u00a051(3), 469\u2013470 (1963)","journal-title":"Proceedings of the IEEE"},{"key":"4_CR28","first-page":"161","volume-title":"AOSD 2009","author":"J. Zhang","year":"2009","unstructured":"Zhang, J., Goldsby, H., Cheng, B.H.C.: Modular verification of dynamically adaptive systems. In: Moreira, A., Schwanninger, C., Baillargeon, R., Grechanik, M. (eds.) AOSD 2009, pp. 161\u2013172. ACM Press, New York (2009)"},{"key":"4_CR29","first-page":"40","volume-title":"EASe 2011","author":"Y. Zhao","year":"2011","unstructured":"Zhao, Y., Ma, D., Li, J., Li, Z.: Model checking of adaptive programs with mode-extended linear temporal logic. In: EASe 2011, pp. 40\u201348. IEEE Computer Society Press, Los Alamitos (2011)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Collective Autonomic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16310-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:55:04Z","timestamp":1559116504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-16310-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319163093","9783319163109"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16310-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}