Done specification (class diagram)