SSP Group Meeting
Wednesday, March 27th, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


Using hypergraphs for verifying properties of Web sites

Joćo Cavalcanti

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.