Use case specification of group A