Abstract
It is, as the state space explosion problem indicates, not uncommon that tremendous complexity and size of a system would annoyingly quiver the performance of discrete state-based modeling formalisms. The past few years, however, have inspiringly witnessed a brand new PEPA-based strategy offering a feasible solution against such disturbing puzzle. Via PEPA, a family of ordinary differential equations (ODEs) is figured out as continuous state space approximation. This paper establishes some significant properties for the fluid approximation of a PEPA model, including the existence, uniqueness, boundedness and convergence of the derived ODEs solution.
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
References
Hillston J (1996) A compositional approach to performance modelling, PhD Thesis, Cambridge University Press
Bernardo M, Gorrieri R (1998) A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theor. Comput. Sci. 202:1–54
Götz N, Herzog U, Rettelbach M (1992) TIPP—a language for timed processes and performance evaluation. Technical report, 4/92, IMMD7, University of Erlangen-Nörnberg, Germany, November 1992
Hillston J (2005) Fluid flow approximation of PEPA models. In: International conference on the quantitative evaluation of systems (QEST’05). IEEE Computer Society
Benoit A, Cole M, Gilmore S, Hillston J (2005) Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. In: Proceedings of the first internatial workshop on grid performability, May 2005
Calder M, Gilmore S, Hillston J (2006) Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Lecture Notes in Computer Science, vol 4230, pp 1–23. Springer (2006)
Ding J, Hillston J, Laurenson D (2009) Performance modelling of content adaptation for a personal distributed environment. Wirel Pers Commun 48:93–112
Ding J, Zhu XS, Li B (2012) On the fluid approximation of a PEPA model. J Comput Inf Syst 8(22):9259–9267
Ding J (2015) Structural and fluid analysis of large scale PEPA models—with applications to content adaptation systems. Ph.D. thesis, The Univeristy of Edinburgh (2010). http://www.dcs.ed.ac.uk/pepa/jie-ding-thesis.pdf, Accessed 16 June 2015
Clark A, Duguid A, Gilmore S, Hillston J (2008) Espresso, a little coffee. In: Proceedings of the 7th workshop on process algebra and stochastically timed acitvities (2008)
Hubbard JH, West BH (1990) Differential equations: a dynamical systems approach (higher-dimensional systems). No. 18 in Texts in Applied Mathematics, Springer, Berlin (1990)
Acknowledgments
The work is supported by the NSF of China under Grant No. 61472343, and the NSF of Jiangsu Province of China under Grants BK2012683 and BK20140492.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ding, J., Zhu, X., Wang, M. (2016). Fluid Analysis for a PEPA Model. In: Jia, Y., Du, J., Li, H., Zhang, W. (eds) Proceedings of the 2015 Chinese Intelligent Systems Conference. Lecture Notes in Electrical Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48365-7_19
Download citation
DOI: https://doi.org/10.1007/978-3-662-48365-7_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-48363-3
Online ISBN: 978-3-662-48365-7
eBook Packages: EngineeringEngineering (R0)