Post on 05-Dec-2014
description
1
WP2 / ASCENS General Meeting Grenoble, July 7-8, 2011
A conceptual framework
for (behavioural) adaptation
alberto.lluch@imtlucca.it
towards D2.4
D2.4A Foundational Framework for Autonomic Computational Models with Feedback and Assessment of Models
“A Conceptual Framework for Adaptation”
·1· A framework for adaptation
·2· Reflective Rule-based Programming
·3· Context-Oriented Programming
·1· A framework for adaptation
·2· Reflective Rule-based Programming
·3· Context-Oriented Programming
our sources of inspiration
IBM's AC/MAPE-K
MAUDECONTEXT-ORIENTED PROGRAMMING
EU Projects (S-CUBE, CASCADAS, ALLOW,...)
SCEL (META)KLAIM
WP4's SELF-ADAPTATION PATTERNS
MATTHIAS' GOAL-ORIENTED
ADAPTATION
let's walk together
D2.4
Foundational … Feedback
… Assessment
…
“A Conceptual Framework for Adaptation”
SCELSCEL
Casestudy 3
Casestudy 1Case
study 2
WP4's frkWP4's frk
Casestudy 3
Casestudy 1Case
study 2
“The act of modifying behaviour...”
- WP4, (c.f. “framework for self-adaptation and self-expression in ASCENS”)
adaptation
adaptable
“Something whose behaviour can be modified”
- WP2
adaptable program =
CONTROL DATA
control
+ data
adaptable program =
CONTROL DATA
CONTROLDATA
MANAGER
control
+ data
+ control data
which “control data”?
CONTROL
CONTROL
DATA
rules?
contexts?
interactions?
policies?
etc.
smells like control data...
Models: HO π-calculus, MetaKlaim, HO Petri nets,
Rewriting Logic, HO Graph Grammars,
Logic Programming, etc.
Languages: reflection,
aspects, monads,
effects, contexts, etc.
etc.
desiderata 1: compositional
C0
CD0
C1
CD1
...
WP4's internal feedback loop pattern
CONTROL
CONTROLDATA
INTERNALMANAGER
WP4's external feedback loops?
CONTROL
CD
EXTERNALCONTROLLER
CD
(un)desiderata?
C
CD
C
CD
C
CD
reciprocal management?
self management
(without separation of concerns)?
desiderata 2: MAPE-K compliance
Monitor ExecuteKnowledge
Analyze Plan
AUTONOMIC MANAGER
MANAGED ELEMENT
Control Data
Control Data
Con
trol
MAPE-K towers
M EK
A P
MANAGED ELEMENT
CD
M EK
A P
CD
M EK
A P
CD
CD
·1· A framework for adaptation
·2· Reflective Rule-based Programming
·3· Context-Oriented Programming
reflection tower
reflection tower
reflection tower
reflection tower
adaptation tower
adaptation tower
adaptation tower
the tower in the framework...
http://www.springerlink.com/content/3lcycpvew20fcl9q/
mobility
adaptation
·1· A framework for adaptation
·2· Reflective Rule-based Programming
·3· Context-Oriented Programming
context-oriented programming
A
A'
A''
context-oriented languages
ContextL(isp)ContextPy(thon)ContextR(uby)ContextS(malltalk)ContextSchemeContextJ(ava)ContextErlang...
contextJclass bot {
private void go(void);
void go(void){
set_speed(normal); }
layer surface{
void go(void){
all_wheel_drive();
set_speed(fast); }}
layer darkness{
void go(void){
proceed(); /* propagation */
turn_lights_on();
set_speed(slow); }}
}
dynamic dispatching
darkness
surface
meteor_stormwith(surface){
with(darkness){
with(meteor_storm){
go();
}
}
}
Active Variation Stack
layers as control data
darkness
surface
meteor_storm
with(this.layers()){
go();
}
bot.set_layers(...);
MAPE-K in COP
·1· A framework for adaptation
·2· Reflective Rule-based Programming
·3· Context-Oriented Programming
summary
We have presented a conceptual framework for adaptation;One step towards the foundational models of AC (D2.4);Assessment with foundational models and paradigms:
– e.g. reflective logical frameworks;– e.g. context-oriented languages;
We are starting to understand what is adaptation;We are figuring out how to realize it with “our” models.
some questions
·1· What is “control data” in SCEL? (policies? Tuples?)
·2· Does SCEL have meta/reflective features? (metaKlaim?)
·3· Adaptation towers/loops in SCEL: programmable? native?
·4· Compositional approach (c.f. BIP) vs external/imp. loops?
·5· Structural adaptation via “structural data” (e.g. connectors)?
·6· Is control data Knowledge? Expressed in KnowLang?
·7· Is control data an interface? (c.f. WP2's kick-off talk)
·8· Are goals/plans control data?
outlook
D2.4
Foundational … Feedback
… Assessment
…
“A Conceptual Framework for Adaptation”
SCELSCEL
Casestudy 3
Casestudy 1Case
study 2
WP4's frkWP4's frk
Casestudy 3
Casestudy 1Case
study 2
QUESTIONS?
ascens
(or answers)