Replicating Web Services for Scalability

Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone

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


Web service instances are often replicated to allow service provision to scale to support larger population sizes of users. However, such systems are difficult to analyse because the scale and complexity inherent in the system itself poses challenges for accurate qualitative or quantitative modelling. We use two process calculi cooperatively in the analysis of an example Web service replicated across many servers. The SOCK calculus is used to model service-oriented aspects closely and the PEPA calculus is used to analyse the performance of the system under increasing load.
Original languageEnglish
Title of host publicationTrustworthy Global Computing
Subtitle of host publicationThird Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
EditorsGilles Barthe, Cédric Fournet
PublisherSpringer-Verlag GmbH
Number of pages18
ISBN (Electronic)978-3-540-78663-4
ISBN (Print)978-3-540-78662-7
Publication statusPublished - 2008

Publication series

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


Dive into the research topics of 'Replicating Web Services for Scalability'. Together they form a unique fingerprint.

Cite this