A conceptual framework for behavioural adaptation @ Meeting ASCENS 2011

•

1 recomendación•365 vistas

Alberto Lluch Lafuente

Talk at ASCENS meeting in Grenoble (July 2011).

Tecnología Empresariales

A conceptual framework
for (behavioural) adaptation
WP2 / ASCENS General Meeting
Grenoble, July 7-8, 2011

1

alberto.lluch@imtlucca.it

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

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

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

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

adaptation

“The act of modifying behaviour...”

- WP4, (c.f. “framework for self-adaptation
and self-expression in ASCENS”)

adaptable

“Something whose behaviour can be
modified”

- WP2

adaptable program = control
+ data

CONTROL DATA

adaptable program = control
+ data
+ control data
MANAGER

CONTROL
DATA

CONTROL DATA

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

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

CD1

C1

CD0

C0

WP4's internal feedback loop pattern

INTERNAL
MANAGER

CONTROL
DATA

CONTROL

WP4's external feedback loops?

CD

EXTERNAL
CONTROLLER

CD

CONTROL

(un)desiderata?
reciprocal management?

CD CD

C C
CD

C
self management
(without separation of concerns)?

desiderata 2: MAPE-K compliance
Control
AUTONOMIC MANAGER
Data

Analyze Plan

Control
Monitor Knowledge Execute

Control
Data

MANAGED ELEMENT

CD
MAPE-K towers
A P

M K E

CD

A P

M K E

CD

A P

M K E

CD
MANAGED ELEMENT

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

context-oriented programming

A'

A

A''

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

$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); }} }$

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

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

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

Más contenido relacionado

Similar a A conceptual framework for behavioural adaptation @ Meeting ASCENS 2011

Reverse-Engineering Reusable Language Modules from Legacy DSLs

David Méndez-Acuña

Model-Driven Development (MDD) promises a number of advantages, which include the ability to work at higher abstraction levels, static reasoning about models, and generation of platform-specific code. To achieve this, generally a transformation-based approach is adopted, which generates code from models. In this presentation we discuss –in addition to the potential advantages– a number of possible misunderstandings and risks of MDD. In particular, we address the risks of transformation-based software development, such as: • It is rarely possible to generate the full functionality of a (sub-)system from models; as a result, it is necessary to either do additional ‘manual coding’ –a challenge to integrate with the generated code– or annotate the model with small or larger fragments of executable code, which has several restrictions and practical consequences: for instance it mingles abstraction levels, and reduces maintainability of code and models. • MDD is particularly effective when various different models can be used, each optimized for a specific domain. However, when using transformation techniques, de combination of multiple models in an integrated application is far from trivial. In this talk we propose –as a low-threshold approach–, ‘bottom-up’ model-driven development. This means that the focus on domain-specific abstractions remains, as well as the separation of platform-specific and platform-independent software. This approach, which is related to Domain-Driven Design and domain-specific languages (DSLs), aims to exploit the advantages of modeling in terms of abstractions, while at the same time reducing the gap between models and code. This can be achieved by specifying the models in code, while separating platform-specific code from the model code. An important issue is the capability to combine several different models, without getting into technical difficulties: we discuss existing as well as a novel approach, entitled Co-op, which aim to address this problem.

Close encounters in MDD: when Models meet Code

lbergmans

