不変条件

Invariantとは、対象が有効である間、観測可能な安定点で常に成立しなければならないConstraintです。Object、Type、または複数要素からなる構造に適用できます。

SimpleModelingでは、InvariantをOperation実行の前後で保持すべき業務上または構造上の成立条件として扱います。一時的な内部処理状態と、外部から観測できる契約上の安定点を区別します。