This is an old revision of the document!
addParticipant(ident id, ident studentId) { assume exists //exams/exam[id]; # implicitly true in OO implementations assume exists //accounts/account/student[studentId]; assume not exists //exams/exam[id]/results/participant[studentId]; insert //exams/exam[id]/results/participant[studentId]; } # roles: examiner[id]