Petri nets and UsiXML

Ongoing work consists of using Petri nets to ensure verification and validation of the user interface of interactive systems. The user interface is specified in UsiXML and a Petri net-based approach is develop to reason about the properties of interest.

Publication

• Romero, M., de Lara, J., Validaci?n y verificaci?n de interfaces de usuario en El ?mbito del desarrollo basado en modelos, Proc. of III Taller sobre Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones DSDM\'06, XV Jornadas de Ingenier?a del Software y Bases de Datos JISBD 2006, J. Riquelme, P. Botella (Eds), CIMNE, Barcelona, 2006.