TY  - CHAP
UR  - http://dx.doi.org/10.1007/978-3-642-00593-0_1
M1  - 5503
A1  - Clark, Allan
A1  - Gilmore, Stephen
A1  - Tribastone, Mirco
Y1  - 2009///
AV  - none
N1  - 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
TI  - Scalable analysis of scalable systems
SP  - 1
T3  - Lecture Notes in Computer Science
PB  - Springer
T2  - Fundamental Approaches to Software Engineering
SN  - 978-3-642-00593-0
ID  - eprints2572
EP  - 17
N2  - We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants of this using model transformation. The models are compiled into systems of ordinary differential equations and numerically integrated to predict non-functional properties such as responsiveness and scalability.
ER  -