制約

UMLにおけるConstraintは、一つ以上のModel ElementのSemanticsの一部を宣言するため、自然言語または機械可読言語で表した条件または制限です。評価結果はBooleanであり、評価は副作用を持ちません。

SimpleModelingでは、ConstraintをModelが有効である範囲の明示に使います。Invariant、Precondition、Postcondition、Multiplicity、関係の整合規則を区別し、変更可能なPolicyと破ってはならない構造上のConstraintを分けます。

simplemodeling-libの org.goldenport.schema.Constraint は、Value Domain内の単一値を検証する実装境界です。現在はEnum、NotEmpty、長さ、数値の上下限を扱い、datatype normalization後、OperationRequest生成前に検証します。これはObject Model全体のInvariant、複数Object間の整合規則、すべてのPreconditionとPostconditionを実装したものではありません。