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

Introduction to FDO and How It works Applications _ Richard at FIDO Alliance.pdf

FIDO Alliance

Linux Foundation Edge _ Overview of FDO Software Components _ Randy at Intel.pdf

FIDO Alliance

ASRock Industrial FDO Solutions in Action for Industrial Edge AI _ Kenny at A...

FIDO Alliance

Designing inclusive products is not only a social responsibility but also a business imperative. This talk delves into the journey of creating accessible hardware products that cater to diverse user needs. Key Topics Covered: 1. Introduction to Inclusive Design - Importance of accessibility in product design - Overview of Comcast's commitment to making products accessible to a wide audience 2. Case Study: Xfinity Large Button Voice Remote - Initial challenges and the evolution of the product - User research and feedback that shaped the design - Key features of the final product and their benefits 3. Designing for Diverse Needs - Understanding human-centered design and its historical context - The impact of designing for people with disabilities on overall product quality - Examples from other industries, such as architecture and industrial design 4. Integrating Accessibility from the Beginning - The cost and efficiency benefits of designing for accessibility from the start - The process of embedding accessibility as a core trait rather than an optional feature 5. Real-World Impact and Continuous Improvement - Insights from in-home studies with users having assistive needs - How continuous feedback and iterative design lead to better products - The role of inclusive research and development practices

Designing for Hardware Accessibility at Comcast

UXDXConf

Webinar Recording: https://www.panagenda.com/webinars/easier-faster-and-more-powerful-notes-document-properties-reimagined/ Have you ever felt frustrated by the small properties dialog in Notes? Had to create an agent or button to quickly change a field? Searched endlessly for the field you wanted to compare each time you selected a new document? Wished you could just make the damned thing bigger? Luckily, there is a solution – and you probably already have it installed! With the free panagenda Document Properties (Pro) you get the properties dialog you always needed. Big, resizable, full-text searchable. View multiple documents at once or compare them with a diff viewer. Modify any field, and finally have an easy way to handle profile documents for all users. Join HCL Lifetime Ambassador Julian Robichaux to discover how Document Properties can simplify your work and assist you daily when using Domino applications – in the client or the designer. You will never look back! Key takeaways from this session - What Document Properties is, which editions there are, and how you can find it in Notes and Domino Designer - How you can search for and edit any field, compare documents, or CSV export all data - How to find, edit, and even delete profile documents - Which configuration settings are available to customize feature

Easier, Faster, and More Powerful – Notes Document Properties Reimagined

panagenda

Delivered by Michael Down at Gartner Data & Analytics Summit London 2024 - Your enemies use GenAI too: Staying ahead of fraud with Neo4j. Fraudsters exploit the latest technologies like generative AI to stay undetected. Static applications can’t adapt quickly enough. Learn why you should build flexible fraud detection apps on Neo4j’s native graph database combined with advanced data science algorithms. Uncover complex fraud patterns in real-time and shut down schemes before they cause damage.

Your enemies use GenAI too - staying ahead of fraud with Neo4j

Neo4j

Continuing Bonds Through AI: A Hermeneutic Reflection on Thanabots

Leah Henrickson

Secure Zero Touch enabled Edge compute with Dell NativeEdge via FDO _ Brad at...

FIDO Alliance

Ruby has a lot of standard libraries from Ruby 1.8. I promote them democratically with GitHub today via default and bundled gems. So, I'm working to extract them for Ruby 3.4 continuously and future versions. It's long journey for me. After that, some versions may suddenly happen LoadError at require when running bundle exec or bin/rails, for example matrix or net-smtp. We need to learn what's difference default/bundled gems with standard libraries. In this presentation, I will introduce what's the difficult to extract bundled gems from default gems and the details of the functionality that Ruby's require and bundle exec with default/bundled gems. You can learn how handle your issue about standard libraries.

Long journey of Ruby Standard library at RubyKaigi 2024

Hiroshi SHIBATA

The Metaverse: Are We There Yet?

Mark Billinghurst

AI presentation and introduction - Retrieval Augmented Generation RAG 101

vincent683379

New customer? New industry? New cloud? New team? A lot to handle! How to ensure the success of the project? Start it well! I've created the 3 areas of focus at the beginning of the project that helped me in multiple roles (BA, PO, and Consultant). Learn from real-world experiences and discover how these insights can empower you to deliver unparalleled value to your customers right from the project's start.

Powerful Start- the Key to Project Success, Barbara Laskowska

CzechDreamin

PLAI - Acceleration Program for Generative A.I. Startups

Stefano

This talk offers actionable insights at an executive level for enhancing productivity and refining your portfolio management approach to propel your organization to greater heights. Key Points Covered: 1. Experience Transformation: - The core challenge remains consistent across organizations: converting budget into user-centric designs. - Strategies for deploying design resources effectively in both startups and large enterprises. 2. Strategic Frameworks: - Introduction to the "Ziggurat of Impact" model, detailing layers from basic system interactions to comprehensive customer experiences. - Practical insights on creating frameworks that scale with organizational complexity. 3. Organizational Impact: - Real-world examples of navigating design in large settings, focusing on the synthesis of consumer products and customer experiences. - Emphasis on the importance of designing systems that directly influence customer interactions. 4. Design Execution: - Detailed walkthrough of organizational layers affecting design execution, from touchpoints and customer activities to shared capabilities. - How to ensure design influences both the micro and macro aspects of customer interactions. 5. Measurement and Adaptation: - Techniques for measuring the impact of design decisions and adapting strategies based on data-driven insights. - The critical role of continuous improvement and feedback in refining customer experiences.

Structuring Teams and Portfolios for Success

UXDXConf

Portal Kombat : extension du réseau de propagande russe

中央社

Overview of Hyperledger Foundation

Hyperleger Tokyo Meetup

Simplified FDO Manufacturing Flow with TPMs _ Liam at Infineon.pdf

FIDO Alliance

WebAssembly is Key to Better LLM Performance

Samy Fodil

Google I/O Extended 2024 Warsaw

GDSC PJATK

Where to Learn More About FDO _ Richard at FIDO Alliance.pdf

FIDO Alliance

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