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

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

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)