Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Web Services and Formal Methods

WS-FM 2006: Web Services and Formal Methods pp 214–226Cite as

Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4184))

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W3C. HTTP protocol specification, http://www.w3.org/Protocols/rfc2616/rfc2616.html

  2. W3C. XML protocol specification, http://www.w3.org/TR/2004/REC-xml-20040204/

  3. W3C. SOAP protocol specification, http://www.w3.org/TR/soap/

  4. W3C. WSDL protocol specification, http://www.w3.org/TR/wsdl

  5. Apache AXIS, http://ws.apache.org/axis/

  6. Java Web Services Development Pack, http://java.sun.com/webservices/jwsdp/index.jsp

  7. Google web APIs, http://www.google.com/apis/

  8. Arlitt, M., Williamson, L.C.: Internet web servers: Workload characterization and performance implications. IEEE/ACM Transaction on Networking (October 1997)

    Google Scholar 

  9. Slothouber, L.: A model of web server performance. In: Proceedings 5th International World Wide Web Conference (1996)

    Google Scholar 

  10. Davis, D., Parashar, M.: Latency performance of SOAP implementations. In: Proceedings 2nd IEEE International Symposium on Cluster Computing and the Grid (2002)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. Stewart, C., Shen, K.: Performance modeling and system management for multi-component online services

    Google Scholar 

  15. 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)

    Google Scholar 

  16. van Engelen, R.: Are web services scale free? (June 2005), http://www.cs.fsu.edu/~engelen/powerlaw.html

  17. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)

    Book  Google Scholar 

  18. 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)

    Chapter  Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Chapter  Google Scholar 

  22. 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)

    Chapter  Google Scholar 

  23. 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)

    Google Scholar 

  24. W3C. SOAP with Attachments, http://www.w3.org/TR/SOAP-attachments

  25. MIME Multipart/Related Content-type RFC, http://www.ietf.org/rfc/rfc2387.txt

  26. DIME protocol specification, msdn.microsoft.com/library/en-us/dnglobspec/html/draft-nielsen-dime-02.txt

  27. W3C. MTOM, http://www.w3.org/TR/2005/REC-soap12-mtom-20050125/

Download references

Author information

Authors and Affiliations

  1. LFCS, University of Edinburgh,  

    Stephen Gilmore & Mirco Tribastone

Authors
  1. Stephen Gilmore
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mirco Tribastone
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Bologna,  

    Mario Bravetti

  2. Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, 28040, Madrid, Spain

    Manuel Núñez

  3. Dip. Scienze dell’Informazione, Università di Bologna, Italy

    Gianluigi Zavattaro

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation