eprintid: 2582
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/25/82
datestamp: 2015-02-09 11:09:43
lastmod: 2015-02-09 11:09:43
status_changed: 2015-02-09 11:09:43
type: book_section
metadata_visibility: show
creators_name: Wirsing, Martin
creators_name: Hölzl, Matthias
creators_name: Tribastone, Mirco
creators_name: Zambonelli, Franco
creators_id: 
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
creators_id: 
title: ASCENS: engineering autonomic service-component ensembles
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
abstract: 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.
date: 2013
date_type: published
series: Lecture notes in computer science
number: 7542
publisher: Springer
pagerange: 1-24
id_number: 10.1007/978-3-642-35887-6_1
refereed: TRUE
isbn: 978-3-642-35887-6
book_title: Formal Methods for Components and Objects
official_url: http://dx.doi.org/10.1007/978-3-642-35887-6_1
citation:   Wirsing, Martin and Hölzl, Matthias and Tribastone, Mirco and Zambonelli, Franco  ASCENS: engineering autonomic service-component ensembles.   In:  Formal Methods for Components and Objects.   Lecture notes in computer science  (7542).  Springer, pp. 1-24.  ISBN 978-3-642-35887-6      (2013)