Formalize User Needs Into a Domain Model