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.
CITATION STYLE
Clark, A., Gilmore, S., & Tribastone, M. (2009). Scalable analysis of scalable systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5503, pp. 1–17). https://doi.org/10.1007/978-3-642-00593-0_1
Mendeley helps you to discover research relevant for your work.