Verifying the World Wide Web: a Position Statement.
Marie-Christine Rousset · 1997
This paper investigates the issues raised by checking potential update anomalies of a web site. It is of course impossible to control the updates for the whole World Wide Web. However, it is conceivable to provide tools for pointing out potential missing updates for a given web site (i.e, a set of Web pages, for instance related to a given matter or to a given institution, which is under the control of a web site manager). The assumption that we make in this paper is that modeling the semantics of the considered Web site is possible, while modeling the semantics of the sources outside of it, which can be connected to it, is not possible. Therefore, two different update problems have to be distinguished, depending on whether the updates that have to be done inside the web site are triggered by changes occuring inside or outside the web site. 1 Introduction The World Wide Web(WWW) is a tremendous source of information which can be viewed as a large, heterogeneous and distributed databas...