%0 Book Section
%A Gilmore, Stephen
%A Tribastone, Mirco
%B Web services and formal methods
%D 2006
%F eprints:2561
%I Springer
%N 4184
%P 214-226
%S Lecture Notes in Computer Science
%T Evaluating the scalability of a web service-based distributed e-learning and course management system
%U http://eprints.imtlucca.it/2561/
%X A growing concern of Web service providers is scalability. An implementation of a Web service may be able at present to support its user base, but how can a provider judge what will happen if that user base grows? We present a modelling approach based on process algebra which allows service providers to investigate how models of Web service execution scale with increasing client population sizes. The method has the benefit of allowing a simple model of the service to be scaled to realistic population sizes without the modeller needing to aggregate or re-model the system.
%Z Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings