A Language for Role Specifications