Goal models for acceptance requirements analysis and gamification design