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.
This is a preview of subscription content, log in via an institution to check access.
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)