La elicitación de requerimientos implica entender las necesidades del usuario, incluso cuando las reglas de negocios son desconocidas o varían durante el desarrollo de software. Por lo que si se produce un error durante la especificación, la reparación o resolución del mismo va a ser costosa de resolver para los analistas del proyecto. Actualmente es muy frecuente el uso de metodologías ágiles durante el desarrollo, haciendo empleo de la construcción de mockups que representen las funcionalidades a implementar. Teniendo esto en cuenta, en este trabajo se propone un enfoque que tiene como objetivo enriquecer los mockups con anotaciones a partir de una gramática de usuario final. Para eso se desarrolló una herramienta que permite etiquetar widgets a partir de un catálogo de etiquetas destinado al usuario, para obtener una descripción formal con el fin de que cualquier pieza esté bien descripta y sin ambigüedades. Por otro lado la herramienta posibilita detectar conflictos o inconsistencias entre mockups, donde los mismos modelen el mismo requerimiento pero que pertenecen a historias de usuario diferente, permitiendo tener un control más exhaustivo de los cambios en los requerimientos.