precise wis development
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.
web information systems verification and validation mda uml