Evaluating the Consistency between Navigation and Data Models for Web Applications

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.

[1]  L. Thorelli,et al.  An algorithm for computing all paths in a graph , 1966 .

[2]  Robert E. Tarjan,et al.  Fast Algorithms for Solving Path Problems , 1981, JACM.

[3]  Jennifer Widom,et al.  Deriving Production Rules for Incremental View Maintenance , 1991, VLDB.

[4]  Inderpal Singh Mumick,et al.  The Stanford Data Warehousing Project , 1995 .

[5]  Andrew J. McAllister,et al.  An approach for decomposing N -ary data relationships , 1998 .

[6]  Andrew J. McAllister,et al.  An approach for decomposing N‐ary data relationships , 1998 .

[7]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

[8]  Bernhard Thalheim,et al.  Entity-relationship modeling - foundations of database technology , 2010 .

[9]  Professor Dr. Bernhard Thalheim.  Entity-Relationship Modeling , 2000, Springer Berlin Heidelberg.

[10]  Helmut Veith,et al.  Progress on the State Explosion Problem in Model Checking , 2001, Informatics.

[11]  Andrea Maurino,et al.  A Model and an XSL Framework for Analyzing the Quality of WebML Conceptual Schemas , 2002, ER.

[12]  Béla Bollobás,et al.  Modern Graph Theory , 2002, Graduate Texts in Mathematics.

[13]  Francesco M. Donini,et al.  AnWeb: a system for automatic support to web application verification , 2002, SEKE '02.

[14]  May Haydar.  Formal framework for automated analysis and verification of Web-based applications , 2004 .

[15]  Alin Deutsch,et al.  A verifier for interactive, data-driven web applications , 2005, SIGMOD '05.

[16]  Jean Vanderdonckt,et al.  Automated Web Evaluation by Guideline Review , 2005, J. Web Eng..

[17]  José Ambrosio Toval Álvarez,et al.  Precise wis development , 2006, ICWE '06.

[18]  Vicente Pelechano,et al.  Conceptual Modelling of Web Applications: The OOWS Approach , 2006, Web Engineering.

[19]  Santiago Meliá,et al.  The WebSA Approach: Applying Model Driven Engineering to Web Applications , 2006, J. Web Eng..

[20]  Christine Hofmeister,et al.  Modeling and verification of adaptive navigation in web applications , 2006, ICWE '06.

[21]  Kees M. van Hee,et al.  Consistency in model integration , 2006, Data Knowl. Eng..

[22]  María Alpuente,et al.  Rule-based verification of Web sites , 2006, International Journal on Software Tools for Technology Transfer.

[23]  Bernhard Mitschang,et al.  Modeling and generating application logic for data-intensive web applications , 2006, ICWE '06.

[24]  Nora Koch,et al.  Model-Driven Generation of Web Applications in UWE , 2007, MDWE.

[25]  James R. Cordy,et al.  A Survey of Analysis Models and Methods in Website Verification and Testing , 2007, ICWE.

[26]  Jordi Cabot,et al.  Tool Support for Model Checking of Web Application Designs , 2007, ICWE.

[27]  Gustavo Rossi,et al.  Model-Driven Development of Web Applications with UWA, MVC and JavaServer Faces , 2007, ICWE.

[28]  Jordi Cabot,et al.  On the Quality of Navigation Models with Content-Modification Operations , 2007, ICWE.

[29]  María Alpuente,et al.  An Abstract Generic Framework for Web Site Verification , 2008, 2008 International Symposium on Applications and the Internet.

[30]  S. S. Lam.  Multidimensional Ontology-Based Information Retrieval for Academic Counseling , .

[31]  International Journal of Systems and Service-Oriented Engineering , 2022 .