Skip to main content

An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol Operating over the Transmission Control Protocol

  • Chapter
  • 616 Accesses

Part of the Lecture Notes in Computer Science book series (TOPNOC,volume 7400)

Abstract

Transfer of resources in the World Wide Web is achieved by using the Hypertext Transfer Protocol (HTTP). The most widely used version of HTTP in the Internet is HTTP/1.1 published as Request for Comments 2616. HTTP/1.1 is currently undergoing revision and is being restructured into a 7 part document by the Internet Engineering Task Force. Part 1 includes a description of the operation of HTTP over reliable transport connections, and is currently a relatively mature Internet Draft. It is therefore timely to subject these revisions to a rigorous analysis using formal techniques. This paper presents an initial Coloured Petri Net model of HTTP operating over transport connections provided by the Transmission Control Protocol (TCP). This requires modelling HTTP entities, the transport service provided by TCP, and their interactions. The design of the model, including its underlying assumptions and validation, is discussed and reachability analysis results are reported. Insights are gained into: the size of the state space as a function of web requests; and the dimensioning of buffers required in HTTP entities.

Keywords

  • HTTP
  • persistent and non-persistent connections
  • reliable transport service
  • Coloured Petri Nets
  • reachability analysis

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-35179-2_10
  • Chapter length: 25 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-35179-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Berners-Lee, T., Fielding, R., Frystyk, H.: Hypertext Transfer Protocol – HTTP/1.0. RFC 1945 (May 1996)

    Google Scholar 

  2. Billington, J., Gallasch, G.E., Han, B.: A Coloured Petri Net Approach to Protocol Verification. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 210–290. Springer, Heidelberg (2004)

    CrossRef  Google Scholar 

  3. Billington, J., Han, B.: On Defining the Service Provided by TCP. In: Proc. 26th Australasian Computer Science Conference, Adelaide, Australia. Conferences in Research and Practice in Information Technology, vol. 16, pp. 129–138 (2003)

    Google Scholar 

  4. CPN Tools Online, http://cpntools.org/

  5. Fielding, R., Gettys, J., Mogul, J., Frystyk, H., Berners-Lee, T.: Hypertext Transfer Protocol – HTTP/1.1. RFC 2068 (January 1997), replaced by RFC 2616

    Google Scholar 

  6. Fielding, R., Gettys, J., Mogul, J., Frystyk, H., Masinter, L., Leach, P., Berners-Lee, T.: Hypertext Transfer Protocol – HTTP/1.1. RFC 2616 (June 1999)

    Google Scholar 

  7. Fielding, R., Gettys, J., Mogul, J., Frystyk, H., Masinter, L., Leach, P., Berners-Lee, T., Lafon, Y., Reschke, J.: HTTP/1.1, Part 1: URIs, Connections, and Message Parsing, draft-ietf-httpbis-p1-messaging-17 (October 2011)

    Google Scholar 

  8. Gvozdanovic, D., Simic, D., Vizek, U., Matijasevic, M., Valavanis, K., Huljenic, D.: Petri Net Based Modeling of Application Layer Traffic Characteristics. In: EUROCON 2001, International Conference on Trends in Communications, vol. 2, pp. 424–427 (2001)

    Google Scholar 

  9. Heidemann, J., Obraczka, K., Touch, J.: Modeling the Performance of HTTP Over Several Transport Protocols. IEEE/ACM Transactions on Networking 5(5), 616–630 (1997)

    CrossRef  Google Scholar 

  10. Hypertext Transfer Protocol Bis, http://datatracker.ietf.org/wg/httpbis/charter/

  11. Jensen, K., Kristensen, L.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer (2009)

    Google Scholar 

  12. Krishnamurthy, B., Mogul, J., Kristol, D.: Key Differences Between HTTP/1.0 and HTTP/1.1. Computer Networks 31(11-16), 1737–1751 (1999)

    CrossRef  Google Scholar 

  13. Padmanabhan, V.: Improving HTTP Latency. Computer Networks and ISDN Systems 28(1-2), 25–35 (1995)

    CrossRef  Google Scholar 

  14. Postel, J.: Transmission Control Protocol. RFC 793 (Standard) (September 1981)

    Google Scholar 

  15. The Internet Engineering Task Force, http://www.ietf.org

  16. Wells, L., Christensen, S., Kristensen, L., Mortensen, K.: Simulation Based Performance Analysis of Web Servers. In: Proceedings of 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany, pp. 59–68 (2001)

    Google Scholar 

  17. Wu, H., Lin, X., Jiang, D.: A Petri Net Approach to Analyze the Effect of Persistent Connection on the Scalability of Web Services. In: 3rd International Conference on Communication Systems Software and Middleware, Bangalore, India, pp. 267–270. IEEE (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Arnold, S., Billington, J. (2012). An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol Operating over the Transmission Control Protocol. In: Jensen, K., van der Aalst, W.M., Ajmone Marsan, M., Franceschinis, G., Kleijn, J., Kristensen, L.M. (eds) Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science, vol 7400. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35179-2_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35179-2_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35178-5

  • Online ISBN: 978-3-642-35179-2

  • eBook Packages: Computer ScienceComputer Science (R0)