Пусть имеется следующая диаграмма классов:
Требуется сформулировать ограничение: ни один из участников какого-либо проекта не должен работать в отделе, число работников в котором превышает число участников данного проекта. Какие из приведенных формулировок правильны?
context СЛУЖАЩИЙ inv: (self.ПРОЕКТ → COLLECT (служащие) → size ()) ≥ (self.отдел → COLLECT (служащие) → size ())(Верный ответ)
context ПРОЕКТ inv: (self.служащий → COLLECT (отдел) → COLLECT (служащий) → size ()) ≤ (self.служащий → size ())(Верный ответ)
context ОТДЕЛ inv: (self.служащий → COLLECT (проект) → COLLECT (служащий) → size ()) ≥ (self.служащий → size ())(Верный ответ)