R1157 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1157 / 1:Mc

Table Action takes input a from exactly one Non Scalar Flow

Non Scalar Flow is input a to zero, one or many Table Action


A Table Action operates on a relation (Table) input that is provided directly by a Table Flow or indirectly via an Instance Flow implicitly converted into a relation. Consequently, we model the input as a Non Scalar Flow.

We call this the 'a' input since some Relation Actions may require a secondary 'b' input. For now, the only case is R1165.

A given Non Scalar Flow may be input to any number of Relational Actions or possibly none at all.