Evaluating the Consistency between Navigation and Data Models for Web Applications

Evaluating the Consistency between Navigation and Data Models for Web Applications

Jordi Cabot, Cristina Gómez
Copyright: © 2010 |Volume: 1 |Issue: 3 |Pages: 18
ISSN: 1947-8186|EISSN: 1947-8194|EISBN13: 9781609609733|DOI: 10.4018/jismd.2010070104
Cite Article Cite Article

MLA

Cabot, Jordi, and Cristina Gómez. "Evaluating the Consistency between Navigation and Data Models for Web Applications." IJISMD vol.1, no.3 2010: pp.68-85. http://doi.org/10.4018/jismd.2010070104

APA

Cabot, J. & Gómez, C. (2010). Evaluating the Consistency between Navigation and Data Models for Web Applications. International Journal of Information System Modeling and Design (IJISMD), 1(3), 68-85. http://doi.org/10.4018/jismd.2010070104

Chicago

Cabot, Jordi, and Cristina Gómez. "Evaluating the Consistency between Navigation and Data Models for Web Applications," International Journal of Information System Modeling and Design (IJISMD) 1, no.3: 68-85. http://doi.org/10.4018/jismd.2010070104

Export Reference

Mendeley
Favorite Full-Issue Download

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).

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.