Formalizing Web Technology

Daniel W. Connolly
HaL Software Systems
Austin, TX

Web World
January 30, 1994 - Orlando, FL
$Id: ww9401.html,v 1.1 1997/07/06 06:21:13 connolly Exp $

(speaker's notes)


Formalizing Web Technology

Proven Value of the Core Technology
Distributed Hypermedia is an idea whose time has come.
Forces for Change
The web represents a significant market force, and resources are being pooled from many directions to satisfy the needs and desires of that market.
Capturing the State of the Art
Where are we right now?
Stabilizing Forces
Deployment of new features does not come without cost.
Breaking Down HTML
The HTML 2.0 spec is a good steak in the ground, but it should be broken into smaller, more modular documents.
W3C - The Center of Evolution
The core technology of the web should be in the hands of a "community trust," where anyone can contribute, and everyone gains.
Looking ahead
How will new features affect the technology base? What research and developments are on the horizon?

Proven Value of the Core Technology

There are few novel technologies in the World-Wide Web. It is simply an effective application of ideas that have been tested and proven:

The result: The web is now a vital, global information system.


Forces For Change

How Do We Increase the Quality of Service and Security, and provide for Resource Discovery?


Stabilizing Forces

Maintaining Confidence in the Technology


Capturing the State of the Art

To make a change with confidence, we must be able to assess the scope of the change. Minimal design, i.e. modularization and information hiding, is necessary to be able to be able to identify the scope of effect of changes.


Breaking Down HTML

HTML Syntax
how to decide whether a sequence of characters is a valid HTML document, and if so, how to create a parse tree.
Interpretation of HTML Idioms
an informal description of the meaning and suggested rendering of an HTML parse tree.
The text/html Internet Media Type
registration of HTML as a MIME type. Charset issues. Newline Issues. Appendices specifically addressing SMTP transport and HTTP transport issues. Security issues.
World-Wide Web User Agents and Applications
Specific techniques: basic HREF links, ISINDEX, FORMS, ISMAP, .mailcap, $WWW_HOME, mailto:, proxies, security issues. Suggestions for documentation, default configuration, etc.
World-Wide Web Hypermedia Architecture
formal discussion of the WWW hypertext model: documents, anchors, links, searching. Formal discussion of common abstractions from ftp, http, gopher, WAIS, etc. Definition of correct caching/proxy behavior.

W3C - The Center of Evolution


Looking Ahead

HTML Syntax
Interpretation of HTML Idioms
The text/html Internet Media Type
World-Wide Web User Agents
World-Wide Web Hypermedia Architecture
HTTP