Пусть имеется следующая диаграмма классов:
Требуется сформулировать ограничение: у любого читателя на руках может находиться не более одной книги категории “редкая”. Какие из приведенных формулировок правильны?
context КНИГА inv: (self → SELECT (категория = ‘редкая’) → size ()) ≥ (self.наРуках → COLLECT (читает) → size ())
context БИБЛИОТЕКА inv: ((self.книги → SELECT (категория = ‘редкая’) → size ()) - (self.читают → COLLECT (читает) → SELECT (категория = ‘редкая’) → size ())) ≤ self.читают → size ()
context ЧИТАТЕЛЬ inv: self.читает → SELECT (категория = ‘редкая’) → size () ≤ 1(Верный ответ)