R1228 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1228 / 1:Mc

Method Call is invoked on instance in exactly one Single Instance Flow

Single Instance Flow provides target instance to zero, one or many Method Call

---

A Method Call is an Action specifying the invocation of a Method on a specific instance of that Method's defining Class.

So if we invoke some wafer.register(...), the labeled flow some wafer specifies the single instance of the Wafer class that will execute the Method.

The target instance is supplied by Single Instance Flow.

This flow is illustrated in the Method Call class description.

A given Single Instance flow has many potential usages, so it may or may not be the source of any number of Method Call inputs.