Research Approach and Key Contributions. As reported in D4.1, the first year of activities in WP4 has adopted a very pragmatic approach (Figure 1). This has included (big red circle in Figure 1); • Defining a robust conceptual and operational framework, namely SOTA (“State Of The Affairs”) [ABZ12], that can be used to elicit and rationally represent adaptation requirements. SOTA has also been used as a mean to verify via model-checking, adaptive requirements, and as a mean to elicit and model knowledge requirements. • Exploiting SOTA as a way to more formally categorize self-adaptation patterns SOTA, and to help choosing the most suitable to meet specific requirements among a catalogue of adaptation patterns. Based on the above, during the first year we already started studying a first taxonomy of possible adaptation patterns, as well as the possibility of expressing some of these in terms of SCEL (small red circle in Figure 1). Yet, we delayed the finalization of the pattern catalogue to the second year. During the second year, in line with the approach of the first year, the research activities have included the following activities and key contributions (see the green circles in Figure 2): • We have worked towards integrating and harmonizing the SOTA model with the general en- semble models (GEM) being defined in the context of WP2. Such integration (as described in [WHTZ12]) enables to adopt a single conceptual framework both to model the adaptive require- ments of ensembles and their dynamical properties. • We have completed the catalogue of self-adaptive patterns that we started compiling during the first year. Such catalogue structurally organizes and describes the most commonly adopted architectural patterns for self-adaptive components and ensembles. For each pattern in the xxxx- xxxxx, its key features, the structure of SOTA goals and utilities, and examples of applications, are properly reported. • We have performed extensive experimentations to test the dynamic behavior of such patterns. On the one hand, we have continued working on the robotics simulator to test the behavior and effectiveness of some self-adaptive patterns on specific problems related to the robotics sce- xxxxx. On the other hand, we have built (over the IBM rational software architectural simulator) a simulator for the dynamic behavior of self-adaptive patterns, and have tested it with some patterns applied to the e-mobility case study [AHZ12]. Such simulator will become a software component of our software compon...
