Automatic generation of graphical user interfaces for interactive database applications
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Fast Algorithms for Solving Path Problems
Journal of the ACM (JACM)
Web Modeling Language (WebML): a modeling language for designing Web sites
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
Design and analysis of active hypertext views on databases
Information modeling for internet applications
Extracting Knowledge from Association Relationships to Build Navigational Models
LA-WEB '03 Proceedings of the First Conference on Latin American Web Congress
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
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
Automated web evaluation by guideline review
Journal of Web Engineering
Systematic evolution of WebML models by coupled transformations
ICWE'12 Proceedings of the 12th international conference on Web Engineering
Evaluating the Consistency between Navigation and Data Models for Web Applications
International Journal of Information System Modeling and Design
| Hi-index | 0.00 |
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to include content-modification functionalities. As a consequence, we believe that existing quality properties for web model designs must be complemented with new property definitions. In particular, we propose two new quality properties that take the relationship between navigation models and the related data models into account. The properties check if navigation models include all necessary content-modification operations and whether all possible navigation paths modify the underlying data in a consistent way. In this paper, we show how to determine if a navigation model verifies both properties and also how to, given a data model, automatically generate a preliminary navigation model satisfying them.