Performance Evaluation for Global Computation

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.

[1]  Jeremy T. Bradley,et al.  Reliable Performance Modelling with Approximate Synchronisations , 1999 .

[2]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[3]  Stephen Gilmore,et al.  An enhanced operational semantics for PEPA nets , 2002 .

[4]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[5]  Ramon Puigjaner,et al.  Computer Performance Evaluation , 2000, Lecture Notes in Computer Science.

[6]  Stephen Gilmore,et al.  A stochastic π-calculus semantics for PEPA nets , 2002 .

[7]  Corrado Priami.  Language-based Performance Prediction for Distributed and Mobile Systems , 2002, Inf. Comput..

[8]  Stephen Gilmore,et al.  Mapping coloured stochastic Petri nets to stochastic process algebras , 2003 .

[9]  Corrado Priami,et al.  A tool for quantitative analysis of calculus processes , 2000, ICALP Satellite Workshops.

[10]  Corrado Priami,et al.  Enhanced operational semantics: a tool for describing and analyzing concurrent systems , 2001, CSUR.

[11]  Stephen Gilmore,et al.  An Efficient Algorithm for Aggregating PEPA Models , 2001, IEEE Trans. Software Eng..

[12]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[13]  Corrado Priami,et al.  Non-Interleaving Semantics for Mobile Processes , 1999, Theor. Comput. Sci..

[14]  Graham Clark Jane Hillston.  Towards Automatic Derivation of Performance Measures from PEPA Models , 1996 .

[15]  Stephen Gilmore,et al.  PEPA nets: a structured performance modelling formalism , 2002, Perform. Evaluation.

[16]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[17]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[18]  Kim G. Larsen,et al.  Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[19]  Corrado Priami,et al.  Stochastic pi-Calculus , 1995, Comput. J..

[20]  J. Hillston.  The nature of synchronisation , 1994 .

[21]  Jane Hillston,et al.  From SAN to PEPA: A technology transfer , 2002 .

[22]  Corrado Priami,et al.  Performance Evaluation of Mobile Processes via Abstract Machines , 2001, IEEE Trans. Software Eng..