@inproceedings{bcb424054c4146fd97268a1c0725463b,
title = "Quantitative Analysis of Web Services Using SRMC",
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.",
author = "Allan Clark and Stephen Gilmore and Mirco Tribastone",
year = "2009",
doi = "10.1007/978-3-642-01918-0_8",
language = "English",
isbn = "978-3-642-01917-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "296--339",
editor = "Marco Bernardo and Luca Padovani and Gianluigi Zavattaro",
booktitle = "Formal Methods for Web Services",
address = "United Kingdom",
}