R838 - modelint/shlaer-mellor-metamodel GitHub Wiki
R838 / 1:1c
Lifecycle Activity obtains executing instance from exactly one Single Instance Flow
Single Instance Flow delivers executing instance to zero or one Lifecycle Activity
Each Lifecycle Activity as access to a flow providing a reference to the executing instance (the instance executing the Activity during runtime). This is exactly one instance, so it is delivered via a Single Instance Flow.
Any given Single Instance Flow may or may not be the one delivering the executing instance reference.