UML25 — Location: 9.6.3 Operations p 127

current text: “The bodyCondition for an Operation constrains the return result. The bodyCondition differs from postconditions in that the bodyCondition may be overridden when an Operation is redefined, whereas postconditions may only be added during redefinition.”

[AC] The concept of bodyCondition is not explained, and I fear it is less known that the concepts of precondition and postconditions, that are explained. On page 158, it is said that only query operations may have a bodyCondition. An explanation would be useful.

It is explained in the sense that it says “The bodyCondition for an Operation constrains the return result.”
Improve the wording to explain that the bodyCondition specifies the calculation of the result value which
should satisfy the postconditions