%T Quantitative analysis of web services using SRMC
%P 296-339
%I Springer
%O 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
%L eprints2596
%D 2009
%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.
%A Allan Clark
%A Stephen Gilmore
%A Mirco Tribastone
%S Lecture Notes in Computer Science
%N 5569
%R 10.1007/978-3-642-01918-0_8
%B Formal Methods for Web Services