Restriction

Each individual Restriction Criterion applies some test to an Attribute of a given instance and contributes a true or false result as input to the overall Restriction. Whether a given instance is selected or not as part of a Restriction depends on the aggregate critiera, not just an individual result.

Identifiers

Select action + Activity + Domain

Attributes

Expression

All restriction criteria are organized into a predicate defined outside the scope of the metamodel domain. Most likely in a predicate definition domain of some sort. There is nothing about predicate expression that is specific to Shlaer-Mellor, after all. So all the ands, ors, parenthetical subexpressions and such are defined externally.

Here we can show a string representation of the externally composed predicate for easy reference.

Type: Restriction Expression, based on String