a white-box perspective on self-adaptation and self-awareness (with a focus on russian dolls) @...
DESCRIPTION
The slides of my lecture at the AWASS 2012 Summer School on Self-Awareness in Autonomic Computing.TRANSCRIPT
![Page 1: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/1.jpg)
A White-box Perspective on Self-Adaptation and Self-Awareness
(with a focus on Reflective Russian Dolls)
Alberto Lluch [email protected]
10th-16th June 2012 Edinburgh
ascensautonomic service component ensembles
Roberto Bruni, University of Pisa
Andrea Corradini, University of Pisa
Fabio Gadducci, University of Pisa
Andrea Vandin, IMT Lucca
![Page 2: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/2.jpg)
why adaptation?
![Page 3: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/3.jpg)
ascensautonomic service component ensembles
![Page 4: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/4.jpg)
“...open-ended, highly parallel, massively distributed systems...
...made of self-aware, self-adaptive, [...], autonomic components.”
- ascens-ist.eu
ensembles
![Page 5: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/5.jpg)
Robot Swarms
E-vehicles
![Page 6: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/6.jpg)
“...build ensembles in a way that combines
software engineering, formal methods and autonomic, adaptive, self-aware systems.”
- ascens-ist.eu
the goal of ascens
![Page 7: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/7.jpg)
what isadaptation?
![Page 8: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/8.jpg)
- Lotfi A. Zadeh, Proceedings of the
IEEE, 1963
![Page 9: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/9.jpg)
“... changing something (itself, others, the environment) so that it would be more suitable or fit for some purpose than it would have otherwise been”
- T. Lints, “The essentials in defining adaptation”,
4th Annual IEEE Systems Conference
adaptation
![Page 10: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/10.jpg)
“Self-adaptive software evaluates its own behavior and changes behavior when the evaluation indicates that […] better functionality or performance is possible.”
- Laddaga, R. “Self-adaptive software”,Technical Repeport 98-12, DARPA BAA, 1997.
adaptation in software systems
![Page 11: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/11.jpg)
“Self-adaptive software modifies its own behavior in response to changes in its operating environment.”
- P. Oreizy, et al, “An architecture-based approach to self-adaptive software”. IEEE Intelligent Sys. 14, 3, 54–62, 1999
adaptation in software systems
![Page 12: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/12.jpg)
“A software system is self-adaptive if it modifies its behaviour as a reaction to a change in itself or its context to maintain/improve its goal”
adaptation in software systems
![Page 13: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/13.jpg)
what's the problem with software?
Most programs... ...“change behaviour” (e.g. conditional branching);
...“to react to external perturbations” (e.g. inputs);
...“to reach goals” (e.g. functional requirements).
How do we distinguish...
...an adaptive software from a non adaptive one?
...adaptation logic from application logic?
![Page 14: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/14.jpg)
is this adaptation?...if f(x) thendo_this;
elsedo_that;
endif...
![Page 15: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/15.jpg)
“if the hill is too steep then
assemble with other robots and try again”
is this adaptation?
![Page 16: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/16.jpg)
is this adaptation?
...
if (tooSteep || ... ){ setState(Anti_Phototaxis); } ..
![Page 17: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/17.jpg)
“Obstacle avoidance may count as adaptive behaviour if […] obstacles appear rarely. [...]
If the ‘normal’ environment is […] obstacle-rich, then avoidance becomes [...] “normal” behaviour rather than an adaptation.”
- Ezequiel di Paolo, course on “Adaptive Systems”,
University of Sussex, Spring 2006.
is obstacle avoidance adaptive?
![Page 18: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/18.jpg)
black-box adaptation
Popular on some fields (Biology, Control Theory, ...)
systems have a “default” behaviour & goal;
adaptation reacts to “external perturbations”.
In software systems:
Useful in the analysis;
Not so useful in the design, reuse, etc.
![Page 19: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/19.jpg)
white-box adaptation
![Page 20: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/20.jpg)
(1) Why? (e.g. robustness? performance? goals?)(2) When? (e.g. reactively or proactively?)(3) Where? (e.g. which architectural level?)(4) What? (e.g. which artifacts?)(5) Who? (e.g. autonomic managers? humans?)(6) How? (e.g. which actions, in which order?)
- M. Salehie et al., “Self-adaptive software: Landscape and research challenges”. ACM Transactions on Autonomous and Adaptive Systems 4(2), 2009
- R. Laddag. “Active software”. Int. Workshop on Self-Adaptive Software. 11–26, 2000
5W1H (six honest men)
![Page 21: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/21.jpg)
“A software system is self-adaptive if it modifies its behaviour as a reaction to a change in itself or its context to maintain/improve goal achievement”
this talk...
...focuses on the “HOW”
![Page 22: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/22.jpg)
desiderata
Conceptual white-box definitions of adaptation...
… useful to disambiguate “adaptivity”;
… general enough & consistent with the literature;
… useful for designing & analysing adaptive systems.
![Page 23: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/23.jpg)
“program = control + data”
- Niklaus Wirth, “Algorithms + Data Structures = Programs”,
Prentice-Hall (1976)
what is a program?
![Page 24: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/24.jpg)
what is a program?
CONTROL DATA
Data can be used to
store information;
influence the control;
both.
![Page 25: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/25.jpg)
“adaptable program = control + data
what is an adaptable program?
![Page 26: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/26.jpg)
“adaptable program = control + data
what is an adaptable program?
control data + the rest ”
![Page 27: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/27.jpg)
CONTROL OTHER DATA
CONTROL DATA
what is an adaptable program?
“adaptation is the run-time modification of control data”
![Page 28: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/28.jpg)
“...adaptable if it has a distinguished collection of CD that can be modified at runtime.”
“...adaptive if its control data is modified at runtime for some computation.”
“...self-adaptive if it modifies its own control data at runtime.”
a program is...
![Page 29: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/29.jpg)
are these definitions...
… useful to disambiguate “adaptivity”?
… general enough & consistent with the literature?
… useful for designing & analysing adaptive systems?
![Page 30: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/30.jpg)
on ambiguity
The choice of CD is (of course) arbitrary:
The same system can be adaptive in different ways!
but...
...the responsibility of declaring
“what is the adaptive behaviour”
is passed from the observer to the designer.
![Page 31: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/31.jpg)
is this adaptation?
...
if (tooSteep || ... ){ setState(Anti_Phototaxis); } ..
is the state a control data?
![Page 32: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/32.jpg)
design & analysis: control data & effectors
Monitor ExecuteKnowledge
Analyze Plan
AUTONOMIC MANAGER
CONTROL
CD
EFFECTORMANAGED ELEMENT
![Page 33: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/33.jpg)
design & analysis: MAPE-K
Monitor ExecuteKnowledge
Analyze Plan
AUTONOMIC MANAGER
MANAGED ELEMENT
Control Data
Control Data
Con
trol
![Page 34: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/34.jpg)
design & analysis:
adaptation towers
M EK
A P
MANAGED ELEMENT
CD
M EK
A P
CD
M EK
A P
CD
CD
CONTROL
CD
CONTROL
CD
![Page 35: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/35.jpg)
design & analysis: patterns/styles
CONTROL
CD
CONTROL
CD
do you want this?
![Page 36: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/36.jpg)
Identify some control data such that
its modification coincides with
adaptation (as understood by the authors)
consistency with literature
![Page 37: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/37.jpg)
generality
CONTROL DATA
configuration variables programs
models
aspects
contexts
policies
rules
![Page 38: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/38.jpg)
some examples
Aspect-Oriented Computing [Salvaneschi et al. 2011]
Service Component Ensemble Language [De Nicola et al. 2012]
Specification-carrying programs [Pavlovic 2000]
Context-Oriented Computing [Ghezzi et al. 2011]
IBM's MAPE-K [Horn 2001]
Run-time architectural models [Oreizy et al. 1999]
FORMS [Weyns et al. 2012]
Model-based adaptation [Zhang&Cheng 2006]
Coordination contexts [Andrade&Fiadeiro 2002]
Non-deterministic interactions [Broy et al. 2009]
Adaptation patterns [Cabri et al. 2011]
...
Reflective Russian Dolls [Meseguer&Talcott 2002]
THIS TALK
![Page 39: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/39.jpg)
reflectiverussiandolls
![Page 40: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/40.jpg)
- J. Meseguer et al., “Semantic models for distributed object reflection”, ECOOP 2002, LNCS 2374. Springer, 1–36.
![Page 41: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/41.jpg)
logicalreflection
![Page 42: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/42.jpg)
reflection tower
![Page 43: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/43.jpg)
reflection tower
![Page 44: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/44.jpg)
reflection tower
![Page 45: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/45.jpg)
reflection tower
![Page 46: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/46.jpg)
adaptation tower
![Page 47: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/47.jpg)
adaptation tower
![Page 48: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/48.jpg)
adaptation tower
![Page 49: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/49.jpg)
logical reflectionin Maude
![Page 50: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/50.jpg)
what is Maude?
“A high-level, declarative languagethat supports both equationaland rewriting logic computation”
– maude.cs.uiuc.edu
![Page 51: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/51.jpg)
mod m(x) is
import m1, m2,...
sort s1, s2,...
ops f, g,...
eq f(...) = ...
rl l => r
endm
modular, functional, rule-based, etc.
![Page 52: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/52.jpg)
models of concurrent computation: equational programming, lambda calculi, Petri nets, process algebras (CCS and pi-calculus), actors, operational semantics of languages (via K, SOS): Java, C, Python, Haskell, agent
languages, active networks languages, hardware description languages, logical framework and metatool: linear logic, translations between theorem provers, type systems, open calculus of constructions, tile logic distributed architectures and components: UML, OCL, MOF, Service architectures and
middlewares, open distributed processing, models, specification and analysis of communication protocols: active networks, wireless sensor networks, firewire leader election protocol, modeling and analysis of
security protocols: cryptographic protocol specification language CAPSL, MSR, security specification formalism, Maude-NPA, real-time, biological,
probabilistic systems: real-time maude, pathway logic...
Maude is also a semantic framework
![Page 53: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/53.jpg)
Maude is tool supported
An Interpreter; Debuggers (declarative/interactive); Model checkers (e.g. LTL); Confluence & Termination checkers; A theorem prover; ...
![Page 54: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/54.jpg)
META-LEVEL is a module (the universal theory) where– modules, terms, rules, equations, sorts, etc. are data.– matching, rule application, rewriting, etc. are functions.
META-LEVEL is a module so...
it can be treated as data again, and again...
enabling the tower of reflection.Meta-programming applications
– transformation of modules;– analysis of modules;– ...– adaptation.
maude supports logical reflection
![Page 55: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/55.jpg)
nestedconfigurations
![Page 56: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/56.jpg)
nested configurations
![Page 57: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/57.jpg)
message filtering & replication
![Page 58: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/58.jpg)
black-box adaptation
![Page 59: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/59.jpg)
white-box adaptation
![Page 60: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/60.jpg)
white-box adaptation
state rules
interpreter
state rules
manager
(black-box component)
(white-box component)
![Page 61: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/61.jpg)
self-awareness
interpreter
state rules
manager
(white-box component)
“Self-Awareness means
that the system is aware of
its self states
and behaviors. ”
- M.G. Hinchey, et al, “Self-managing software”. IEEE Computer 39(2) 107–109, 2006.
![Page 62: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/62.jpg)
reflective russian dolls
![Page 63: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/63.jpg)
reflective russian dolls
![Page 64: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/64.jpg)
mobility & adaptation
![Page 65: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/65.jpg)
“formal” autonomic managers
Monitor ExecuteKnowledge
Analyze Plan
AUTONOMIC MANAGER
CONTROL
CD
EFFECTORMANAGED ELEMENT
model checking,
logical inference
![Page 66: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/66.jpg)
concludingremarks
![Page 67: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/67.jpg)
summaryWhite box-adaptation: Focus on internal mechanisms, rather than manifestations; Adaptation logic decided by the designers, rather than observers;
“Control Data” white box criteria: “adaptable program = control + {control data + other data}”; Wide spectrum of control data: from “parameters” to “programs”;
Reflective Russian Dolls: Support formal techniques for adaptation and awareness; Rely on logical reflection and wrapping techniques;
![Page 68: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/68.jpg)
main references M. Salehie, L. Tahvildari, Self-adaptive software: Landscape and research
challenges. ACM Transactions on Autonomous and Adaptive Systems 4 (2), 2009.
R. Bruni, A. Corradini, F. Gadducci, A. Lluch Lafuente, A. Vandin, A Conceptual Framework for Adaptation, Proceedings of the 15th International Conference on the Fundamentals of Software Engineering (FASE’12), LNCS, vol. 7212, pp. 240–254, Springer (2012)
J. Meseguer, C. Talcott, Semantic models for distributed object reflection. In ECOOP 2002, B. Magnusson, Ed. LNCS Series, vol. 2374. Springer, 1–36, 2002.
R. Bruni, A. Corradini, F. Gadducci, A. Lluch Lafuente, A. Vandin, Modelling and analyzing adaptive self-assembling strategies with Maude, Pre-proceedings of the International Workshop on Rewriting Logic and its Applications (WRLA'12), 2012
![Page 69: A White-box Perspective on Self-Adaptation and Self-Awareness (with a focus on Russian Dolls) @ AWASS Summer School 2012](https://reader034.vdocument.in/reader034/viewer/2022042816/559136fb1a28ab0d498b4592/html5/thumbnails/69.jpg)
Thanks!