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 ...