@incollection{eprints2596,
          author = {Allan Clark and Stephen Gilmore and Mirco Tribastone},
            note = {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},
       publisher = {Springer},
       booktitle = {Formal Methods for Web Services},
          number = {5569},
           pages = {296--339},
            year = {2009},
          series = {Lecture Notes in Computer Science},
           title = {Quantitative analysis of web services using SRMC},
             url = {http://eprints.imtlucca.it/2596/},
        abstract = {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.}
}