R1037 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1037 / 1:1c

Extender creates relation in exactly one Table Flow

Table Flow conveys relation created by zero or one Extender

---

An Extender adds an Attribute to some input Class to yield a Table. The Table Flow defines this output.

A given Table Flow may or may not carry the output of an Extender.