TY - CHAP AV - none SN - 978-3-540-38865-4 SP - 214 T3 - Lecture Notes in Computer Science N2 - 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. ID - eprints2561 Y1 - 2006/// TI - Evaluating the scalability of a web service-based distributed e-learning and course management system UR - http://dx.doi.org/10.1007/11841197_14 PB - Springer T2 - Web services and formal methods A1 - Gilmore, Stephen A1 - Tribastone, Mirco EP - 226 N1 - Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings ER -