@incollection{eprints2597, pages = {486--505}, number = {6582}, series = {Lecture Notes in Computer Science}, title = {Scaling performance analysis using fluid-flow approximation}, year = {2011}, publisher = {Springer}, note = {Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing}, author = {Mirco Tribastone and Stephen Gilmore}, booktitle = {Rigorous Software Engineering for Service-Oriented Systems}, url = {http://eprints.imtlucca.it/2597/}, abstract = {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.} }