Abstract
Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to software developers and synchronisation, scheduling and performance problems come to the fore. Complex systems such as these can benefit from the application of high-level performance analysis methods founded on timed process algebras. In this paper we compare the use of two such approaches, the PEPA nets and EOS methods, illustrating our presentation with the example of modelling Web services.
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., Davies, N.: Reliable performance modelling with approximate synchronisations. In: Proceedings of the 7th International Workshop on Process Algebra and Performance Modelling (PAPM 1999), September 1999, pp. 99–118, Prensas Universitarias de Zaragoza (1999)
Brodo, L., Gilmore, S., Hillston, J., Priami, C.: A stochastic π-calculus semantics for PEPA nets. In: Proceedings of the workshop on Process Algebras and Stochastically Timed Activities (PASTA), Edinburgh, Scotland, June 2002, pp. 1–17 (2002)
Brodo, L., Gilmore, S., Hillston, J., Priami, C.: Mapping coloured stochastic Petri nets to stochastic process algebras. In: Kemper, P. (ed.) Proceedings of the ICALP Workshop on Stochastic Petri nets (June 2003) (to appear)
Clark, G., Hillston, J.: Towards automatic derivation of performance measures from PEPA models. In: Proceedings of UKPEW (1996)
Degano, P., Priami, C.: Non-interleaving semantics for mobile processes. TCS: Theoretical Computer Science 216 (1999)
Degano, P., Priami, C.: Enhanced operational semantics: a tool for describing and analyzing concurrent systems. ACM Computing Surveys 33(2), 135–176 (2001)
Gilmore, S., Hillston, J.: An enhanced operational semantics for PEPA nets. DEGAS project internal document (May 2002)
Gilmore, S., Hillston, J., Ribaudo, M.: An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering 27(5), 449–464 (2001)
Gilmore, S., Hillston, J., Ribaudo, M.: PEPA nets: A structured performance modelling formalism. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 111–130. Springer, Heidelberg (2002)
Hillston, J.: The nature of synchronisation. In: Herzog, U., Rettelbach, M. (eds.) Proceedings of the Second International Workshop on Process Algebras and Performance Modelling, Erlangen, November 1994, pp. 51–70 (1994)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
Hillston, J., Kloul, L.: Formal techniques for performance analysis: blending SAN and PEPA (2002) (submitted for publication)
Hillston, J., Kloul, L.: From SAN to PEPA: A technology transfer. In: Proceedings of the workshop on Process Algebras and Stochastically Timed Activities (PASTA), Edinburgh, Scotland, June 2002, pp. 56–76 (2002)
Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Information. Information and Computation 94(1), 1–28 (1991)
Milner, R.: Communicating and Mobile Systems: The π Calculus. Cambridge University Press, Cambridge (1999)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation 100(1), 1–77 (1992)
Nottegar, C., Priami, C., Degano, P.: Performance evaluation of mobile processes via abstract machines. IEEE Transactions on Software Engineering 27(10), 867–889 (2001)
Priami, C.: Stochastic π-calculus. In: Gilmore, S., Hillston, J. (eds.) Proceedings of the Third International Workshop on Process Algebras and Performance Modelling, pp. 578–589; Special Issue of The Computer Journal 38(7) (December 1995)
Priami, C.: Language-based performance prediction for distributed and mobile systems. Information and Computation 175(2), 119–145 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brodo, L., Degano, P., Gilmore, S., Hillston, J., Priami, C. (2003). Performance Evaluation for Global Computation. In: Priami, C. (eds) Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. GC 2003. Lecture Notes in Computer Science, vol 2874. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40042-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-40042-4_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20583-8
Online ISBN: 978-3-540-40042-4
eBook Packages: Springer Book Archive