個体 (Individual ・ Object)

個体は、議論領域に属する一つの対象を表す。形式論理では変数や定項が指す要素として扱い、対象の同一性と性質を述語・関係・関数の解釈から定める。

仕組みと確認

議論領域と個体の識別条件を明示し、二つの記号が同じ要素を指す条件を等号や不変条件で表す。ドメインモデルでは、識別子、寿命、所有者、テナント境界を分ける。

限界と注意点

個体の名前と現実の実体は同じではない。時間による変化、複製、削除、匿名化、同一性の再利用をモデルに含めないと、仕様の結論が現場で崩れる。