構造的不変条件

悪意のある状態がシステム内で表現不可能になるようにする不変条件。例えば、一様清算価格は注文ごとの価格が存在しないため、注文ごとに操作されることがない。

関連用語

元の表記(英語)

(なし)