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)
Full text not available from this repository.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | https://doi.org/10.1007/978-3-642-35887-6_1 |
| Additional Information: | 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Ms T. Iannizzi |
| Date Deposited: | 09 Feb 2015 11:09 |
| Last Modified: | 09 Feb 2015 11:09 |
| URI: | http://eprints.imtlucca.it/id/eprint/2582 |
Actions (login required)
 |
Edit Item |
