<p>Constructing and executing distributed systems that can automatically adapt to the dynamic changes of the environment are highly complex tasks. Non-trivial challenges include provisioning of efficient design time and run time representations, system validation to ensure safe adaptation of interdependent components, and handling of possible combinatorial explosions of adaptive system artefacts such as configurations, variant dependencies and adaptation rules. These are all challenges where current approaches offer only partial solutions. Furthermore, existing technologies are typically only provided at the implementation level which makes them complex to use.
<br />
<br />This deliverable describes the first version of the model transformation framework in Work Package 2. As stated in the DoW the objective of WP2 is to develop a domain-specific language for adaptive system specifications, and a composition and transformation framework. The first phase of the project has mainly focused on the former part (the domain specific language for adaptive system specifications) and is described in this deliverable. The composition and transformation framework part of WP2 will be the focus in the second phase of DiVA.
<br />
<br />This deliverable consists of three parts. The main part is the tools and metamodels developed so far. The second part is video tutorials showing the usage of these tools, while the third part is this document.
<br />
<br />This document presents the domain-specific modelling language for adaptive system specification and the tools that support specification, model checking and design time simulation of the adaptation model of adaptive systems. The proposed approach combines aspect-oriented and model-driven principles to cope with the combinatorial explosion and provide model level representations of variants, context variables and adaptation rules. An open source Eclipse-based editor has been developed to support system specification according to the meta-model. Based on the implemented adaptation meta-model, model checking and simulation facilities are provided to prepare for safe adaptation. At runtime the adaptation models are used to drive the adaptation. The approach is validated through case studies.</p>