“Close encounters in MDD: when Models meet Code” Model-Driven Development (MDD) promises a number of advantages, which include the ability to work at higher abstraction levels, static reasoning about models, and generation of platform-specific code. To achieve this, generally a transformation-based approach is adopted, which generates code from models. In this presentation we discuss –in addition to the potential advantages– a number of possible misunderstandings and risks of MDD. In particular, we address the risks of transformation-based software development, such as: • It is rarely possible to generate the full functionality of a (sub-)system from models; as a result, it is necessary to either do additional ‘manual coding’ –a challenge to integrate with the generated code– or annotate the model with small or larger fragments of executable code, which has several restrictions and practical consequences: for instance it mingles abstraction levels, and reduces maintainability of code and models. • MDD is particularly effective when various different models can be used, each optimized for a specific domain. However, when using transformation techniques, de combination of multiple models in an integrated application is far from trivial. In this talk we propose –as a low-threshold approach–, ‘bottom-up’ model-driven development. This means that the focus on domain-specific abstractions remains, as well as the separation of platform-specific and platform-independent software. This approach, which is related to Domain-Driven Design and domain-specific languages (DSLs), aims to exploit the advantages of modeling in terms of abstractions, while at the same time reducing the gap between models and code. This can be achieved by specifying the models in code, while separating platform-specific code from the model code. An important issue is the capability to combine several different models, without getting into technical difficulties: we discuss existing as well as a novel approach, entitled Co-op, which aim to address this problem. Finally, we discuss how the presented approach fits with the ‘scalable design’ approach for developing software that is scalable with respect to evolving requirements.

Close Encounters in MDD: when models meet code

lbergmans

S-CUBE LP: Chemical Modeling: Workflow Enactment based on the Chemical Metaphor

virtual-campus

Validating Procedural Knowledge in the Open Virtual Collaboration Environment

streamspotter

Synthesis in VLSI is the process of converting your code (program) into a circuit. In terms of logic gates, synthesis is the process of translating an abstract design into a properly implemented chip. Hardware Description Languages (HDLs) are specific programming languages that are used to explain the hardware of a circuit, and the computer subsequently builds the circuit depending on the programme you provided. A “Gate Level Netlist” is what you get once you finish synthesising. This is how your circuit will appear. It demonstrates how everything is interconnected. You can alter it if you like; the computer just synthesizes this netlist based on its best judgement. The synthesizer generates better netlists as the abilities improve and they become more proficient at creating HDL programmes.

3. Synthesis.pptx

Ahmed Abdelazeem

A Framework for Classifying and Comparing Architecture-Centric Software Evolu...

Pooyan Jamshidi

Ruleml2012 - A production rule-based framework for causal and epistemic reaso...

RuleML

SAIC System architecture

Barbara Starr

Object

guest94b187c

Lafauci dv club oct 2006

Obsidian Software

Scalability in Software Systems Engineering: The Good, the Bad, and the Ugly ...

David Rosenblum

MICE: Monitoring and modelIng of Context Evolution

Luca Berardinelli

Model-based Analysis of Large Scale Software Repositories

Markus Scheidgen

Ectel nods v2

nodenot

Challenges on Distributed Machine Learning

jie cao

Meyer's blog: "In response to many requests, I have made available [1] the slides of my education keynote at ICSE earlier this month. The theme was “From programming to software engineering: notes of an accidental teacher”. Some of the material has been presented before, notably at the Informatics Education Europe conference in Venice in 2009. (In research you can give a new talk every month, but in education things move at a more senatorial pace.) Still, part of the content is new. The talk is a summary of my experience teaching programming and software engineering at ETH."

From programming to software engineering: ICSE keynote slides available

Celso Martins

Presentation

butest

CFAR-m Presentation English

businessangeleu

Automating materials science workflows with pymatgen, FireWorks, and atomate

Anubhav Jain

Similar a A conceptual framework for behavioural adaptation @ Meeting ASCENS 2011 (20)

Reverse-Engineering Reusable Language Modules from Legacy DSLs

Close encounters in MDD: when Models meet Code

Close Encounters in MDD: when models meet code

S-CUBE LP: Chemical Modeling: Workflow Enactment based on the Chemical Metaphor

Validating Procedural Knowledge in the Open Virtual Collaboration Environment

3. Synthesis.pptx

A Framework for Classifying and Comparing Architecture-Centric Software Evolu...

Ruleml2012 - A production rule-based framework for causal and epistemic reaso...

SAIC System architecture

Object

Lafauci dv club oct 2006

Scalability in Software Systems Engineering: The Good, the Bad, and the Ugly ...

