Пусть имеется следующая диаграмма классов:
Имеется несколько военных кораблей, на каждом из которых служат матросы, пять мичманов и капитан. При наличии представленной диаграммы требуется сформулировать на языке OCL ограничение: каждый мичман является мичманом на том корабле, на котором он служит моряком. Какие из приведенных формулировок правильны?
context МОРЯК inv: self.корабль.мичман → SELECT (корабль.номер ≠ self.номер) → size () = 0
context КОРАБЛЬ inv: self.мичман → SELECT (корабльМичманов.номер ≠ корабль.номер) → size () = 0(Верный ответ)
context МОРЯК inv: self.корабльМичманов.номер = self.корабль.номер(Верный ответ)