契約による設計

Design by Contractは、ソフトウェア要素が提供するOperationを、呼び出し側と提供側の義務および保証として明示する設計方法です。契約をPrecondition、Postcondition、Invariantによって表します。

SimpleModelingでは、DbCをObjectの有効なStateとRelationshipを明示する起点として使います。Preconditionを満たす呼び出しに対してOperationがPostconditionを保証し、実行の前後を通じてObjectまたは構造のInvariantを保持します。