Event-driven Adaptation in COP

Context-Oriented Programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented language with two-components: a declarative constituent for programming the context and a functional one for computing. This paper describes an extension of ML_CoDa to deal with adaptation to unpredictable context changes notified by asynchronous events.Comment: In Proceedings PLACES 2016, arXiv:1606.0540

Review of the Learning Alliance for Adaptation in Smallholder Agriculture

The Learning Alliance for Adaptation in Smallholder Agriculture is a knowledge platform which leverages the strengths, opportunities and diverse audiences of the International Fund for Agriculture (IFAD) and the CGIAR Research Program on Climate Change, Agriculture and Food Security (CCAFS). The objective of the Learning Alliance is to produce and disseminate evidence for informed policy and implementation of climate-smart agriculture (CSA) interventions by capturing, analyzing and communicating lessons emerging from the IFAD supported global Adaptation in Smallholder Agriculture Programme (ASAP). The Learning Alliance strives to enable agricultural development policy-makers and practitioners make science-based decisions in the context of climate change. The underlying assumption of the Learning Alliance is that the “provision of demand-driven research outputs to policy-makers and practitioners is a key mechanism for improving the effectiveness of adaptation actions among ultimate beneficiaries, in this case smallholder farmers”. The review aims to identify areas for improvement to achieve the planned outcomes of the Learning Alliance more effectively. It provides recommendations to inform a further phase, based on the experience of those closely involved in the knowledge production and implementation of the Alliance

A Context-Oriented Extension of F#

Context-Oriented programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented language with two-components: a declarative constituent for programming the context and a functional one for computing. This paper describes the implementation of ML_CoDa as an extension of F#.Comment: In Proceedings FOCLASA 2015, arXiv:1512.0694

Staying on Track from Paris: Advancing the Key Elements of the Paris Agreement

The Paris Agreement adopted in December 2015 provides essential building blocks for universal action to address climate change. Now, much work is needed to breathe life into the provisions and commitments of the Agreement in order to realize the globally agreed vision to limit temperature rise, build the ability to adapt to climate impacts, and align financial flows toward zerocarbon and climate-resilient development. The Parties to the United Nations Framework Convention on Climate Change (UNFCCC) must continue to cooperate effectively to unpack and clarify the key tasks and activities outlined in the Agreement in order to provide a well-defined pathway to implementation. This paper takes an in-depth look at the Paris Agreement, highlighting important outcomes and the tasks and activities that now need to be undertaken to elaborate and develop the critical rules and processes under the Agreement. Ensuring that these rules and processes are strong and effective will be essential to promoting ambitious climate action and accelerating it in the coming years

Modeling adaptation with a tuple-based coordination language

In recent years, it has been argued that systems and applications, in order to deal with their increasing complexity, should be able to adapt their behavior according to new requirements or environment conditions. In this paper, we present a preliminary investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and usage of the mechanisms and techniques for adaptation currently proposed in the literature. Our study relies on the formal coordination language Klaim as a common framework for modeling some adaptation techniques, namely the MAPE-K loop, aspect- and context-oriented programming

Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems

An increasingly important requirement for certain classes of software-intensive systems is the ability to self-adapt their structure and behavior at run-time when reacting to changes that may occur to the system, its environment, or its goals. A major challenge related to self-adaptive software systems is the ability to provide assurances of their resilience when facing changes. Since in these systems, the components that act as controllers of a target system incorporate highly complex software, there is the need to analyze the impact that controller failures might have on the services delivered by the system. In this paper, we present a novel approach for evaluating the resilience of self-adaptive software systems by applying robustness testing techniques to the controller to uncover failures that can affect system resilience. The approach for evaluating resilience, which is based on probabilistic model checking, quantifies the probability of satisfaction of system properties when the target system is subject to controller failures. The feasibility of the proposed approach is evaluated in the context of an industrial middleware system used to monitor and manage highly populated networks of devices, which was implemented using the Rainbow framework for architecture-based self-adaptation

Responding to Climate Change: The Economy and Economics - Part of the Problem and Solution

The Climate Change Starter’s Guide provides an introduction and overview for education planners and practitioners on the wide range of issues relating to climate change and climate change education, including causes, impacts, mitigation and adaptation strategies, as well as some broad political and economic principles. The aim of this guide is to serve as a starting point for mainstreaming climate change education into school curricula. It has been created to enable education planners and practitioners to understand the issues at hand, to review and analyse their relevance to particular national and local contexts, and to facilitate the development of education policies, curricula, programmes and lesson plans. The guide covers four major thematic areas: 1. the science of climate change, which explains the causes and observed changes; 2. the social and human aspects of climate change including gender, health, migration, poverty and ethics; 3. policy responses to climate change including measures for mitigation and adaptation; and 4. education approaches including education for sustainable development, disaster reduction and sustainable lifestyles. A selection of key resources in the form of publication titles or websites for further reading is provided after each of the thematic sections