構造制約と操作制約から検証ロジックを識別する

構造制約はオブジェクト間の制約や識別子の一意制約など静的な制約で、操作制約は特定の処理（オペレーション）を実行するときの前提条件で動的な制約になります。
この分類を利用して検証ロジックを考えと整理しやすいのではないかと考えています。検証ロジックは基本的に制約の確認なので、制約を識別・具体化できれば検証ロジックも識別・具体化できるということです。