Class Restriction Condition - modelint/shlaer-mellor-metamodel GitHub Wiki
A Restriction Condition that is defined as part of a Select Action.
This makes it possible to define one restriction operation that is accessible to instance selection as well as relational tuple selection.
Identifiers
- ID + Activity + Domain
Attributes
No non-referential attributes