UAREI: A model for formal description and visual representation /software gamification

The paper presents the UAREI (User-Action-Rule-Entities-Interface) model for formal specification of software gamification, and the UAREI visual modelling language for graphical representation of game mechanics. A case of study in gamification of the Trogon project management system is presented. The proposed model and visual language is compared against the Machinations gamification framework using visual complexity metrics, game simulation and qualitative comparison. El artículo presenta el modelo UAREI (Usuario-Acción-Regla-Entidades-Interface) para la especificación formal de gamificacion software y el UAREI visual lenguaje de modelado para la representación gráfica de la mecánica del juego. Un estudio de caso en gamificacion del sistema de gestión de proyectos Trogon se presenta. El modelo y visual lenguaje propuesto se compara con las maquinaciones marco gamificacion utilizando métricas de complejidad visuales, juego de simulación y comparación cualitativa.