%0 Book Section %A Clark, Allan %A Gilmore, Stephen %A Tribastone, Mirco %B Formal Methods for Web Services %D 2009 %F eprints:2596 %I Springer %N 5569 %P 296-339 %S Lecture Notes in Computer Science %T Quantitative analysis of web services using SRMC %U http://eprints.imtlucca.it/2596/ %X In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serve a larger pool of service subscribers. We use a process calculus called SRMC to model the service. We apply efficient analysis techniques to numerically evaluate our model. The process calculus and the numerical analysis are supported by a set of software tools which relieve the modeller of the burden of generating and evaluating a large family of related models. The methods are illustrated on a classical example of Web Service usage in a business-to-business scenario. %Z 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures