Тело запроса в OCL - это:
- a. условие, истинное всегда после выполнения операции.
- b. условие, которое должно быть истинно перед выполнением операции.
- c. условие, которое всегда справедливо для всех экземпляров класса.
- d. описание результата операции-запроса, не модифицирующей объекты.
- e. описание результата операции-запроса, изменяющей элементы модели.
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.