Logo eprints

Quantitative analysis of web services using SRMC

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)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-642-01918-0_8
Additional Information: 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
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 11 Feb 2015 13:40
Last Modified: 11 Feb 2015 13:40
URI: http://eprints.imtlucca.it/id/eprint/2596

Actions (login required)

Edit Item Edit Item