Our approach to Web site synthesis rely on an intermediate representation to model pieces of information and the navigation structure of a Web site. One formalism that we use is a special kind of directed hypergraph.
In this talk we'll discuss how appropriate the hypergraph concept is for Web site representaion and how different kinds of properties can be verified.