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