TY  - CHAP
T2  - Trustworthy Global Computing
Y1  - 2008///
UR  - http://dx.doi.org/10.1007/978-3-540-78663-4_15
A1  - Bravetti, Mario
A1  - Gilmore, Stephen
A1  - Guidi, Claudio
A1  - Tribastone, Mirco
PB  - Springer
EP  - 221
ID  - eprints2562
T3  - Lecture Notes in Computer Science
N2  - 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.
TI  - Replicating web services for scalability
SP  - 204
AV  - none
N1  - Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
SN  - 978-3-540-78663-4
ER  -