R1151 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1151 / Mc:Mc-M

Restriction Condition compares one or many Model Attribute

Model Attribute is compared in zero, one or many Restriction Condition

---

A Restriction Condition defines a predicate applied to each instance in a Class or tuple in a Table. That predicate is an expression consisting of one or more Model Attribute comparisons. It also defines a cardinality to determine the maximum number of instances or tuples to output. If no Criterion are defined, it is assumed that all tuples or instances satisfy the predicate and the cardinality determines how many are output.

All of the Model Attributes will be either Table Attributes or (class) Attributes from the same Non Scalar Flow as determined by R1157.

The same Model Attribute may be compared more than once in a Restriction Condition, for example:

Aircraft( Altitude > ceiling OR Altitude < floor )

In the above Restriction Condition the Aircraft.Altitude attribute appears in two distinct criteria.