MICE: Monitoring and modelIng of Context Evolution

Model-based Analysis of Large Scale Software Repositories

Ectel nods v2

Challenges on Distributed Machine Learning

From programming to software engineering: ICSE keynote slides available

Presentation

CFAR-m Presentation English

Automating materials science workflows with pymatgen, FireWorks, and atomate

Más de Alberto Lluch Lafuente

Information flow techniques typically classify information according to suitable security levels and enforce policies that are based on binary relations between individual levels, e.g., stating that information is allowed to flow from one level to another. We argue that some information flow properties of interest naturally require coordination patterns that involve sets of security levels rather than individual levels: some secret information could be safely disclosed to a set of confidential channels of incomparable security levels, with individual leaks considered instead illegal; a group of competing agencies might agree to disclose their secrets, with individual disclosures being undesired, etc. Motivated by this we propose a simple language for expressing information flow policies where the usual admitted flow relation between individual security levels is replaced by a relation between sets of security levels, thus allowing to capture coordinated flows of information. The flow of information is expressed in terms of causal dependencies and the satisfaction of a policy is defined with respect to an event structure that is assumed to capture the causal structure of system computations. We suggest applications to secret exchange protocols, program security and security architectures, and discuss the relation to classic notions of information flow control.

Many-to-Many Information Flow Policies

Alberto Lluch Lafuente

Talk at the Informatics Colloquium at LMU München. Abstract: Aggregation plays a central role in many computational paradigms and their applications. Classical examples are fold/reduce functions in functional programming, reduce/gather operations in parallel programming, and set functions in database programming. Aggregation is essential as well in many of today's IT trends, from Big (Graph) Data analytics to coordination of devices and services in complex distributed systems such as the Internet-of-Things. Aggregate programming models, languages and techniques are indeed a current topic of research in several communities. I will discuss how a soft variant of a modal logic can provide a convenient declarative approach to aggregate programming and I will mention applications to distributed coordination of agents and to distributed graph analytics.

Aggregate Programming through a Soft Modal Logic

Alberto Lluch Lafuente

A Semiring-valued Temporal Logic

Alberto Lluch Lafuente

Relaxed memory models offer suitable abstractions of the actual optimizations offered by multi-core architectures and by compilers of concurrent programming languages. Using such abstractions for verification purposes is challenging in part since they introduce yet another source of high non-determinism, thus contributing to the state explosion problem. In the last years several techniques have been proposed to mitigate those problems so to make verification under relaxed memory models feasible. In this talk I present some of those techniques and discuss if and how those techniques can be adopted in Maude or Maude-based verification tools.

Can we efficiently verify concurrent programs under relaxed memory models in ...

Alberto Lluch Lafuente

My talk at the 2nd General Meeting of the CINA project, Bologna, 18-20 Feb 2014. The increasing diffusion of cloud technologies offers new opportunities for distributed and collaborative computing. Volunteer clouds are a prominent example, where participants join and leave the platform and collaborate by sharing computational resources. The high complexity, dynamism and unpredictability of such scenarios call for decentralized self-* approaches. We present in this paper a framework for the design and evaluation of self-adaptive collaborative task execution strategies in volunteer clouds. As a byproduct, we propose a novel strategy based on the Ant Colony Optimization paradigm, that we validate through simulation-based statistical analysis over Google workload data.

