スコープ・要求
不変条件
Invariant
読み：ふへんじょうけん
モデルや対象の状態が変わっても、決めた範囲で常に維持すべき条件です。
01初心者向け
まず意味をつかむ
予約の追加や取消しをしても「予約数は定員を超えない」といった守るべき関係です。個々の処理の成功条件とは別に、全体の整合を支えます。
02実務者向け
仕事でどう使うか
業務上破ってはいけない条件を明文化し、それを変え得るすべての操作を点検します。更新が同時に起こる場合も考え、検証や制約の仕組みを設けます。
03専門家向け
判断を一段深める
「常に」がどの境界や観測時点を指すかを明確にします。複数システムへまたがる整合性では、一時的な不一致を許す設計もあるため、保証範囲と回復条件を区別します。
IN PRACTICE
具体例で考える
架空の研修受付では、定員30名に対し同時に二人が申し込んでも確定人数が30名を超えないよう制約を設けます。
理解を助けるための架空の例です。申込で人数が増える
取消しで人数が減る
定員以下を維持
二つの操作に共通の制約を示す図で、連続する手順ではありません。
ここは誤解しやすい
前提として期待するだけでは維持されません。変更経路をすべて確認します。
この知識を、組織の力へ。