Abstract
Capacity planning is concerned with the provisioning of systems in order to ensure that they meet the demand or performance requirements of users. Currently for PEPA models, a modeller who wishes to solve a capacity planning problem has to either carry out a manual search for an optimal configuration or work outside the provided tool suite. We present a new extension to the Eclipse Plug-in for PEPA which integrates automated capacity planning into the functionality of the tool, thus allowing optimal configurations of large scale PEPA models to be found.
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.
Similar content being viewed by others
References
Hillston, J., Tribastone, M., Gilmore, S.: Stochastic Process Algebras: From Individuals to Populations. Computer Journal 55(7), 866–881 (2012)
Marco, D., Cairns, D., Shankland, C.: Optimisation of process algebra models using evolutionary computation. In: IEEE Congress on Evolutionary Computation, pp. 1296–1301 (2011)
Marco, D., Scott, E., Cairns, D., Graham, A., Allen, J., Mahajan, S., Shankland, C.: Investigating co-infection dynamics through evolution of Bio-PEPA model parameters: A combined process algebra and evolutionary computing approach. In: Gilbert, D., Heiner, M. (eds.) CMSB 2012. LNCS, vol. 7605, pp. 227–246. Springer, Heidelberg (2012)
Karaman, S., Shima, T., Frazzoli, E.: A process algebra genetic algorithm. IEEE Transactions on Evolutionary Computation 16(4), 489–503 (2012)
Geisweiller, N.: Finding the Most Likely Values inside a PEPA Model According to Partially Observable Executions. PhD thesis, LAAS (2006)
Cerotti, D., Gribaudo, M., Piazzolla, P., Serazzi, G.: Asymptotic behaviour and performance constraints of replication policies. In: Proceedings of PASM 2014 (2014)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press (2005)
Tribastone, M., Gilmore, S., Hillston, J.: Scalable differential analysis of process algebra models. IEEE Transactions on Software Engineering 38(1), 205–219 (2012)
Tribastone, M., Duguid, A., Gilmore, S.: The PEPA Eclipse Plugin. Performance Evaluation Review 36(4), 28 (2009)
Poli, R., Kennedy, J., Blackwell, T.: Particle swarm optimization; an overview. Swarm Intelligence (1), 33 (2007)
Luke, S.: Essentials of metaheuristics, Lulu (2011)
Williams, C.: A capacity planning tool for PEPA. Master’s thesis, School of Informatics, University of Edinburgh (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Williams, C.D., Hillston, J. (2014). Automated Capacity Planning for PEPA Models. In: Horváth, A., Wolter, K. (eds) Computer Performance Engineering. EPEW 2014. Lecture Notes in Computer Science, vol 8721. Springer, Cham. https://doi.org/10.1007/978-3-319-10885-8_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-10885-8_15
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10884-1
Online ISBN: 978-3-319-10885-8
eBook Packages: Computer ScienceComputer Science (R0)