Specification of web applications involves the definition of two main viewpoints: the navigation
model and a data model. So far, correctness analysis of the relationship between both kinds of
models has received little attention. In this paper we present a set of correctness properties to
evaluate the consistency of a navigation model with respect to its corresponding data model.
Mainly, we focus on the completeness of the navigation model (i.e. if through the operations in
the navigation model users can manipulate all the data) and its executability (that is whether all
navigation paths admit at least one possible run-time execution, which leaves the underlying data
in a consistent state).