Abstract
Fluid flow approximation allows efficient analysis of large scale PEPA models. Given a model, this method outputs how the mean, variance, and any other moment of the model’s stochastic behaviour evolves as a function of time. We investigate whether the method’s results, i.e. moments of the behaviour, are sufficient to capture system’s actual dynamics.
We ran a series of experiments on a client-server model. For some parametrizations of the model, the model’s behaviour can accurately be characterized by the fluid flow approximations of its moments. However, the experiments show that for some other parametrizations, these moments are not sufficient to capture the model’s behaviour, highlighting a pitfall of relying only on the results of fluid flow analysis. The results suggest that the sufficiency of the fluid flow method for the analysis of a model depends on the model’s concrete parametrization. They also make it clear that the existing criteria for deciding on the sufficiency of the fluid flow method are not robust.
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
Bradley, J.T., Gilmore, S., Hillston, J.: Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci. 74(6), 1013–1032 (2008)
Harrison, M.D., Massink, M., Latella, D.: Engineering crowd interaction within smart environments. In: Proc. of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2009, pp. 117–122. ACM, USA (2009)
Wang, H., Laurenson, D., Hillston, J.: PEPA analysis of MAP effects in hierarchical mobile IPv6. In: Proc. 15th Int. Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2007, pp. 337–342. IEEE Computer Society (2007)
Ding, J., Hillston, J., Laurenson, D.: Performance modelling of content adaptation for a personal distributed environment. Wirel. Pers. Commun. 48(1), 93–112 (2009)
Hillston, J.: Fluid flow approximation of PEPA models. In: 2nd Int. Conf. on the Quantitative Evaluation of Systems, pp. 33–42 (September 2005)
Hayden, R., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. Theoretical Computer Science 411(22-24), 2260–2297 (2010)
Stefanek, A., Hayden, R., Bradley, J.T.: Hybrid analysis of large scale PEPA models. In: 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010) (September 2010)
Bortolussi, L., Galpin, V., Hillston, J., Tribastone, M.: Hybrid semantics for PEPA. In: 7th Int. Conf. on the Quantitative Evaluation of Systems (QEST), pp. 181–190 (September 2010)
Hillston, J.: A compositional approach to performance modelling. Cambridge University Press (1996)
Tribastone, M., Gilmore, S., Hillston, J.: Scalable differential analysis of process algebra models. IEEE Trans. on Software Engineering 38(1), 205–219 (2012)
Cao, Y., Petzold, L.: Accuracy limitations and the measurement of errors in the stochastic simulation of chemically reacting systems. Journal of Computational Physics 212(1), 6–24 (2006)
Tribastone, M., Duguid, A., Gilmore, S.: The PEPA eclipse plugin. SIGMETRICS Perform. Eval. Rev. 36(4), 28–33 (2009)
Stefanek, A., Hayden, R., Bradley, J.T.: GPA - a tool for fluid scalability analysis of massively parallel systems. In: Proc. 8th Int. Conf. on Quantitative Evaluation of SysTems, QEST 2011, pp. 147–148. IEEE Computer Society (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pourranjbar, A., Hillston, J., Bortolussi, L. (2013). Don’t Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation. In: Tribastone, M., Gilmore, S. (eds) Computer Performance Engineering. EPEW UKPEW 2012 2012. Lecture Notes in Computer Science, vol 7587. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36781-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-36781-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36780-9
Online ISBN: 978-3-642-36781-6
eBook Packages: Computer ScienceComputer Science (R0)