relation: http://eprints.imtlucca.it/2572/
title: Scalable analysis of scalable systems
creator: Clark, Allan
creator: Gilmore, Stephen
creator: Tribastone, Mirco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
date: 2009
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-642-00593-0_1
relation: 10.1007/978-3-642-00593-0_1