%I Springer
%P 1-24
%T ASCENS: engineering autonomic service-component ensembles
%L eprints2582
%A Martin Wirsing
%A Matthias H?lzl
%A Mirco Tribastone
%A Franco Zambonelli
%B Formal Methods for Components and Objects
%X Today?s developers often face the demanding task of developing software for ensembles: systems with massive numbers of nodes, operating in open and non-deterministic environments with complex interactions, and the need to dynamically adapt to new requirements, technologies or environmental conditions without redeployment and without interruption of the system?s functionality. Conventional development approaches and languages do not provide adequate support for the problems posed by this challenge. The goal of the ASCENS project is to develop a coherent, integrated set of methods and tools to build software for ensembles. To this end we research foundational issues that arise during the development of these kinds of systems, and we build mathematical models that address them. Based on these theories we design a family of languages for engineering ensembles, formal methods that can handle the size, complexity and adaptivity required by ensembles, and software-development methods that provide guidance for developers. In this paper we provide an overview of several research areas of ASCENS: the SOTA approach to ensemble engineering and the underlying formal model called GEM, formal notions of adaptation and awareness, the SCEL language, quantitative analysis of ensembles, and finally software-engineering methods for ensembles.
%S Lecture notes in computer science
%D 2013
%R 10.1007/978-3-642-35887-6_1
%N 7542
%O 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers