TY  - CHAP
T3  - Lecture Notes in Computer Science
N2  - 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.
SP  - 296
SN  - 978-3-642-01918-0
PB  - Springer
A1  - Clark, Allan
A1  - Gilmore, Stephen
A1  - Tribastone, Mirco
UR  - http://dx.doi.org/10.1007/978-3-642-01918-0_8
Y1  - 2009///
AV  - none
TI  - Quantitative analysis of web services using SRMC
T2  - Formal Methods for Web Services
EP  - 339
ID  - eprints2596
N1  - 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
ER  -