Quantitative Analysis of Web Services Using SRMC

Allan Clark, Stephen Gilmore, Mirco Tribastone

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationFormal Methods for Web Services
Subtitle of host publication9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
EditorsMarco Bernardo, Luca Padovani, Gianluigi Zavattaro
PublisherSpringer-Verlag GmbH
Number of pages44
ISBN (Electronic)978-3-642-01918-0
ISBN (Print)978-3-642-01917-3
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Quantitative Analysis of Web Services Using SRMC'. Together they form a unique fingerprint.

Cite this