TY - CHAP T2 - Rigorous Software Engineering for Service-Oriented Systems PB - Springer Y1 - 2011/// A1 - Tribastone, Mirco A1 - Gilmore, Stephen UR - http://dx.doi.org/10.1007/978-3-642-20401-2_23 N2 - The fluid interpretation of the process calculus PEPA provides a very useful tool for the performance evaluation of large-scale systems because the tractability of the numerical solution does not depend upon the population levels of the system under study. This paper offers a tutorial on how to use this technique by analysing a case study of a service-oriented application to support an e-University infrastructure. T3 - Lecture Notes in Computer Science TI - Scaling performance analysis using fluid-flow approximation SP - 486 EP - 505 ID - eprints2597 SN - 978-3-642-20401-2 AV - none N1 - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing ER -