Layered Typing of the HTTP Data Model

We believe that the declaration of application-layer semantics strictly in English prose leads to specifications which are inherently prone to incompleteness (no defined behavior for real possible conditions) and unsoundness (contradictory requirements for single conditions). To help remedy this, we propose the layered data model as a formalism for describing the data model of HTTP and its revisions and variants.

Publications

• [http:icnp2004] Adam D. Bradley and Azer Bestavros and Assaf J. Kfoury, A Typed Model for Encoding-Based Protocol Interoperability, IEEE International Conference on Network Protocols (ICNP), Berlin, Germany, 2004. [PDF] [PS.gz]  

• [thesis] Adam D. Bradley, A Type-Disciplined Approach to Developing Resources and Applications for the World-Wide Web, Ph.D. Dissertation, Boston University, Boston, MA, 2004.