eprintid: 3064 rev_number: 11 eprint_status: archive userid: 69 dir: disk0/00/00/30/64 datestamp: 2016-02-12 13:04:06 lastmod: 2016-04-06 07:58:07 status_changed: 2016-02-12 13:04:06 type: book_section metadata_visibility: show creators_name: Bruni, Roberto creators_name: Corradini, Andrea creators_name: Gadducci, Fabio creators_name: Hölzl, Matthias creators_name: Lluch Lafuente, Alberto creators_name: Vandin, Andrea creators_name: Wirsing, Martin creators_id: creators_id: creators_id: creators_id: creators_id: creators_id: andrea.vandin@imtlucca.it creators_id: title: Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation ispublished: pub subjects: QA75 divisions: CSA full_text_status: none keywords: Autonomic Computing; Behavioral Adaptation; Requirements Engineering; Software Engineering; Linear-time Properties; Games abstract: This paper proposes to reconcile two perspectives on behavioral adaptation commonly taken at different stages of the engineering of autonomic computing systems. Requirements engineering activities often take a black-box perspective: A system is considered to be adaptive with respect to an environment whenever the system is able to satisfy its goals irrespectively of the environment perturbations. Modeling and programming engineering activities often take a white-box perspective: A system is equipped with suitable adaptation mechanisms and its behavior is classified as adaptive depending on whether the adaptation mechanisms are enacted or not. The proposed approach reconciles black- and white-box perspectives by proposing several notions of coherence between the adaptivity as observed by the two perspectives: These notions provide useful criteria for the system developer to assess and possibly modify the adaptation requirements, models and programs of an autonomic system. date: 2015 date_type: published series: Lecture Notes in Computer Science number: 8998 publisher: Springer pagerange: 163-184 pages: 21 id_number: 10.1007/978-3-319-16310-9_4 refereed: TRUE isbn: 978-3-319-16309-3 book_title: Software Engineering for Collective Autonomic Systems. The ASCENS Approach official_url: http://link.springer.com/chapter/10.1007%2F978-3-319-16310-9_4 projects: IP 257414 ASCENS projects: PRIN 2010LHT4KM CINA citation: Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Hölzl, Matthias and Lluch Lafuente, Alberto and Vandin, Andrea and Wirsing, Martin Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 163-184. ISBN 978-3-319-16309-3 (2015)