Abstract
In this paper we consider two very different case studies explored using scalable analysis techniques and stochastic process algebra. The first case study is a classical computer science problem: determining the efficiency of two non-repudiation protocols. We use PEPA to specify the model derived from the protocol specification and mean value analysis and fluid approximation to derive the desired metrics. In the second case study we model a human-centric system, concerning patient flow through a hospital clinic. The model is derived from the clinic practice and observed takt times are used to populate the model. We use PEPA and fluid approximations to derive measures. The two case studies demonstrate the power and versatility of the modelling and analysis approaches used.
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
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press (1996)
Hillston, J.: Exploiting Structure in Solution: Decomposing Compositional Models. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol. 2090, pp. 278–314. Springer, Heidelberg (2001)
Hillston, J., Thomas, N.: Product form solution for a class of PEPA models. Performance Evaluation 35(3-4), 171–192 (1999)
Hillston, J., Thomas, N.: A syntactic analysis of reversible PEPA processes. In: Proceedings of the 6th International Workshop on Process Algebra and Performance Modelling, Nice (1998)
Harrison, P.G.: Turning back time in Markovian process algebra. Theoretical Computer Science 290, 1947–1986 (2003)
Harrison, P.G., Thomas, N.: Product-Form Solution in PEPA via the Reversed Process. In: Kouvatsos, D.D. (ed.) Next Generation Internet. LNCS, vol. 5233, pp. 343–356. Springer, Heidelberg (2011)
Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of QEST 2005, pp. 33–43. IEEE Computer Society (2005)
Hayden, R., Bradley, J.: A fluid analysis framework for a Markovian process algebra. Theoretical Computer Science 411(22-24), 2260–2297 (2010)
Zhao, Y., Thomas, N.: Approximate Solution of a PEPA Model of a Key Distribution Centre. In: Kounev, S., Gorton, I., Sachs, K. (eds.) SIPEW 2008. LNCS, vol. 5119, pp. 44–57. Springer, Heidelberg (2008)
Thomas, N., Zhao, Y.: Fluid flow analysis of a model of a secure key distribution centre. In: Proceedings of the 24th UK Performance Engineering Workshop. Imperial College, London (2008)
Zhao, Y., Thomas, N.: Efficient solution of a PEPA model of a key distribution centre. Performance Evaluation 67(8), 740–756 (2010)
Thomas, N., Bradley, J.: Terminating processes in PEPA. In: Proceeding of the 17th UK Performance Engineering Workshop, University of Leeds (2001)
Clark, A., Duguid, A., Gilmore, S., Tribastone, M.: Partial Evaluation of PEPA Models for Fluid-Flow Analysis. In: Thomas, N., Juiz, C. (eds.) EPEW 2008. LNCS, vol. 5261, pp. 2–16. Springer, Heidelberg (2008)
Zhou, J., Gollmann, D.: A Fair Non-repudiation Protocol. In: Proceedings of IEEE Symposium on Security and Privacy (SP 1996). IEEE Computer Society (1996)
Zhou, J., Gollmann, D.: Observation on Non-repudiation. In: Kim, K.-C., Matsumoto, T. (eds.) ASIACRYPT 1996. LNCS, vol. 1163, pp. 133–144. Springer, Heidelberg (1996)
Thomas, N.: Using ODEs from PEPA models to derive asymptotic solutions for a class of closed queueing networks. In: 8th Worshop on Process Algebra and Stochastically Timed Activities, University of Edinburgh (2009)
Thomas, N., Zhao, Y.: Mean value analysis for a class of PEPA models. The Computer Journal 54(5), 643–652 (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
Thomas, N., Harrison, M., Zhao, Y., Chen, X. (2013). Formal Performance Modelling: From Protocols to People. 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_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-36781-6_9
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)