In Fig. 12–2, although a Sending may have multiple assessments, they must all be from different reviewers. The current model does not guarantee it. Write an invariant that deals with this issue.

Transcribed Image Text:

:Reviewer PRECONDITION: reviewer is logged in and user_id is known : Interface 1: (search for proposal) 1.2: dto_sending* 2: selected_sending 2.2: assessment : Controll 1.1: sending list_sendings(user_id) 2.1: assessment = get_assessment (selected_sending, user_id) 3: updated assessment 3.1: set_assessment(selected_sending, user_id, updated_assessment) 3.3: MSG.342 3.2: success