R1225 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1225 / 1:Mc

Method is invoked by zero, one or many Method Call

Method Call invokes exactly one Method

---

The same Method can be called within any number of Activities, in fact, even more than once within the same Activity.

Each such invocation is effected by the Method Call Action.

If a Method is not invoked by any Method Call, it does not execute at all during runtime.