Evaluating the Consistency between Navigation and Data Models for Web Applications

Abstract

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