R827 - modelint/shlaer-mellor-metamodel GitHub Wiki

R827 / 1:Mc

Parameter input is constrained by exactly one Type

Type constrains input to zero, one or many Parameter

---

Just like any variable, a Parameter specifies a Type to determine what values may be associated with that Parameter.

A given Type might constrain any number of Parameters.

A Type that does not constrain any Parameters may yet be useful for constraining other kinds of variables, such as an Attribute, for example.