Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Communications of the ACM
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Web engineering: managing the complexity of web systems development
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Navigation modelling from a user services oriented approach
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
A precise approach for the analysis of the UML models consistency
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
On the quality of navigation models with content-modification operations
ICWE'07 Proceedings of the 7th international conference on Web engineering
A generic approach to improve navigational model usability based upon requirements and metrics
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
Navigation consistency in web site families
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Evaluating the Consistency between Navigation and Data Models for Web Applications
International Journal of Information System Modeling and Design
| Hi-index | 0.00 |
In recent years, Internet has become the platform that supports most areas in organizations. This fact has led to the appearance of specific tools for the construction of Web Information Systems (WIS). However, in these tools an absence of functionalities for verification and validation (V&V) of the models built has been detected. This work aims to redress this absence with the definition of a strategy for the specification of the models used in the WIS development that can be used with V&V objectives. The approach has been validated in a specific methodology (MIDAS) and an associated tool (MIDAS-CASE), both aligned with the MDA proposal. One of the diagrams used in this methodology has been formalized: the extended navigation model, achieving a precise specification of this diagram. This specification permits the definition and formal verification of properties related to this diagram, as well as its validation. The specification and verification of a concrete property are also shown.