Thierry Despeyroux - Brigitte Trousse
Date: Inria - B.P. 93 - 06902 Sophia Antipolis Cedex, France
(Thierry.Despeyroux Brigitte.Trousse)@inria.fr
The huge amount of information and knowledge available on the Web leads to the fact that it is more and more difficult to manage this information. Two different ways are commonly explored: giving a syntactical structure to Web sites, and annotating their content to facilitate Web mining. In this paper we explore a different approach inherited from software engineering: specifying the semantics of Web sites, allowing semantic verifications that will help both the conception and the maintenance of Web sites. To achieve this goal, we have experimented with the application of Natural Semantics (traditionally used to specify the semantics of programming languages) to Web sites specification and verification.