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