R1034 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1034 / 1:1c

Method Extender adds attribute computed by exactly one Method Call

Method Call computes attribute value for zero or one Method Extender

---

By definition, a Method Extender invokes a Method which must return a single scalar value. A Method Call is an Action that invokes a Method and, that Method Call, may itself populate other required Actions it needs (computations, read actions, etc). All such Actions are invoked iteratively to yield the required scalar value that will be input to the output extended table R1037.

A given Method Call action may or may not be used in the context of iteration.