TY  - CHAP
ID  - eprints3064
T2  - Software Engineering for Collective Autonomic Systems. The ASCENS Approach
EP  - 184
Y1  - 2015///
KW  - Autonomic Computing; Behavioral Adaptation; Requirements Engineering; Software Engineering; Linear-time Properties; Games
TI  - Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation
AV  - none
UR  - http://link.springer.com/chapter/10.1007%2F978-3-319-16310-9_4
PB  - Springer
SN  - 978-3-319-16309-3
A1  - Bruni, Roberto
A1  - Corradini, Andrea
A1  - Gadducci, Fabio
A1  - Hölzl, Matthias
A1  - Lluch Lafuente, Alberto
A1  - Vandin, Andrea
A1  - Wirsing, Martin
T3  - Lecture Notes in Computer Science
N2  - 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.
SP  - 163
ER  -