R1160 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1160 / 1:Mc

Scalar specifies value in zero, one or many Equivalence Criterion

Equivalence Criterion has value type specified by exactly one Scalar

---

An Equivalence Criterion compares the equality of some enumeration or boolean Scalar. This is an important constraint that should be applied.

A given Scalar may or may not provide the type required by any number of Equivalence Criterion, including none at all.