An approach for decomposing N-ary data relationships
Software—Practice & Experience
Maintenance of materialized views: problems, techniques, and applications
Materialized views
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
AnWeb: a system for automatic support to web application verification
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Designing Data-Intensive Web Applications
Designing Data-Intensive Web Applications
Progress on the State Explosion Problem in Model Checking
Informatics - 10 Years Back. 10 Years Ahead.
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Proceedings of the 19th IEEE international conference on Automated software engineering
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process management
ICWE '06 Proceedings of the 6th international conference on Web engineering
Modeling and generating application logic for data-intensive web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
Modeling and verification of adaptive navigation in web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
Rule-based verification of Web sites
International Journal on Software Tools for Technology Transfer (STTT)
An Abstract Generic Framework for Web Site Verification
SAINT '08 Proceedings of the 2008 International Symposium on Applications and the Internet
On the quality of navigation models with content-modification operations
ICWE'07 Proceedings of the 7th international conference on Web engineering
A survey of analysis models and methods in website verification and testing
ICWE'07 Proceedings of the 7th international conference on Web engineering
Model-driven development of web applications with UWA, MVC and JavaServer faces
ICWE'07 Proceedings of the 7th international conference on Web engineering
Tool support for model checking of web application designs
ICWE'07 Proceedings of the 7th international conference on Web engineering
Automated web evaluation by guideline review
Journal of Web Engineering
The webSA approach: applying model driven engineering to web applications
Journal of Web Engineering
| Hi-index | 0.00 |
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.