relation: http://eprints.imtlucca.it/2596/
title: Quantitative analysis of web services using SRMC
creator: Clark, Allan
creator: Gilmore, Stephen
creator: Tribastone, Mirco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
date: 2009
type: Book Section
type: PeerReviewed
identifier:   Clark, Allan and Gilmore, Stephen and Tribastone, Mirco  Quantitative analysis of web services using SRMC.   In:  Formal Methods for Web Services.   Lecture Notes in Computer Science  (5569).  Springer, pp. 296-339.  ISBN 978-3-642-01918-0      (2009)  
relation: http://dx.doi.org/10.1007/978-3-642-01918-0_8
relation: 10.1007/978-3-642-01918-0_8