Model-Based Gamification Design with Web-Agon: An Automated Analysis Tool for Gamification

Designing effective gamified solutions is a difficult and highly complex task. Supporting tools for requirements analyst are very rare, while most existing tools provide automation for reasoning over complex knowledge models. Drawing from our involvement in EU Projects and extensive analyst feedback, this paper presents crucial lessons learned on automating gamification analysis and design. We employed these lessons to guide the development of Web-Agon, a web-based solution that automates reasoning over models to support the analyst. Web-Agon, based on the Acceptance/Gamification Requirements Agon Framework, facilitates systematic gamification analysis of software systems. This approach, driven by acceptance (psychological, sociologi-cal, behavioral) requirements, has proven effective in designing systems that positively engage users. Based on models and gamification principles, Web-Agon contributes to building user-centered, engaging software systems. We have evaluated the effectiveness of our tool through a case study on Participatory Architectural Change Management in Air Traffic Management (ATM) systems with the use of Web-Agon for system gamification. We obtained positive results in terms of supporting analyst in a structured, systematic and automated way, reducing potential errors, thanks to automated functionalities, as well as speeding up the gamification process.