Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
W3C. HTTP protocol specification, http://www.w3.org/Protocols/rfc2616/rfc2616.html
W3C. XML protocol specification, http://www.w3.org/TR/2004/REC-xml-20040204/
W3C. SOAP protocol specification, http://www.w3.org/TR/soap/
W3C. WSDL protocol specification, http://www.w3.org/TR/wsdl
Apache AXIS, http://ws.apache.org/axis/
Java Web Services Development Pack, http://java.sun.com/webservices/jwsdp/index.jsp
Google web APIs, http://www.google.com/apis/
Arlitt, M., Williamson, L.C.: Internet web servers: Workload characterization and performance implications. IEEE/ACM Transaction on Networking (October 1997)
Slothouber, L.: A model of web server performance. In: Proceedings 5th International World Wide Web Conference (1996)
Davis, D., Parashar, M.: Latency performance of SOAP implementations. In: Proceedings 2nd IEEE International Symposium on Cluster Computing and the Grid (2002)
Govindaraju, M., Slominski, A., Chiu, K., Liu, P., van Engelen, R., Lewis, M.: Toward characterizing the performance of SOAP toolkits. In: Proceedings 5th IEEE/ACM International Workshop on Grid Computing, pp. 365–372 (November 2004)
van Engelen, R.: Pushing the SOAP envelope with web services for scientific computing. In: Proceedings International Conference on Web Services (ICWS 2003), pp. 346–354 (2003)
Chiu, K., Govindaraju, M.: Investigating the limits of SOAP performance for scientific computing. In: Proceedings 11th IEEE International Symposium on High-Performance Distributed Computing (2002)
Stewart, C., Shen, K.: Performance modeling and system management for multi-component online services
Urgaonkar, B., Pacifici, G., Shenoy, P., Spreitzer, M., Tantawi, A.: An analytical model for multi-tier internet services and its application. In: Proceedings of the ACM SIGMETRICS (June 2005)
van Engelen, R.: Are web services scale free? (June 2005), http://www.cs.fsu.edu/~engelen/powerlaw.html
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
Hillston, J., Kloul, L.: An efficient kronecker representation for PEPA models. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol. 2165, pp. 120–135. Springer, Heidelberg (2001)
Thomas, N., Bradley, J.: Terminating processes in PEPA. In: Djemame, K., Kara, M. (eds.) Proceedings of the Seventeenth UK Performance Engineering Workshop, University of Leeds, pp. 143–154 (July 2001)
Kwiatkowska, M., Norman, G.: Metric denotational semantics for PEPA. In: Ribaudo, M. (ed.) Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling, Dipartimento di Informatica, Università di Torino, CLUT, pp. 120–138 (July 1996)
Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, September 2005, pp. 33–43. IEEE Computer Society Press, Los Alamitos (2005)
Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 441–444. Springer, Heidelberg (2006)
Gilmore, S., Hillston, J.: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol. 794, pp. 353–368. Springer, Heidelberg (1994)
W3C. SOAP with Attachments, http://www.w3.org/TR/SOAP-attachments
MIME Multipart/Related Content-type RFC, http://www.ietf.org/rfc/rfc2387.txt
DIME protocol specification, msdn.microsoft.com/library/en-us/dnglobspec/html/draft-nielsen-dime-02.txt
W3C. MTOM, http://www.w3.org/TR/2005/REC-soap12-mtom-20050125/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gilmore, S., Tribastone, M. (2006). Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds) Web Services and Formal Methods. WS-FM 2006. Lecture Notes in Computer Science, vol 4184. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841197_14
Download citation
DOI: https://doi.org/10.1007/11841197_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38862-3
Online ISBN: 978-3-540-38865-4
eBook Packages: Computer ScienceComputer Science (R0)