GRA-UML Specification