Sink web pages of web application

In this paper we define a new notion: sink web page for web application. We define a partial order relation between the web pages of a web application, for this. With the help of this relation, we construct a directed graph associated to a web application. In general, web applications contain many web pages. Their verification and testing is usually performed by using different verification mechanisms. Because many of the components of a web application are in the partial order relation, it follows that the time for verification and testing is considerably reduced if we verify only the sink web pages.