Designing Formal Attributes and User Experience in Public Services