R886 - modelint/shlaer-mellor-metamodel GitHub Wiki

R886 / Mc:Mc-1

Select Action projects on zero, one or many Attribute

Attribute is projected in zero, one or many Select Action

---

The output of a Select

Formalization

Projected Attribute.(Attribute, Class, Domain) -> Attribute.(Name, Class, Domain)
Projected Attribute.(Select action, Activity, Class, Domain) -> Select Action.(Action, Activity, Class, Domain)

Since the Class referential attribute simultaneously references both the Attribute and Select Action Class attributes, we enforce the constraint that all Attributes projected in a Select Action belong to the same Class.