eprintid: 2596
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/25/96
datestamp: 2015-02-11 13:40:30
lastmod: 2015-02-11 13:40:30
status_changed: 2015-02-11 13:40:30
type: book_section
metadata_visibility: show
creators_name: Clark, Allan
creators_name: Gilmore, Stephen
creators_name: Tribastone, Mirco
creators_id: 
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
title: Quantitative analysis of web services using SRMC
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 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
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.
date: 2009
series: Lecture Notes in Computer Science
number: 5569
publisher: Springer
pagerange: 296-339
id_number: 10.1007/978-3-642-01918-0_8
refereed: TRUE
isbn: 978-3-642-01918-0
book_title: Formal Methods for Web Services
official_url: http://dx.doi.org/10.1007/978-3-642-01918-0_8
citation:   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)