Logo eprints

Scalable analysis of scalable systems

Clark, Allan and Gilmore, Stephen and Tribastone, Mirco Scalable analysis of scalable systems. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, 5503 (5503). Springer, pp. 1-17. ISBN 978-3-642-00593-0 (2009)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-642-00593-0_1
Additional Information: 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
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 09:18
Last Modified: 09 Feb 2015 09:19
URI: http://eprints.imtlucca.it/id/eprint/2572

Actions (login required)

Edit Item Edit Item