Se va a desarrollar una aplicación que será capaz de evaluar las propiedades cualitativas de correctitud y completitud del modelo navegacional en las aplicaciones web que permiten al usuario interactuar con el sistema para modificar el contenido definido en el modelo de datos. La propiedad de correctitud se evaluará a partir de una serie de reglas que deben cumplir los elementos implicados en los modelos. Además de las reglas que se definen en el estudio, existen las reglas de integridad propias de cada operación y que también pueden requerir dependencias con otras operaciones. La idea de evaluar la correctitud mediante reglas, impulsa la posibilidad de que el usuario pueda definir sus propias reglas para definir algunas reglas de integridad definidas en el modelo de datos. Por otro lado, la herramienta a desarrollar inicialmente está orientada a la integración con los modelos definidos en la herramienta de modelado WebRatio, ya que además de tener una notación grafica bastante intuitiva, permite la exportación de todos los esquemas a ficheros XML, que serán los que se utilizarán como entrada de datos de la aplicación a desarrollar. De cara a una posible ampliación, se evaluará la posibilidad de integrar esta aplicación con otras herramientas de modelado, como las citadas en el punto anterior. Esta integración se podría realizar de una manera explícita, donde el usuario podría definir esquemas que contengan los objetos característicos de los diagramas (clases y relaciones en el modelo conceptual; páginas, links, índices en el modelo de navegación) junto a la notación (XML) asignada en la herramienta de modelado. Por lo tanto es conveniente diseñar la aplicación pensando en esta ampliación.