Talk at ASCENS meeting in Grenoble (July 2011).

1. A conceptual framework
for (behavioural) adaptation
WP2 / ASCENS General Meeting
Grenoble, July 7-8, 2011
1
alberto.lluch@imtlucca.it

2. towards D2.4
D2.4
“A Conceptual
A Foundational
Framework for
Framework for
Adaptation”
Autonomic
Computational
Models with
Feedback and
Assessment of
Models

3. ·1· A framework for adaptation
·2· Reflective Rule-based Programming
·3· Context-Oriented Programming

4. ·1· A framework for adaptation
·2· Reflective Rule-based Programming
·3· Context-Oriented Programming

5. our sources of inspiration
IBM's AC/MAPE-K
SCEL (META)KLAIM MAUDE
CONTEXT-ORIENTED PROGRAMMING
EU Projects (S-CUBE, CASCADAS, ALLOW,...)
WP4's SELF-ADAPTATION PATTERNS
MATTHIAS' GOAL-ORIENTED
ADAPTATION

6. let's walk together
WP4's frk
WP4's frk
SCEL SCEL
D2.4
“A Conceptual Foundational
Framework for … Feedback
Adaptation” … Assessment
…
Case Case
study 1 study 1
Case
Case Case
Casestudy 3 study 3
study 2 study 2

7. adaptation
“The act of modifying behaviour...”
- WP4, (c.f. “framework for self-adaptation
and self-expression in ASCENS”)

8. adaptable
“Something whose behaviour can be
modified”
- WP2

9. adaptable program = control
+ data
CONTROL DATA

10. adaptable program = control
+ data
+ control data
MANAGER
CONTROL
DATA
CONTROL DATA

11. which “control data”?
rules?
contexts?
CONTROL
interactions?
DATA policies?
etc.
CONTROL

12. 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.

13. desiderata 1: compositional
...
CD1
C1
CD0
C0

14. WP4's internal feedback loop pattern
INTERNAL
MANAGER
CONTROL
DATA
CONTROL

15. WP4's external feedback loops?
CD
EXTERNAL
CONTROLLER
CD
CONTROL

16. (un)desiderata?
reciprocal management?
CD CD
C C
CD
C
self management
(without separation of concerns)?

17. desiderata 2: MAPE-K compliance
Control
AUTONOMIC MANAGER
Data
Analyze Plan
Control
Monitor Knowledge Execute
Control
Data
MANAGED ELEMENT

18. CD
MAPE-K towers
A P
M K E
CD
A P
M K E
CD
A P
M K E
CD
MANAGED ELEMENT

19. ·1· A framework for adaptation
·2· Reflective Rule-based Programming
·3· Context-Oriented Programming

20. reflection tower

21. reflection tower

22. reflection tower

23. reflection tower

24. adaptation tower

25. adaptation tower

26. adaptation tower

27. the tower in the framework
...

28. http://www.springerlink.com/content/3lcycpvew20fcl9q/

29. mobility

30. adaptation

31. ·1· A framework for adaptation
·2· Reflective Rule-based Programming
·3· Context-Oriented Programming

32. http://arxiv.org/abs/1105.0069v1

33. context-oriented programming
A'
A
A''

34. context-oriented languages
 ContextL(isp)
 ContextPy(thon)
 ContextR(uby)
 ContextS(malltalk)
 ContextScheme
 ContextJ(ava)
 ContextErlang
 ...

35. class bot {
contextJ
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); }}
}

36. dynamic dispatching
Active Variation Stack
meteor_storm
with(surface){
with(darkness){ darkness
with(meteor_storm){ surface
go();
}
}
}

37. layers as control data
bot.set_layers(...);
meteor_storm
darkness
surface
with(this.layers()){
go();
}

38. MAPE-K in COP

39. ·1· A framework for adaptation
·2· Reflective Rule-based Programming
·3· Context-Oriented Programming

40. 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.

41. 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?

42. outlook
WP4's frk
WP4's frk
SCEL SCEL
D2.4
“A Conceptual Foundational
Framework for … Feedback
Adaptation” … Assessment
…
Case Case
study 1 study 1
Case
Case Case
Casestudy 3 study 3
study 2 study 2

43. QUESTIONS?
(or answers)
ascens