Quality evaluation of the CORAS UML profile