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.
This work has been partially sponsored by the project Sensoria, IST-2005-016004.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Buchholz, P.: Exact and Ordinary Lumpability in Finite Markov Chains. Journal of Applied Probability 31, 59–75 (1994)
Deavours, D.D., Sanders, W.H.: An Efficient Disk-Based Tool for Solving Large Markov Models. Perform. Eval. 33, 67–84 (1998)
Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure Markov processes. J. Appl. Prob. 7, 49–58 (1970)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
Gilmore, S., Hillston, J., Ribaudo, M.: An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering 27, 449–464 (2001)
Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, pp. 33–43. IEEE Computer Society Press, Los Alamitos (2005)
Bradley, J., Gilmore, S., Hillston, J.: Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models. Journal of Computer and System Sciences 74, 1013–1032 (2008)
Ding, J., Hillston, J.: Convergence of the Fluid Approximation of PEPA Models. In: Seventh Workshop on Process Algebra and Stochastically Timed Activities (PASTA), Edinburgh, UK (2008)
Hayden, R., Bradley, J.T.: Fluid semantics for passive stochastic process algebra cooperation. In: VALUETOOLS 2008 (September 2008)
Cardelli, L.: On process rate semantics. Theor. Comput. Sci. 391, 190–215 (2008)
Bortolussi, L., Policriti, A.: Stochastic concurrent constraint programming and differential equations. Electr. Notes Theor. Comput. Sci. 190, 27–42 (2007)
Hölzl, M.: Requirements Modelling and Analysis of Selected Scenarios. SENSORIA Deliverable 8.4.a (2007)
Little, J.: A Proof of the Queuing Formula: L = λ W. Operations Research 9, 383–387 (1961)
Clark, A., Duguid, A., Gilmore, S., Hillston, J.: Espresso, a Little Coffee. In: Process Algebra and Stochastically Timed Activities (PASTA), Edinburgh, UK (2008)
Tribastone, M., Duguid, A., Gilmore, S.: The PEPA Eclipse Plug-in. Performance Evaluation Review 36, 28–33 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Tribastone, M., Gilmore, S. (2011). Scaling Performance Analysis Using Fluid-Flow Approximation. In: Wirsing, M., Hölzl, M. (eds) Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science, vol 6582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20401-2_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-20401-2_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20400-5
Online ISBN: 978-3-642-20401-2
eBook Packages: Computer ScienceComputer Science (R0)