HDM—a model-based approach to hypertext application design
ACM Transactions on Information Systems (TOIS)
RMM: a methodology for structured hypermedia design
Communications of the ACM
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Catching the boat with Strudel: experiences with a Web-site management system
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Database techniques for the World-Wide Web: a survey
ACM SIGMOD Record
Tools and approaches for developing data-intensive Web applications: a survey
ACM Computing Surveys (CSUR)
Model checking
Building Web Applications with Uml
Building Web Applications with Uml
Object-Oriented Design Structures in Web Application Models
Annals of Software Engineering
Testing Processes of Web Applications
Annals of Software Engineering
Conceptual Modeling of Data-Intensive Web Applications
IEEE Internet Computing
Design and Maintenance of Data-Intensive Web Sites
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
An Approach to Identify Duplicated Web Pages
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Modeling Web Maintenance Centers Through Queue Models
CSMR '01 Proceedings of the Fifth European Conference on Software Maintenance and Reengineering
Web Applications Design and Maintenance Using Symbolic Model Checking
CSMR '03 Proceedings of the Seventh European Conference on Software Maintenance and Reengineering
Original papers: Model-checking for adventure videogames
Information and Software Technology
Specification and Verification of Web Applications in Rewriting Logic
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Auto-generating test sequences for web applications
ICWE'07 Proceedings of the 7th international conference on Web engineering
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
A finite-state machine approach for modeling and analyzing restful systems
Journal of Web Engineering
Modelling trusted web applications
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
A rewriting logic approach to the formal specification and verification of web applications
Science of Computer Programming
| Hi-index | 0.00 |
Development of Web Applications (WA) needs new methods, techniques and tools to support an engineered project during all the phases of its life cycle. To ensure the reliability of WA it is important they be validated and verified at early design phase. We use Model Checking techniques to perform automated verification of the UML design of a WA. We propose a mathematical model of a WA partitioning the usual Kripke structure into windows, links, pages and actions. Then we specify properties to be checked in a temporal logic, Computation Tree Logic (CTL). Verification is performed adapting the SMV model checker to our formalism. An implemented system that embeds the SMV verifier automatically parses the XMI output of UML tool and builds the SMV model to be verified with respect to specifications. Results of verification proved the benefits of the method.