Title :
Position summary: toward a rigorous data type model for HTTP
Author :
Mogul, Jeffrey C.
Author_Institution :
Western Res. Lab., Compaq Comput. Corp, Palo Alto, CA, USA
Abstract :
The HTTP protocol depends on a structure of several data types, such as messages and resources. The current ad hoc data type model has served to support a huge variety of HTTP-based applications, but its weaknesses have been exposed in attempts to formalize and (especially) to extend the protocol. These weaknesses particularly affect the semantics of caching within the HTTP distributed system.
Keywords :
cache storage; data models; hypermedia; transport protocols; HTTP distributed system; HTTP protocol; caching; messages; resources; rigorous data type model; semantics; Application software; Data models; Encoding; Formal specifications; Payloads; Protocols; Terminology; Web server;
Conference_Titel :
Hot Topics in Operating Systems, 2001. Proceedings of the Eighth Workshop on
Print_ISBN :
0-7695-1040-X
DOI :
10.1109/HOTOS.2001.990092
