2007-01-18 本体条件 クラス図 操作 制約 本体条件(body condition)は、戻り値を制約するための条件である。本体条件を持つクラスのサブクラスのメソッド(操作の実装)は、本体条件の置換が許可されているため、事前条件と本体条件は区別される。本体条件は、事前条件や事後条件と同様に自然言語やOCL、プログラミング言語で記述することができる。