Validation y Verificacion de Interfaces de Usuario en el Ambito Del Desarrollo Basado en Modelos

En este trabajo, se presenta un enfoque para la verificación del diseño de interfaces de usuario. Nuestra aproximación se centra en el desarrollo basado en modelos propuesto por UsiXML, que considera cuatro niveles de abstracción: definición de tareas y conceptos, interfaz abstracta, concreta y final. Hemos añadido un proceso de validación y verificación basado en redes de Petri a esta arquitectura. La idea es transformar el modelo de interfaz concreta a redes de Petri coloreadas para su análisis con la herramienta CPNTools. La red de Petri obtenida permite verificar propiedades del diseño de la interfaz de usuario tales como ventanas no alcanzables, número máximo de ventanas abiertas a la vez, acciones no realizables, deadlocks y análisis de alcanzabilidad de ciertas configuraciones.