R832 - modelint/shlaer-mellor-metamodel GitHub Wiki

R832 / 1:1c

Method supplies self instance in exactly one Single Instance Flow

Single Instance Flow gets instances from zero or one Method

---

A Method may be executed by any instance of the Method's Class. This executing instance is typically referred to as 'me' or 'self' depending on the action language. We can think of the corresponding instance reference as flowing into the Method.

A given Single Instance Flow may or may not be used for this purpose.