Пусть имеется следующая диаграмма классов:
Требуется сформулировать на языке OCL ограничение: на каждом корабле число матросов должно превышать капитанов и мичманов, служащих на том же корабле. Какие из приведенных формулировок правильны?
context КОРАБЛЬ inv: (self.мичман → size () + 1)*2 < self.экипаж → size ()(Верный ответ)
context МОРЯК inv: self.корабль. штатноеЧислоМатросов > (self.мичман → size () + self.капитан → size ())
context КОРАБЛЬ inv: self.штатноеЧислоМатросов > (self.мичман → size () + self.капитан → size ())