Model-driven development of Web applications: the AutoWeb system
ACM Transactions on Information Systems (TOIS)
Analysis and testing of Web applications
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Design and development of data-intensive web sites: The Araneus approach
ACM Transactions on Internet Technology (TOIT)
Model Checking the World Wide Web
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Modeling Web-Based Dialog Flows for Automatic Dialog Control
Proceedings of the 19th IEEE international conference on Automated software engineering
A Source Code Independent Reverse Engineering Tool for Dynamic Web Sites
CSMR '05 Proceedings of the Ninth European Conference on Software Maintenance and Reengineering
Modeling and verification of adaptive navigation in web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
Modeling Request Routing in Web Applications
WSE '06 Proceedings of the Eighth IEEE International Symposium on Web Site Evolution
Proceedings of the IEEE/ACM international conference on Automated software engineering
Bounded verification of Ruby on Rails data models
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Trustworthiness testing of phishing websites: A behavior model-based approach
Future Generation Computer Systems
Unbounded data model verification using SMT solvers
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Data model property inference and repair
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Hi-index | 0.00 |
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we developed formal models and analysis operations for such models. While each is useful independently, their utility is greatly improved by relating the models, which is the contribution described in this paper. We describe mappings between the models, and show that the mappings preserve navigation behavior and are bijective, thus supporting traceability and allowing the models to be used in round-trip engineering. With these mappings built into our Model Helper tool, it is now possible to automatically determine whether a Request Routing model conforms to the navigation design, and to automatically generate a Request Routing model from a navigation model. Finally, we describe one of a number of case studies where we used Model Helper in a round-trip engineering scenario.