Collaborative Task Execution In Volunteer Clouds (or how to choose a sub-revi...

Alberto Lluch Lafuente

State Space C-Reductions @ ETAPS Workshop GRAPHITE 2013

Alberto Lluch Lafuente

Adaptable Transition Systems @ ASCENS Meeting Prague 2013

Alberto Lluch Lafuente

White Box Adaptation @ CINA Meeting 2013

Alberto Lluch Lafuente

We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system. This is done by means of a canonizer function, which maps each state into one (of the) canonical representative(s) of its equivalence class. The approach exploits the expressiveness of rewriting logic and its realization in Maude to enjoy several advantages over similar approaches: flexibility and simplicity in the definition of the reductions (supporting not only traditional symmetry reductions, but also name reuse and name abstraction); reasoning support for checking and proving correctness of the reductions; and automatization of the reduction infrastructure via Maude's meta-programming features. The approach has been validated over a set of representative case studies, exhibiting comparable results with respect to other tools.

State Space c-Reductions of Concurrent Systems in Rewriting Logic @ ETAPS Wor...

Alberto Lluch Lafuente

Rule-based programming has been shown to be very successful in many application areas. Two prominent examples are the specification of model transformations in model driven development approaches and the definition of structured operational semantics of formal languages. General rewriting frameworks such as Maude are flexible enough to allow the programmer to adopt and mix various rule styles. The choice between styles can be biased by the programmer's background. For instance, experts in visual formalisms might prefer graph-rewriting styles, while experts in semantics might prefer structurally inductive rules. This paper evaluates the performance of different rule styles on a significant benchmark taken from the literature on model transformation. Depending on the actual transformation being carried out, our results show that different rule styles can offer drastically different performances. We point out the situations from which each rule style benefits to offer a valuable set of hints for choosing one style over the other.

Evaluating the performance of model transformation styles with Maude @ Sympos...

Alberto Lluch Lafuente

Maude .:° ASCENS 2011

Alberto Lluch Lafuente

A Graph Syntax for Processes and Services @ Workshop WS-FM 2009

Alberto Lluch Lafuente

We define an algebraic theory of hierarchical graphs, whose equational part characterises graph isomorphism, i.e. it is formed by a sound and complete set of axioms equating two terms whenever they represent the same hierarchical graph. Our algebra can thus be understood as a high-level language for describing graphs with a nested structure, and is then particularly suited for the visual specication of process calculi with inherently hierarchical features such as sessions, transactions or locations. We illustrate our approach by encoding CaSPiS, a recently proposed session-centered calculus.

An Algebra of Hierarchical Graphs

Alberto Lluch Lafuente

Más de Alberto Lluch Lafuente (13)

Many-to-Many Information Flow Policies

Aggregate Programming through a Soft Modal Logic

A Semiring-valued Temporal Logic

Can we efficiently verify concurrent programs under relaxed memory models in ...

Collaborative Task Execution In Volunteer Clouds (or how to choose a sub-revi...

State Space C-Reductions @ ETAPS Workshop GRAPHITE 2013

Adaptable Transition Systems @ ASCENS Meeting Prague 2013

White Box Adaptation @ CINA Meeting 2013

State Space c-Reductions of Concurrent Systems in Rewriting Logic @ ETAPS Wor...

Evaluating the performance of model transformation styles with Maude @ Sympos...

Maude .:° ASCENS 2011

A Graph Syntax for Processes and Services @ Workshop WS-FM 2009

An Algebra of Hierarchical Graphs

Último

Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving

Edi Saputra

2024: Domino Containers - The Next Step. News from the Domino Container commu...

Martijn de Jong

Manulife - Insurer Transformation Award 2024

The Digital Insurer

Scaling API-first – The story of a global engineering organization Ian Reasor, Senior Computer Scientist - Adobe Radu Cotescu, Senior Computer Scientist - Adobe Apidays New York 2024: The API Economy in the AI Era (April 30 & May 1, 2024) ------ Check out our conferences at https://www.apidays.global/ Do you want to sponsor or talk at one of our conferences? https://apidays.typeform.com/to/ILJeAaV8 Learn more on APIscene, the global media made by the community for the community: https://www.apiscene.io Explore the API ecosystem with the API Landscape: https://apilandscape.apiscene.io/

Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe

apidays

Following the popularity of "Cloud Revolution: Exploring the New Wave of Serverless Spatial Data," we're thrilled to announce this much-anticipated encore webinar. In this sequel, we'll dive deeper into the Cloud-Native realm by uncovering practical applications and FME support for these new formats, including COGs, COPC, FlatGeoBuf, GeoParquet, STAC, and ZARR. Building on the foundation laid by industry leaders Michelle Roby of Radiant Earth and Chris Holmes of Planet in the first webinar, this second part offers an in-depth look at the real-world application and behind-the-scenes dynamics of these cutting-edge formats. We will spotlight specific use-cases and workflows, showcasing their efficiency and relevance in practical scenarios. Discover the vast possibilities each format holds, highlighted through detailed discussions and demonstrations. Our expert speakers will dissect the key aspects and provide critical takeaways for effective use, ensuring attendees leave with a thorough understanding of how to apply these formats in their own projects. Elevate your understanding of how FME supports these cutting-edge technologies, enhancing your ability to manage, share, and analyze spatial data. Whether you're building on knowledge from our initial session or are new to the serverless spatial data landscape, this webinar is your gateway to mastering cloud-native formats in your workflows.

Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME

Safe Software

Three things you will take away from the session: • How to run an effective tenant-to-tenant migration • Best practices for before, during, and after migration • Tips for using migration as a springboard to prepare for Copilot in Microsoft 365 Main ideas: Migration Overview: The presentation covers the current reality of cross-tenant migrations, the triggers, phases, best practices, and benefits of a successful tenant migration Considerations: When considering a migration, it is important to consider the migration scope, performance, customization, flexibility, user-friendly interface, automation, monitoring, support, training, scalability, data integrity, data security, cost, and licensing structure Next Wave: The next wave of change includes the launch of Copilot, which requires businesses to be prepared for upcoming changes related to Copilot and the cloud, and to consolidate data and tighten governance ShareGate: ShareGate can help with pre-migration analysis, configurable migration tool, and automated, end-user driven collaborative governance

Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff

sammart93

Automating Google Workspace (GWS) & more with Apps Script

wesley chun

ICT role in 21st century education and its challenges

rafiqahmad00786416

MySQL Webinar, presented on the 25th of April, 2024. Summary: MySQL solutions enable the deployment of diverse Database Architectures tailored to specific needs, including High Availability, Disaster Recovery, and Read Scale-Out. With MySQL Shell's AdminAPI, administrators can seamlessly set up, manage, and monitor these solutions, ensuring efficiency and ease of use in their administration. MySQL Router, on the other hand, provides transparent routing from the application traffic to the backend servers in the architectures, requiring minimal configuration. Completely built in-house and supported by Oracle, these solutions have been adopted by enterprises of all sizes for their business-critical applications. In this presentation, we'll delve into various database architecture solutions to help you choose the right one based on your business requirements. Focusing on technical details and the latest features to maximize the potential of these solutions.

Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...

Miguel Araújo

MS Copilot expands with MS Graph connectors

Nanddeep Nachan

EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER

MadyBayot

ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke

Product Anonymous

"I see eyes in my soup": How Delivery Hero implemented the safety system for ...

Zilliz

AXA XL - Insurer Innovation Award Americas 2024

The Digital Insurer

Strategies for Landing an Oracle DBA Job as a Fresher

Remote DBA Services

presentation ICT roal in 21st century education

jfdjdjcjdnsjd

GenAI Risks & Security Meetup 01052024.pdf

lior mazor

Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...

Zilliz

Data Cloud, More than a CDP by Matt Robison

Anna Loughnan Colquhoun

Boost Fertility New Invention Ups Success Rates.pdf

sudhanshuwaghmare1

A conceptual framework for behavioural adaptation @ Meeting ASCENS 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

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

A conceptual framework for behavioural adaptation @ Meeting ASCENS 2011

Recomendados

Recomendados

Más contenido relacionado

Similar a A conceptual framework for behavioural adaptation @ Meeting ASCENS 2011

Similar a A conceptual framework for behavioural adaptation @ Meeting ASCENS 2011 (20)

Más de Alberto Lluch Lafuente

Más de Alberto Lluch Lafuente (13)

Último

Último (20)

A conceptual framework for behavioural adaptation @ Meeting ASCENS 2011