Quantified abstract configurations of distributed systems
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605516316 | ||
| 003 | CHVBK | ||
| 005 | 20210128100713.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150701xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s00165-014-0321-z |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s00165-014-0321-z | ||
| 245 | 0 | 0 | |a Quantified abstract configurations of distributed systems |h [Elektronische Daten] |c [Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez] |
| 520 | 3 | |a When reasoning about distributed systems, it is essential to have information about the different kinds of nodes that compose the system, how many instances of each kind exist, and how nodes communicate with other nodes. In this paper we present a static-analysis-based approach which is able to provide information about the questions above. In order to cope with an unbounded number of nodes and an unbounded number of calls among them, the analysis performs an abstraction of the system producing a graph whose nodes may represent (infinitely) many concrete nodes and arcs represent any number of (infinitely) many calls among nodes. The crux of our approach is that the abstraction is enriched with upper bounds inferred by resource analysis that limit the number of concrete instances that the nodes and arcs represent and their resource consumption. The information available in our quantified abstract configurations allows us to define performance indicators which measure the quality of the system. In particular, we present several indicators that assess the level of distribution in the system, the amount of communication among distributed nodes that it requires, and how balanced the load of the distributed nodes that compose the system is. Our performance indicators are given as functions on the input data sizes, and they can be used to automate the comparison of different distributed settings and guide towards finding the optimal configuration. | |
| 540 | |a British Computer Society, 2014 | ||
| 690 | 7 | |a Static analysis |2 nationallicence | |
| 690 | 7 | |a Cost analysis |2 nationallicence | |
| 690 | 7 | |a Distributed systems |2 nationallicence | |
| 700 | 1 | |a Albert |D Elvira |u Departamento Sistemas Informáticos y Computación (DSIC), Facultad de Informática, Universidad Complutense de Madrid, C/Prof. José García Santesmases, s/n, 28040, Madrid, Spain |4 aut | |
| 700 | 1 | |a Correas |D Jesús |u Departamento Sistemas Informáticos y Computación (DSIC), Facultad de Informática, Universidad Complutense de Madrid, C/Prof. José García Santesmases, s/n, 28040, Madrid, Spain |4 aut | |
| 700 | 1 | |a Puebla |D Germán |u Campus de Montegancedo, 28660, Boadilla del Monte, Madrid, España |4 aut | |
| 700 | 1 | |a Román-Díez |D Guillermo |u Campus de Montegancedo, 28660, Boadilla del Monte, Madrid, España |4 aut | |
| 773 | 0 | |t Formal Aspects of Computing |d Springer London |g 27/4(2015-07-01), 665-699 |x 0934-5043 |q 27:4<665 |1 2015 |2 27 |o 165 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s00165-014-0321-z |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s00165-014-0321-z |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Albert |D Elvira |u Departamento Sistemas Informáticos y Computación (DSIC), Facultad de Informática, Universidad Complutense de Madrid, C/Prof. José García Santesmases, s/n, 28040, Madrid, Spain |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Correas |D Jesús |u Departamento Sistemas Informáticos y Computación (DSIC), Facultad de Informática, Universidad Complutense de Madrid, C/Prof. José García Santesmases, s/n, 28040, Madrid, Spain |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Puebla |D Germán |u Campus de Montegancedo, 28660, Boadilla del Monte, Madrid, España |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Román-Díez |D Guillermo |u Campus de Montegancedo, 28660, Boadilla del Monte, Madrid, España |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Formal Aspects of Computing |d Springer London |g 27/4(2015-07-01), 665-699 |x 0934-5043 |q 27:4<665 |1 2015 |2 27 |o 165 | ||